constexpr静态数据成员未初始化：编译器行为差异求证

首先来看你给出的这段代码：

#include <complex>
struct S {
    static std::complex<double> constexpr c;
};

你提到GCC会因为缺少初始化器报错，但Clang和MSVC却能正常编译。咱们结合C++标准来拆解这个问题：

标准的硬性要求 #

从C11开始，一直到最新的C23标准，constexpr静态数据成员在类内声明时必须附带初始化器，只有两种例外情况：

• 成员是字面类型的空类
• 成员是聚合类型，且所有子成员都是字面类型，能进行值初始化

但std::complex<double>并不满足任一例外：它是带有用户定义构造函数的类（虽然C++11起它的默认构造函数是constexpr的），所以标准明确要求这种情况下必须显式提供初始化器。

各编译器的行为分析 #

• GCC：严格执行了标准的要求，对缺少初始化器的constexpr静态成员报错，这是完全符合标准的正确行为。
• Clang & MSVC：这里它们做了非标准的宽松处理，允许隐式调用默认构造函数来初始化这个constexpr成员，但这其实是不符合标准规定的，属于编译器自己的扩展行为。

符合标准的正确写法 #

就像你给出的示例一样，必须在声明时显式初始化，比如用值初始化的大括号语法：

struct S {
    static std::complex<double> constexpr c {};
};

或者也可以显式调用构造函数：static std::complex<double> constexpr c = std::complex<double>();，两种写法都符合标准。

总结：GCC的行为是符合C++标准的，而Clang和MSVC的行为属于非标准的编译器扩展。

内容的提问来源于stack exchange，提问作者x y