C++23是否允许在不同翻译单元中多次定义命名空间作用域非inline变量？

旧版C++（如C++17）的ODR要求 #

在C++17及更早版本中，单定义规则（ODR）对非inline变量的要求非常明确：

对于程序中在废弃语句之外被odr使用的每个非inline函数或变量，程序中必须恰好包含其一个定义。

这意味着在两个翻译单元中分别定义同个非inline变量的代码，是严格违反规则的。

CWG 2494带来的规则调整 #

上述“必须恰好一个定义”的禁令已被移除，新版C++标准的ODR规则做了核心调整：
对于在多个翻译单元中存在定义的可定义项D，若D是非inline非模板函数或变量，要求所有定义必须完全一致（比如变量的初始值、函数的实现代码完全相同）。

示例程序的合法性判断 #

对于如下代码：

// a.cc
int a = 1;

// b.cc
int a = 1;

按照新版规则，这段代码是合法的——因为两个翻译单元中a的定义完全一致，符合规则要求。

规则放宽的原因 #

这次调整主要是为了适配实际开发中的场景：

• 简化头文件使用：当头文件中定义了非inline变量时，多个翻译单元包含该头文件，只要定义一致就无需额外处理（比如加static或inline修饰），降低开发者负担。
• 对齐链接器实际行为：很多链接器早已支持合并完全一致的重复定义，标准调整只是把这种普遍实践合法化。

总结 #

ODR确实大幅放宽了对非inline变量的限制，不再强制要求“唯一的定义”，转而要求“所有定义完全一致”。如果多个翻译单元中的定义存在差异（比如一个是int a=1;，另一个是int a=2;），依然会违反规则，导致未定义行为。

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