переменной шаблона в шаблон класса - непредвиденная ошибка

Question

Имея (возможно ошибка?):

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

• Не компилировать с лязгом ++ 3,6.

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

• Не компилируется с g ++ 5.2.

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

---

(1) ideone

компилирует с обоими лязг ++ и G ++.

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

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

---

Почему (0) не компилировать?

Похоже, что проблема возникает, если шаблон переменной доступен через параметр шаблона (в данном случае TValue). Определение псевдонима типа для TValue или с использованием ключевого слова typename не устраняет проблему.

Что здесь происходит?

Answer 1

Это определенно ошибка gcc и clang при обработке переменных шаблонов в качестве зависимых имен. Я представил gcc 67248 и clang 24473.

В качестве временного решения на данный момент, как компиляторы поддерживают старый способ ведения переменных шаблонов, а именно, если вы добавили:

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

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

тогда следующие компилирует:

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

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

Answer 2

У меня были некоторые головные боли до создания файлов заголовков шаблона класса в C++.

Убедитесь, что реализация static constexpr T value{0}; находится в том же заголовочном файле, что и объявление.