È possibile abbinare la base basata su modello nelle specializzazioni di modelli?

Question

Potrei ovviamente usare is_base se la classe base in cui non è un modello. Tuttavia, quando lo è, non vedo alcun modo per abbinare genericamente qualsiasi tipo derivato. Ecco un esempio di base di ciò che intendo:

#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(); 
} 

voglio che per tornare true_ piuttosto che false_. L'esempio reale ha come 7 parametri di modello, la maggior parte di default, e usa Boost.Parameter per riferirsi ad essi per nome. Per poter utilizzare is_base avrei dovuto essere in grado di tirare i parametri in qualche modo e non vedo un modo di fare che a corto di dichiarazione typedef interni.

penso che sia impossibile. Cercando di essere smentiti.

Answer 1

Hai solo bisogno di modificare il test un po ':

#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

Qui. Puoi cambiare is_base_and_derived per is_same, a seconda delle esigenze.

#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(); 
}