C++11：类内初始化的static constexpr成员为何不属于定义？

首先给出示例代码：

#ifndef TEST_H
#define TEST_H

class Test {
public:
    static constexpr int a = 1;
};

#endif

首先明确前提：你提到的头文件防护宏不会引发ODR违规是完全正确的，它和我们接下来要讨论的静态成员定义问题没有关联。

规则差异：以C++版本为分界 #

• C++17及更高版本：代码中类内的static constexpr int a = 1;本身就是完整定义，不需要额外在类外补充定义，旧规则的要求已经被废弃。
• C11、C14版本：这个类内的初始化只是带初始化值的声明，如果你的代码中对该变量进行了odr-used（简单理解就是需要用到这个变量的内存地址，比如取地址、绑定左值引用等操作），就必须在类外补充constexpr int Test::a;的定义，否则会触发链接错误。

背后的核心原因 #

核心是C++ ODR（单一定义规则）和静态成员的全局共享属性的冲突协调。

1. 静态类成员属于整个类所有，不属于任何类实例，需要在整个程序范围内有唯一的内存地址，不能每个包含头文件的编译单元都单独生成一份实例，否则就违反ODR。
2. C++11刚引入constexpr特性时，为了兼容原有静态成员的规则，规定类内的static constexpr初始化仅作为编译期常量的声明，编译器遇到该声明只会做常量值替换，不会为其分配内存空间。
3. 如果你只是用它的数值做编译期计算（比如int res = Test::a * 3;），编译器直接替换成常量即可，不需要变量地址，这种场景下就算没有类外定义也不会报错。但如果你做了const int* ptr = &Test::a;这类需要地址的操作，链接器就会因为找不到该变量的唯一实例报错，必须补充类外定义。
4. C++17之后优化了该规则，默认将类内声明的static constexpr成员设定为隐式内联变量，编译器会自动处理跨编译单元的唯一实例生成，不需要用户手动补充类外定义。

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