modèle variable en classe modèle - erreur inattendue

Question

Avoir (bug possible?):

struct Value 
{ 
    template<class T> 
    static constexpr T value{0}; 
}; 

---

(0) ideone

template<typename TValue> 
struct Something 
{ 
    void x() 
    { 
     static_assert(TValue::template value<int> == 0, ""); 
    } 
}; 

int main() { Something<Value>{}.x(); return 0; } 

• ne compile pas avec clang ++ 3.6.

  error: cannot refer to variable template 'value' without a template argument list

• Ne compile pas avec g ++ 5.2.

  error: ‘template constexpr const T Value::value’ is not a function template

---

(1) ideone

Compile avec les deux clang ++ et g ++.

struct Something 
{ 
    void x() 
    { 
     static_assert(Value::template value<int> == 0, ""); 
    } 
}; 

int main() { Something{}.x(); return 0; } 

---

Pourquoi (0) ne parviennent pas à compiler?

Il semble que le problème se produit si le modèle de variable est accessible via un paramètre de modèle (dans ce cas, TValue). La définition d'un alias de type pour TValue ou l'utilisation du mot-clé typename ne résout pas le problème.

Que se passe-t-il ici?

Answer 1

Il s'agit certainement d'un bogue gcc et clang dans le traitement des gabarits variables en tant que noms dépendants. J'ai soumis gcc 67248 et clang 24473.

Pour contourner le problème pour l'instant, les deux compilateurs soutiennent l'ancienne façon de faire des modèles variables, à savoir si vous avez ajouté:

struct Value 
{ 
    template<class T> 
    static constexpr T value = 0; 

    template <typename T> 
    struct variable_template_ish { 
     static constexpr T value = Value::value<T>; 
    }; 
}; 

alors les compiles suivants:

template<typename TValue> 
struct Something 
{ 
    void foo() { 
     static_assert(TValue::template variable_template_ish<int>::value == 0, ""); 
    } 
}; 

int main() { 
    Something<Value>{}.foo(); 
} 

Answer 2

J'ai eu quelques maux de tête avant lors de la création de fichiers d'en-tête de classe de modèle en C++.

Assurez-vous que l'implémentation de static constexpr T value{0}; se trouve dans le même fichier d'en-tête que la déclaration.