C++模块中重复定义符号不再报错？此行为是否符合预期？

这种行为符合C++标准的预期范畴，但本质属于未定义行为（UB），具体原因如下：

1. 传统翻译单元与C++模块的符号作用域差异 #

• 在传统翻译单元中，全局/命名空间级的非inline同名函数会直接违反ODR（单定义规则），链接器会抛出LNK1169错误——因为这些符号属于全局作用域，链接阶段会检测到重复定义。
• 而C++模块的核心特性之一是模块作用域隔离：每个模块导出的符号默认属于该模块的作用域。你示例中的module0::f_test和module1::f_test是两个完全独立的函数实体，只是名称相同。

2. 编译器的符号解析逻辑 #

当你在main.cpp中同时导入两个模块且直接调用f_test()时，编译器会按照导入顺序选择第一个可见的同名符号：

• 如果两个函数定义完全一致，编译器/链接器可能会合并符号（或者直接选择其中一个），因此编译链接正常通过。
• 如果两个函数定义不同，编译器会选择先导入的模块中的版本，这就导致行为依赖导入顺序——这正是标准中定义的未定义行为：标准允许编译器选择任意一个可见版本，也允许报错，具体取决于实现（MSVC选择了按顺序解析）。

3. 合法的用法 #

如果需要明确调用某个模块的函数，只需通过模块名限定即可：

import module0;
import module1;
auto main() -> int{
    module0::f_test(); // 明确调用module0的版本
    module1::f_test(); // 明确调用module1的版本
}

这种写法完全符合标准，不会有任何问题。

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