टेम्पलेट क्लास प्रतिबंध

Question

मुझे आश्चर्य है कि मेरे मामले में कस्टम स्थितियों का उपयोग करके टेम्पलेट के लिए जनरेटिंग कोड को प्रतिबंधित करने का कोई तरीका है या नहीं, मैं केवल तभी काम करना चाहता हूं जब टेम्पलेट क्लास टी को क्लास बार द्वारा विरासत में मिला हो (ऐसा कुछ)

template <class T:public bar> void foo() 
{ 
    // do something 
} 

Answer 1

आप T हालांकि का उपयोग कर प्रतिबंधित कर सकते हैं "प्रतिस्थापन विफलता कोई त्रुटि नहीं है" (SFINAE):

template <typename T> 
typename std::enable_if<std::is_base_of<bar, T>::value>::type foo() 
{ 

} 

तो Tbar से प्राप्त नहीं है, समारोह टेम्पलेट की विशेषज्ञता असफल हो जायेगी और अधिभार संकल्प के दौरान इसे नहीं माना जाएगा। std::enable_if और std::is_base_of आने वाले संशोधन, सी ++ 0x में जोड़े गए सी ++ मानक पुस्तकालय के नए घटक हैं। यदि आपका कंपाइलर/मानक लाइब्रेरी कार्यान्वयन अभी तक उनका समर्थन नहीं करता है, तो आप उन्हें C++ TR1 या Boost.TypeTraits में भी ढूंढ सकते हैं।

Answer 2

हां, तकनीक का उपयोग किया जा सकता है (सार्वजनिक विरासत के लिए)। यह केवल एक सूचक प्रारंभिकरण का ऊपरी भाग होगा।

संपादित: पुनः लिख

template<typename Parent, typename Child> 
struct IsParentChild 
{ 
    static Parent* Check (Child *p) { return p; } 
    Parent* (*t_)(Child*); 
    IsParentChild() : t_(&Check) {} // function instantiation only 
}; 

template<typename T> 
void foo() 
{ 
    IsParentChild<Bar, T> check; 
// ... 
}