定义一个 static 同类型模板 class 的 constexpr 成员

Question

非模板class的类似问题

对于模板 class，

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

---

当编译器在没有实例化的情况下直接从模板 class 定义static constexpr成员时，结果会有所不同：

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

https://godbolt.org/z/M8jdx3WzM

GCC编译。
clang忽略定义中的constexpr说明符。
MSVC ... /std:c++17运行良好，但/std:c++20由于重新定义而拒绝。

---

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

在这个例子中，哪个是正确的？ 为什么？

Answer 1

我认为 GCC 在接受给定示例时是正确的。 这是因为名为constant的数据成员static是一个普通的数据成员变量（尽管它仍然被认为是一个模板化实体）。

而由于constant是一个普通的数据成员变量， dcl.constexpr#1.sentence-1适用于它：

constexpr 说明符应仅应用于变量或变量模板的定义或 function 或 function 模板的声明。

（强调我的）

因此，由于您在 class 模板之后提供的构造只不过是普通 static 数据成员constant的类外定义，因此给定的示例格式正确。

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`

---

笔记

请注意， dcl.constexpr#1.sentence-1没有提及模板化实体，而是仅提及“变量”和“变量模板”，并且由于constant是一个变量（普通），因此同样适用于constant 。