Özel şablon sınıfındaki tip olmayan şablon parametrelerinin değerlerine erişmek mümkün mü?

Question

Özel şablon sınıfındaki tip olmayan şablon parametrelerinin değerlerine erişmek mümkün mü? Ben uzmanlaşma ile şablon varsa sınıfı

:

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

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

ben o yukarıdaki durum biliyorum değerleri 4 ve 0 yerine kullanarak değişkenleri ama ne ben uzmanlaşmış ediyorum daha büyük bir sınıf var kodlamalısınız basittir ve değerlere erişebilmek istiyorum.

< 4,0>major ve minor değerlerine (4 ve 0) erişmek mümkün mü? Ya da sabitler olarak şablon örneği başlatıldığında onları atamak zorunda yapın: gerçekten

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

Answer 1

problemin Bu tür çözülebilir Ayrı bir "Traits" yapısı kümesine sahip olmak.

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

Değil sorunuzun cevabı, ancak, yani onları numaralandırmak olabilir:

enum{ 
specialisationMajor=4, 
specialisationMinor=0 
}; 

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