टेम्पलेट पैरामीटर पर बाल-एक्स-एक्स सीमा को कैसे लागू करें?

Question

मान लीजिए कि मैं सीमा को लागू करना चाहता हूं कि टेम्पलेट पैरामीटर फू में एक बच्चा है।

वहाँ प्रकार- लक्षण के माध्यम से इस लागू करने के लिए कोई तरीका है? एक संकलन-समय static_assert विफलता बहुत अच्छी होगी।

नीचे दिए गए कोड में, आइए इसे दो भाग (अलग) प्रश्न बनाएं।

1. संकलन के लिए केवल My_Limited_Template<Bar> को अनुमति दें।
2. संकलन के लिए केवल My_Limited_Template<TBar> को अनुमति दें।

संपादित मुझे बुरा नामकरण के लिए माफी माँगता हूँ: TBar और TBaz उद्देश्यों पर गैर टेम्पलेट वर्गों के लिए हैं। मैं सिर्फ भाग में नाम वर्गों से स्पष्ट करने के लिए के सामने टी संलग्न 1.

कोड

struct Foo { };    // no 
struct Bar : public Foo { }; // yes 
struct Baz { };    // no 

template< typename T > 
struct TFoo { };      // no 
struct TBar : public TFoo<TBar> { }; // yes 
struct TBaz { };      // no 

template< typename T > 
struct My_Limited_Template 
{ 
    // Part One: 
    // My_Limited_Template<Foo> // disallow 
    // My_Limited_Template<Bar> // allow 
    // My_Limited_Template<Baz> // disallow 
    // 
    // Part Two: 
    // My_Limited_Template<TFoo<int>> // disallow 
    // My_Limited_Template<TBar>  // allow 
    // My_Limited_Template<TBaz>  // disallow 
}; 

Answer 1

मुझे लगता है कि आप TBar और TBas की परिभाषा में कोई त्रुटि की, कि मेरी संशोधन की जाँच सही है।

#include <type_traits>  

struct Foo { };    // don't allow this 
struct Bar : public Foo { }; // allow this 
struct Baz { };    // don't allow this 

template< typename T > struct TFoo { };      
template< typename T > struct TBar : public TFoo<TBar<T>> { }; 
template< typename T > struct TBaz { };      

template< typename T > 
struct My_Limited_Template 
{ 
     static_assert(
       (std::is_base_of<Foo,T>::value && !std::is_same<T,Foo>::value) 
       || 
       (std::is_base_of<TFoo<T>,T>::value && !std::is_same<T,TFoo<T>>::value), 
       "fail2" 
     ); 
};