Ist es möglich, auf Werte von Nicht-Typ-Vorlagenparametern in spezialisierten Vorlagenklassen zuzugreifen?

Question

Ist es möglich, auf Werte von Nicht-Typ-Vorlagenparametern in spezialisierten Vorlagenklassen zuzugreifen?

Wenn ich Template-Klasse mit Spezialisierung habe:

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

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

ich den obigen Fall weiß, ist es einfach, Wert 4 und 0 anstelle der Verwendung von Variablen zu codieren, aber was ich habe eine größere Klasse, die ich spezialisiere und ich möchte auf die Werte zugreifen können.

Ist es möglich, in A < 4,0> auf major und minor Werte (4 und 0) zuzugreifen? Oder muß ich sie auf Vorlage Instanziierung zuweisen als Konstanten:

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

Answer 1

Diese Art von Problem gelöst werden kann durch eine separate Gruppe von "Traits" Strukturen.

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

nicht wirklich eine Antwort auf Ihre Frage, aber man kann sich aufzählen, nämlich:

enum{ 
specialisationMajor=4, 
specialisationMinor=0 
}; 

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