क्या विशिष्ट टेम्पलेट वर्ग में गैर-प्रकार के टेम्पलेट पैरामीटर के मानों तक पहुंच बनाना संभव है?

Question

क्या विशिष्ट टेम्पलेट वर्ग में गैर-प्रकार के टेम्पलेट पैरामीटर के मानों तक पहुंच बनाना संभव है?

अगर मैं विशेषज्ञता के साथ टेम्पलेट वर्ग है:

template <int major, int minor> struct A { 
     void f() { cout << major << endl; } 
    } 

    template <> struct A<4,0> { 
     void f() { cout << ??? << endl; } 
    } 

मैं इसे उपरोक्त मामले पता है कि यह मान 4 और 0 के बजाय वेरिएबल का उपयोग करके लेकिन क्या मैं एक बड़े वर्ग है कि मैं कर रहा हूँ विशेषज्ञता है हार्डकोड करने के लिए सरल है और मैं मूल्यों तक पहुंचने में सक्षम होना चाहता हूं।

यह major और minor मानों तक पहुंच (4 और 0) संभव है एक < 4,0 में>? या मैं उन्हें स्थिरांक के रूप में टेम्पलेट इन्स्टेन्शियशन पर आवंटित करने के लिए है:

template <> struct A<4,0> { 
     static const int major = 4; 
     static const int minor = 0; 
     ... 
    } 

Answer 1

इस तरह की समस्या हल हो सकती हैं "लक्षण" structs का एक अलग सेट होने के द्वारा।

// A default Traits class has no information 
template<class T> struct Traits 
{ 
}; 

// A convenient way to get the Traits of the type of a given value without 
// having to explicitly write out the type 
template<typename T> Traits<T> GetTraits(const T&) 
{ 
    return Traits<T>(); 
} 

template <int major, int minor> struct A 
{ 
    void f() 
    { 
     cout << major << endl; 
    } 
}; 

// Specialisation of the traits for any A<int, int> 
template<int N1, int N2> struct Traits<A<N1, N2> > 
{ 
    enum { major = N1, minor = N2 }; 
}; 

template <> struct A<4,0> 
{  
    void f() 
    { 
     cout << GetTraits(*this).major << endl; 
    } 
}; 

Answer 2

नहीं वास्तव में अपने प्रश्न का उत्तर, लेकिन आप उन्हें, अर्थात् गणना कर सकते हैं:

enum{ 
specialisationMajor=4, 
specialisationMinor=0 
}; 

template <> struct A<specialisationMajor,specialisationMinor> { 
    static const int major = specialisationMajor; 
    static const int minor = specialisationMinor; 
    ... 
}