C++11中如何为顶层constexpr全局变量获取链接器符号？

这个问题问到点子上了！核心差异在于C++对constexpr变量的链接性和定义规则，在静态成员和顶层变量上的处理逻辑完全不同，咱们慢慢说清楚：

1. 静态成员的特殊规则 #

你写的静态成员代码是合法的，原因在于：

• 类内部的static constexpr int x = 2;只是带初始化器的声明，而非完整定义。C++11要求类的静态constexpr成员必须在类外部补充一个定义（哪怕是空的constexpr int A::x;），用来确保整个程序中只有一个唯一的变量实体。
• 类的静态成员默认具有外部链接性，所有编译单元共享同一个变量实例。头文件的声明只是告诉各个编译单元“这个变量存在”，而cpp文件的定义才是实际生成变量的地方，两者不会产生冲突。

2. 顶层constexpr变量的问题根源 #

当你在头文件写constexpr int x = 2;时，C++11有个关键规则：顶层的constexpr变量默认具有内部链接性。这意味着每个包含该头文件的编译单元，都会生成一个属于自己的x副本，彼此独立无关。

而你在foo.cpp里写constexpr int x;，相当于在同一个编译单元里再次定义了x——哪怕没写初始化器，这依然是一个完整定义，和头文件里的定义重复，所以编译器会报“重定义”错误。

3. 加static为什么也没用？ #

顶层的static constexpr变量依然是内部链接性（static本身就是用来指定内部链接的），头文件里的static constexpr int x = 2;会让每个编译单元都生成一个独立的x。而你在foo.cpp里再写static constexpr int x;，还是在同一个编译单元里重复定义了同一个变量，自然还是报错。

4. 补充：C++17后的解决方案 #

到了C++17，标准引入了inline变量，并且规定顶层的constexpr变量默认就是inline的。这时候你直接在头文件写constexpr int x = 2;就足够了，不需要在cpp文件里补定义——因为inline变量允许在多个编译单元中定义，编译器会自动合并成一个唯一的实例，完美解决了这个问题。

内容的提问来源于stack exchange，提问作者Edward Z. Yang