SFINAE thử với bool cho lỗi biên dịch: "mẫu tranh luận 'T :: giá trị' liên quan đến mẫu tham số"

Question

Tôi cố gắng để thực hiện một SFINAE sử dụng bool (không giống như phổ biến void_trick):

template<typename T, bool = true> 
    struct Resolve 
    { 
    static const bool value = false; 
    }; 

    template<typename T> 
    struct Resolve<T, T::my_value> 
    { 
    static const bool value = true; 
    }; 

Mục đích là để chuyên, các lớp học có static const bool my_value = true; được định nghĩa bên trong nó. Nếu chúng được xác định false hoặc không được xác định thì không chuyên nó. ví dụ:

struct B1 { // specialize Resolve for this case 
    static const bool my_value = true; 
}; 
struct B2 { // don't specialize 
    static const bool my_value = false; 
}; 
struct B3 {}; // don't specialize 

Khi áp dụng các thủ thuật ở trên B1 nó mang lại cho các lỗi biên dịch:

Resolve<B1>::value; 

error: template argument ‘T::my_value’ involves template parameter(s)

Tôi biết rằng điều này có thể đạt được với cách thay thế. Tuy nhiên, tôi quan tâm đến việc biết, tại sao nó cung cấp cho trình biên dịch lỗi ở đây và nó có thể được giải quyết trong mã này chính nó?

Answer 1

thực tế những gì bạn đang làm bị cấm bởi phần §14.5.4/9 mà nói,

A partially specialized non-type argument expression shall not involve a template parameter of the partial specialization except when the argument expression is a simple identifier.

Bí quyết có thể được sử dụng một loại cho tham số mẫu thứ hai là tốt, đóng gói các phi -type giá trị, như được mô tả bên dưới:

template<bool b> struct booltype {}; 

template<typename T, typename B = booltype<true> > 
struct Resolve 
{ 
    static const bool value = false; 
}; 

template<typename T> 
struct Resolve<T, booltype<T::my_value> > 
{ 
    static const bool value = true; 
}; 

Bây giờ nó compile fines.