क्या टेम्पलेट विशेषज्ञता में टेम्पलेट बेस से मिलान करना संभव है?

Question

यदि मैं आधार वर्ग जहां टेम्पलेट नहीं है तो मैं निश्चित रूप से is_base का उपयोग कर सकता हूं। हालांकि, जब ऐसा होता है, तो मुझे किसी व्युत्पन्न प्रकार से सामान्य रूप से मिलान करने का कोई तरीका नहीं दिखता है। यहाँ मैं क्या मतलब है की एक बुनियादी उदाहरण है:

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

मुझे लगता है कि true_ बजाय false_ वापस जाने के लिए चाहते हैं। वास्तविक उदाहरण में 7 टेम्पलेट पैरामीटर हैं, जो सबसे अधिक डिफॉल्ट हैं, और नाम से संदर्भित करने के लिए Boost.Parameter का उपयोग करते हैं। is_base का उपयोग करने के लिए मुझे किसी भी तरह से पैरामीटर खींचने में सक्षम होना होगा और मुझे आंतरिक टाइपिफ़ी घोषित करने के लिए ऐसा करने का कोई तरीका नहीं दिख रहा है।

मुझे लगता है कि यह असंभव है। गलत सिद्ध होना चाहते हैं।

Answer 1

तुम सिर्फ अपने परीक्षण में थोड़ा बदलाव करने की जरूरत है:

#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

यहां। जरूरतों के आधार पर, is_same के लिए is_base_and_derived बदल सकते हैं।

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