Có thể truy cập các giá trị của các tham số mẫu không kiểu trong lớp mẫu chuyên biệt không?

Question

Có thể truy cập các giá trị của các tham số mẫu không kiểu trong lớp mẫu chuyên biệt không?

Nếu tôi có lớp mẫu với chuyên môn:

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

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

Tôi biết nó là trường hợp ở trên nó là đơn giản để hardcode giá trị 4 và 0 thay vì sử dụng các biến nhưng những gì tôi có một lớp học lớn mà tôi đang chuyên và tôi muốn có thể truy cập các giá trị.

Có thể trong A < 4,0> để truy cập major và minor giá trị (4 và 0) không? Hoặc tôi phải gán chúng vào mẫu instantiation như hằng số:

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

Answer 1

Đây là loại vấn đề có thể được giải quyết bằng cách có một bộ cấu trúc "Đặc điểm" riêng biệt.

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

Không thực sự là một câu trả lời cho câu hỏi của bạn, nhưng bạn có thể liệt kê chúng, tức là:

enum{ 
specialisationMajor=4, 
specialisationMinor=0 
}; 

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