定义同一类型的模板类的静态constexpr成员

Question

模板类

对于模板类，

template <typename T>
struct Test {
    T data;

    static const Test constant;
};

定义 static constexpr 专用类型的成员变量是可以的：

template <>
inline constexpr Test<int> Test<int>::constant {42};

https://godbolt.org/z/o4c4yojmf

---

虽然在定义 statation constancpr 直接从模板类中直接从模板类中定义 static constancpr 时，编译器会差异。

template <typename T>
inline constexpr Test<T> Test<T>::constant {42};

https://godbolt.org/z/m8jdx3wzm

编译。
clang 忽略 constexpr 定义中的指定符。
msvc ... /std：C ++ 17 效果很好，但是/std：C ++ 20 由于重新定义而拒绝。

---

我了解到 constexpr 可以应用对于定义，变量或变量模板

在此示例中，哪一个是对的？为什么？

Answer 1

我认为gcc在 static 数据成员名为常数是普通数据成员变量（尽管它仍然被视为模板的实体）。

并且由于常数是普通数据成员变量“> dcl.constexpr＃1.Sessence-1 适用于此：

constexpr规范应仅应用于变量或变量模板的定义或函数或函数模板的声明。

（强调地雷）

因此，作为您在类模板之后提供的构造，只是普通静态数据成员 constance>常数，给定的示例是良好的。

template <typename T>
constexpr Test<T> Test<T>::constant {42};  //this is an out-of-class definition for the ordinary static data member variable `constant`

---

请

注意，不提及模板实体，而是仅提及“变量”和“变量模板”，并且由于 constant 是一个变量（普通），因此应适用于 constand> constant 。