Est-il possible de faire correspondre la base modèle dans les spécialisations de modèle?

Question

Je pourrais bien sûr utiliser is_base si la classe de base n'était pas un modèle. Cependant, quand c'est le cas, je ne vois aucun moyen de faire correspondre génériquement n'importe quel type dérivé. Voici un exemple de base de ce que je veux dire:

#include <boost/mpl/bool.hpp> 

template < typename T > 
struct test_base 
{ 
}; 

template < typename T > 
struct check : boost::mpl::false_ {}; 

template < typename T > 
struct check<test_base<T> > : boost::mpl::true_ {}; 

struct test_derived : test_base<int> {}; 

#include <iostream> 
int main() 
{ 
    std::cout << check<test_derived>::value << std::endl; 
    std::cin.get(); 
} 

Je veux que revenir true_ plutôt que false_. L'exemple réel a comme 7 paramètres de modèle, la plupart par défaut, et utilise Boost.Parameter pour s'y référer par son nom. Afin d'utiliser is_base je devrais être en mesure de tirer les paramètres en quelque sorte et je ne vois pas un moyen de faire cela à court de déclarer les typedefs internes.

Je pense que c'est impossible. Vous cherchez à avoir tort.

Answer 1

Vous avez juste besoin de modifier votre test un peu:

#include <iostream> 
#include <boost/mpl/bool.hpp> 

template < typename T > 
struct test_base 
{ 
}; 

template < typename T > 
struct check_ 
{ 
    template<class U> 
    static char(&do_test(test_base<U>*))[2]; 
    static char(&do_test(...))[1]; 
    enum { value = 2 == sizeof do_test(static_cast<T*>(0)) }; 
}; 

template < typename T > 
struct check : boost::mpl::bool_<check_<T>::value> {}; 

struct test_derived : test_base<int> {}; 

int main() 
{ 
    std::cout << check<test_derived>::value << std::endl; 
} 

Answer 2

Ici. Vous pouvez changer is_base_and_derived pour is_same, selon les besoins.

#include "boost/mpl/equal.hpp" 
#include "boost/mpl/vector.hpp" 
#include <boost/utility/enable_if.hpp> 
#include "boost/type_traits/is_base_and_derived.hpp" 
#include <boost/function_types/function_type.hpp> 

using namespace boost; 

template < typename T > 
struct test_base 
{ 
}; 

struct test_derived : test_base<int> {}; 


//The default case 
template<class T, class Enable =void> 
class check : public boost::mpl::false_ {}; 

//The specified case 
template<class T> 
class check<T, typename boost::enable_if< 
     boost::is_base_and_derived<test_base<int>,T> 
    >::type>: public boost::mpl::true_ 
{}; 


#include <iostream> 
int main() 
{ 
    std::cout << check<test_derived>::value << std::endl; 
    std::cin.get(); 
}