टेम्पलेट उप-वर्ग का विशेषज्ञ कैसे करें?

Question

मैं किसी अन्य वर्ग के अंदर एक टेम्पलेट वर्ग का विशेषज्ञ बनने की कोशिश कर रहा हूं लेकिन संकलक मुझे नहीं जाने देगा। कोड कक्षा फू के बाहर काम करता है लेकिन अंदर नहीं है और मैं चाहता हूं कि संरचना Bla कक्षा Foo के लिए निजी हो।

class Foo { 
    template<typename ... Ts> struct Bla; 
    template<> struct Bla<> { static constexpr int x = 1; }; 
}; 

error: explicit specialization in non-namespace scope 'class Foo' 

Answer 1

आप वर्ग, उपयोग के अंदर विशेषज्ञ नहीं कर सकते हैं:

class Foo { 
public: // so we can test it easily 
    template<typename ... Ts> struct Bla; 
}; 

// specialize it outside the class 
template<> class Foo::Bla<> { static constexpr int x = 1; }; 

int main() 
{ 
    std::cout << Foo::Bla<>::x; 
} 

Answer 2

आप बस ऐसा नहीं कर सकते हैं। त्रुटि इसे अच्छी तरह से बताती है। कक्षा टेम्पलेट्स केवल नामस्थान क्षेत्र में विशिष्ट हो सकते हैं। class Foo नामस्थान नहीं है।

आप मानक [temp.class.spec] से यह वर्ग के लिए बाहरी क्या कर सकते हैं इस उदाहरण के अनुसार,:

एक वर्ग टेम्पलेट आंशिक विशेषज्ञता घोषित या किसी नाम स्थान दायरे में redeclared किया जा सकता है, जिसमें इसकी परिभाषा परिभाषित की जा सकती है (14.5.1 और 14.5.2)। [उदाहरण:

template<class T> struct A { 
    struct C { 
     template<class T2> struct B { }; 
    }; 
}; 

// partial specialization of A<T>::C::B<T2> 
template<class T> template<class T2> 
    struct A<T>::C::B<T2*> { }; 

A<short>::C::B<int*> absip; // uses partial specialization 

अंत उदाहरण]