सबक्लास

Question

पर सी ++ टेम्पलेट पैरामीटर को प्रतिबंधित करें मैं एक विशिष्ट वर्ग Baseclass के उप-वर्ग होने के लिए टेम्पलेट पैरामीटर T को कैसे बल दूं? कुछ इस तरह:

template <class T : Baseclass> void function(){ 
    T *object = new T(); 

} 

Answer 1

इस मामले में आप कर सकते हैं:

template <class T> void function(){ 
    Baseclass *object = new T(); 

} 

यह अगर टी Baseclass (या टी Baseclass है) के एक उपवर्ग नहीं है संकलन नहीं होंगे।

Answer 2

बेस क्लास में मौजूद आपके टेम्पलेट के अंदर फ़ंक्शंस कॉल करके।

यदि आप अपने टेम्पलेट को उस प्रकार के साथ आज़माएं और तुरंत चालू करें जिसके पास इस फ़ंक्शन तक पहुंच नहीं है, तो आपको संकलन-समय त्रुटि प्राप्त होगी।

Answer 3

आप इस्तेमाल कर सकते हैं Boost Concept Check के BOOST_CONCEPT_REQUIRES:

#include <boost/concept_check.hpp> 
#include <boost/concept/requires.hpp> 

template <class T> 
BOOST_CONCEPT_REQUIRES(
    ((boost::Convertible<T, BaseClass>)), 
(void)) function() 
{ 
    //... 
} 

Answer 4

आप अवधारणाओं की जरूरत नहीं है, लेकिन आप उपयोग कर सकते हैं SFINAE:

template <typename T> 
boost::enable_if< boost::is_base_of<Base,T>::value >::type function() { 
    // This function will only be considered by the compiler if 
    // T actualy derived from Base 
} 

ध्यान दें कि यह समारोह का दृष्टांत जाएगा केवल जब हालत पूरा हो गया है, लेकिन अगर स्थिति पूरी नहीं हुई है तो यह एक समझदार त्रुटि प्रदान नहीं करेगा।

Answer 5

कार्यावधि में कम बेकार कोड निष्पादित करने के लिए आप देख सकते हैं: http://www.stroustrup.com/bs_faq2.html#constraints जो कुछ वर्गों है कि संकलन समय परीक्षण कुशलतापूर्वक प्रदर्शन प्रदान करता है, और अच्छे त्रुटि संदेश का उत्पादन।

विशेष रूप से:

template<class Derived> class MyClass { 

    MyClass() { 
     // Compile-time sanity check 
     static_assert(std::is_base_of<BaseClass, Derived>::value, "Derived not derived from BaseClass"); 

     // Do other construction related stuff... 
     ... 
    } 
} 

मैं जीसीसी 4.8.1 संकलक का उपयोग कर बाहर इस जाँच की है:

template<class T, class B> struct Derived_from { 
     static void constraints(T* p) { B* pb = p; } 
     Derived_from() { void(*p)(T*) = constraints; } 
}; 

template<class T> void function() { 
    Derived_from<T,Baseclass>(); 
} 

Answer 6

एक सी ++ 11 अनुरूप संकलक के साथ

, तो आप कुछ इस तरह कर सकते हैं एक CYGWIN पर्यावरण के अंदर - तो यह * निक्स वातावरण में भी काम करना चाहिए।