Возможно ли получить доступ к значениям параметров шаблона непигового типа в специализированном классе шаблонов?

Question

Возможно ли получить доступ к значениям параметров шаблона непигового типа в специализированном шаблоне?

Если у меня есть класс шаблона со специализацией:

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

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

Я знаю, что это выше случае просто Кодирую значения 4 и 0 вместо того чтобы использовать переменные, но то, что у меня есть больший класс, который я специализирующуюся и я хотел бы иметь доступ к значениям.

Возможно ли в A < 4,0 для доступа к major и minor значениям (4 и 0)? Или я должен назначить их на шаблон конкретизации как константы:

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

Answer 1

Эта проблема может быть решена имея отдельный набор структур «Черты».

// 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; 
    ... 
}