C++23中不同翻译单元是否允许多个相同的非inline constexpr变量定义？

你提到的核心矛盾可以通过链接属性和ODR（单一定义规则）的适用范围来解释：

• constexpr变量的默认链接属性
  在C++中，命名空间作用域的const变量（constexpr隐含const，属于const的子集）默认拥有内部链接（internal linkage）。这意味着每个包含该头文件的翻译单元，都会生成一个完全独立的my_constant实例——它们名字相同，但各自属于所在翻译单元的私有实体，彼此之间不会产生冲突。

• ODR的约束边界
  标准中指出的“多个翻译单元存在非inline非模板函数/变量定义则程序病态”，仅针对具有外部链接的实体。这类实体要求整个程序中最多存在一个定义（inline实体除外，允许多个等价定义）。而内部链接的实体不受这条规则限制，因为每个翻译单元的定义都是独立的，不存在“共享同一实体”的前提。

• 反例验证
  如果你给constexpr变量显式加上extern关键字，将其改为外部链接：

  extern constexpr int my_constant = 1;
  

  此时若多个翻译单元包含这个定义，就会直接违反ODR，触发编译或链接错误——这也反向验证了默认内部链接是问题的核心原因。

简单来说：普通命名空间作用域的constexpr变量因为默认内部链接，每个翻译单元的定义都是独立个体，自然不会违反ODR，也就不存在非法情况。

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