Şablon uzmanlıklarında şablon tabanını eşleştirmek mümkün mü?

Question

is_base numaralı tablonun bir şablon olmadığı yerde kullanabiliyordum. Ancak, olduğu zaman, türetilmiş türlerle genel olarak eşleşmenin hiçbir yolunu görmüyorum. Burada ne demek istediğimi temel bir örnek:

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

O true_ yerine false_ dönmek istiyorum. Gerçek örnek, çoğu varsayılan olarak 7 şablon parametresine sahiptir ve adıyla bunlara başvurmak için Boost.Parameter kullanır. is_base'u kullanabilmek için, parametreleri bir şekilde çekebilmem gerekirdi ve iç yazım hatalarını bildirmenin bir yolunu göremiyorum.

Bence bu imkansız. Yanlış olduğu kanıtlanmış olmak.

Answer 1

Sadece test biraz çimdik gerekir

:

#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

Burada. İhtiyaçlara bağlı olarak is_same için is_base_and_derived değiştirebilirsiniz.

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