Czy możliwe jest uzyskanie dostępu do wartości parametrów szablonu non-type w specjalnej klasie szablonów?

Question

Czy możliwe jest uzyskanie dostępu do wartości parametrów szablonu non-type w specjalnej klasie szablonów?

Jeśli mam klasy szablonu specjalizacji:

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

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

Wiem, że powyższy przypadek, to jest proste hardcode wartości 4 i 0 zamiast przy użyciu zmiennych lecz co mam większą klasę, że jestem specjalizującą i chciałbym móc uzyskać dostęp do wartości.

Czy w A < 4,0> można uzyskać dostęp do wartości major i minor (4 i 0)? Czy muszę przypisać je na szablonie instancji jako stałe:

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

Answer 1

Tego rodzaju problem może być rozwiązany poprzez oddzielny zestaw struktur "Cechy".

// 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

Niezupełnie odpowiedź na swoje pytanie, ale można wyliczyć je, a mianowicie:

enum{ 
specialisationMajor=4, 
specialisationMinor=0 
}; 

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