सी ++ विशेष टेम्पलेट गैर-विशिष्ट संस्करण

Question

से प्राप्त होता है मैं एक समस्या हल करने की कोशिश कर रहा था, लेकिन एक अलग समाधान मिला। ,

template<class> struct S; 
template< > struct S<Foo> : struct<Foo> {}; 

मैं nonspecialized struct के वारिस के लिए सक्षम होना चाहते हैं struct.the उदाहरण विशेष से काम नहीं करता है क्योंकि विरासत में मिला struct विशेष है ऊपर अग्रणी: लेकिन जिज्ञासा से बाहर है, तो निम्न संभव है जानना चाहते अनंत पुनरावृत्ति के लिए।

एक संभावित समाधान दूसरा टेम्पलेट पैरामीटर जोड़ने के लिए था, बूल विशेष कहता है, जैसे कि डिफ़ॉल्ट गलत है, और विशेष टेम्पलेट में पैरामीटर सत्य है। हालांकि यह चीजों को थोड़ा गन्दा बनाता है क्योंकि तत्काल को अतिरिक्त पैरामीटर निर्दिष्ट करने की आवश्यकता होती है।

क्या उपर्युक्त को लागू करने के लिए कोई अन्य तरीका है?

मूल समस्या मैट्रिक्स के मैट्रिक्स को कार्यान्वित करना था, जहां मैट्रिक्स के पास अतिरिक्त ऑपरेटर हो सकते हैं, इस पर निर्भर करता है कि घटक मैट्रिक्स में उन ऑपरेटरों हैं। मुझे उम्मीद है कि यह समझ में आता है। साथ ही विभिन्न टेम्पलेट पैरामीटर के साथ, एक ही समय में एक ही नाम को बनाए रखने के लिए अलग-अलग विशेष मैट्रिक्स को एक ही बेस क्लास की आवश्यकता होती है। मैंने सोचा था कि है यह करने के लिए एक तरह से enable_if और प्रकार का उपयोग हो सकता है लक्षण

Answer 1

एक संभव समाधान दूसरा टेम्पलेट पैरामीटर जोड़ने के लिए किया गया था, का कहना है कि bool विशेष, डिफ़ॉल्ट गलत है, और विशेष टेम्पलेट पैरामीटर है कि है ऐसा है कि सच है। हालांकि यह चीजों को थोड़ा गन्दा बनाता है क्योंकि तत्काल को अतिरिक्त पैरामीटर निर्दिष्ट करने की आवश्यकता होती है।

आप template<class Foo, bool flag = false> कर सकते हैं, इसलिए दूसरा पैरामीटर वैकल्पिक है।

Answer 2

आप एक अलग प्रकार में सभी सामान्य सामान रख सकता है, और विस्तार है कि आपके विशेषज्ञता के साथ:

template <typename> struct S_generic { /* generic stuff here */ }; 

template <typename T> struct S : public S_generic<T> { /* nothing here */ }; 
template <> struct S<Foo> : public S_generic<Foo> { /* extra stuff here */ }; 

संपादित: वैकल्पिक रूप से, अगर आप अतिरिक्त नाम पसंद नहीं है, जिस तरह से उपयोग करने के लिए टेम्पलेट को तत्काल करने के दौरान गड़बड़ी के बिना एक अतिरिक्त ध्वज डिफ़ॉल्ट मान का उपयोग करना है:

template <typename T, bool fully_defined=true> struct S; 
template <typename T> struct S<T,false> { /* generic stuff here */ }; 

template <typename T> struct S<T,true> : public S<T,false> {}; 
template <> struct S<Foo,true> : public S<Foo,false> { /* extra stuff here */ };