एक (गैर प्रकार) enum तर्क

Question

के साथ एक आंतरिक वर्ग सदस्य फ़ंक्शन टेम्पलेट को परिभाषित करना मुझे एक गैर-प्रकार (enum) तर्क पर टेम्पलेट किया गया है जो एक आंतरिक वर्ग Outer<T1>::Inner के सदस्य फ़ंक्शन update() को परिभाषित करने और विशेषज्ञता करने में कठिनाई हो रही है।

#include <cstdlib> 

template<typename T1> 
struct Outer 
{ 
    struct Inner 
    { 
     enum Type{ A , B , C }; 

     template<Type T2> 
     void update(); 
    }; 
}; 

// Definition 
template<typename T1> 
template<Outer<T1>::Inner::Type T2> 
void Outer<T1>::Inner::update() 
{ 
} 

// Specialization 
template<typename T1> 
template<Outer<T1>::Inner::A > 
void Outer<T1>::Inner::update() 
{ 
} 

int main() 
{ 
    return EXIT_SUCCESS; 
} 

मैं जीसीसी में निम्न त्रुटि संदेश मिल रहा है 4.5.3

prog.cpp:17:28: error: ‘Outer::Inner::Type’ is not a type 
prog.cpp:18:6: error: prototype for ‘void Outer<T1>::Inner::update()’ does not match any in class ‘Outer<T1>::Inner’ 
prog.cpp:11:15: error: candidate is: template<class T1> template<Outer<T1>::Inner::Type T2> void Outer<T1>::Inner::update() 
prog.cpp:24:28: error: ‘Outer::Inner::A’ is not a type 
prog.cpp:25:6: error: prototype for ‘void Outer<T1>::Inner::update()’ does not match any in class ‘Outer<T1>::Inner’ 
prog.cpp:11:15: error: candidate is: template<class T1> template<Outer<T1>::Inner::Type T2> void Outer<T1>::Inner::update() 

---

Btw, जीसीसी के विपरीत, विजुअल स्टूडियो 2008 निम्नलिखित संकलन करने में असमर्थ है

template<typename T1> 
struct Outer 
{ 
    struct Inner 
    { 
     enum Type{ A , B , C }; 

     template<Type T2> 
     struct Deep; 
    }; 
}; 

template<typename T1> 
template<typename Outer<T1>::Inner::Type T2> 
struct Outer<T1>::Inner::Deep 
{ 
}; 

Answer 1

सबसे पहले, आप Outer<T1>::Inner::Type से पहले typename खो रहे हैं। आपको template टाइप सूची में भी यह होना चाहिए, क्योंकि Type एक निर्भर प्रकार है।

दूसरा, आपका विशेषज्ञता वाक्यविन्यास गलत है (प्रकार <> में template<> में नहीं, ब्रांड्स से पहले फ़ंक्शन नाम के बाद जाता है), लेकिन यदि यह सही था, तो यह कानूनी नहीं होगा। स्पष्ट टेम्पलेट विशेषज्ञता के बारे में एक दुर्भाग्यपूर्ण नियम के मुताबिक, update को पूरी तरह से विशेषज्ञता देने से पहले आपको बाहरी टेम्पलेट Outer विशेषज्ञ करना होगा।