Variable Vorlage in Template-Klasse - unerwarteter Fehler

Question

Mit (mögliche Fehler?):

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

• funktioniert nicht mit Klirren kompilieren ++ 3.6.

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

• Kompiliert nicht mit g ++ 5.2.

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

---

(1) ideone

Kompiliert sowohl mit Klappern ++ ++ und g.

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

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

---

Warum (0) nicht kompiliert?

Es scheint, dass das Problem auftritt, wenn auf die Variable Vorlage über einen Vorlagenparameter zugegriffen wird (in diesem Fall TValue). Wenn Sie einen Typalias für TValue definieren oder das Schlüsselwort typename verwenden, wird das Problem nicht behoben.

Was geht hier vor?

Answer 1

Dies ist definitiv ein GCC und Clang Bug in ihrer Behandlung von variablen Vorlagen als abhängige Namen. Ich habe gcc 67248 und clang 24473 eingereicht.

Als Abhilfe für jetzt unterstützen beide Compiler auf die alte Weise variable Vorlagen zu tun, nämlich, wenn Sie hinzugefügt:

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

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

dann folgende compiliert:

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

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

Answer 2

ich einige gehabt haben Kopfschmerzen vor beim Erstellen von Vorlage Klassenheader-Dateien in C++.

Stellen Sie sicher, dass die Implementierung von static constexpr T value{0}; in der gleichen Header-Datei wie die Deklaration ist.