SFINAE provato con bool dà errore del compilatore: "argomento template 'T :: valore' comporta parametro di modello"

Question

Ho cercato di realizzare uno SFINAE utilizza bool (a differenza popolare 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; 
    }; 

L'obiettivo è quello di specialize, le classi che hanno definito static const bool my_value = true; al suo interno. Se sono definiti false o non definiti, non specializzarli. vale a dire

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 

Quando si applica il trucco sopra il B1 dà l'errore di compilazione:

Resolve<B1>::value; 

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

Mi rendo conto che questo può essere ottenuto con metodi alternativi. Tuttavia, sono interessato a sapere, perché dà l'errore del compilatore qui e può essere risolto in questo stesso codice?

Answer 1

In realtà quello che stai facendo è proibito dalla sezione §14.5.4/9 che dice,

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.

Il trucco potrebbe essere utilizzando un tipo per il parametro secondo modello così, incapsulando il non -tipo valore, come descritto di seguito:

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; 
}; 

Ora compile fines.