C++项目引入源文件编译未触发多重定义错误及偶发报错原因咨询

预期报错示例 #

Test.hh #

#ifndef TEST_HH_
#define TEST_HH_

class Test
{
    int test() const;
};

#endif /* TEST_HH_ */

Test.cc #

#include "Test.hh"

int Test::test() const
{
    return 0;
}

main.cc #

#include "Test.cc"

int main()
{
   return 0;
}

使用以下指令编译会触发链接错误，原因是Test::test()在包含Test.cc的main.cc、以及Test.cc两个翻译单元中重复定义，符合预期，报错信息如下：

g++ -Wall -g -std=c++17 -c main.cc -o main.o
g++ -Wall -g -std=c++17 -c Test.cc -o Test.o
g++ -o bin main.o Test.o

报错输出：

Test.o: In function `Test::test()':
Test.cc:12: multiple definition of `Test::test()'
main.o:Test.cc:12: first defined here
collect2: error: ld returned 1 exit status

实际遇到的问题 #

在包含约2500个文件的大型C++项目中，相同场景下可正常编译链接生成二进制文件，且此前长期正常运行，近期突然出现多重定义链接报错。
具体场景：使用Test类时突发大量多重定义链接错误，排查发现Test.cc被另一个源文件someClass.cc引入，将引入路径改为对应头文件后编译恢复正常。更反常的是此前其他类同样引入Test.hh使用完全无异常。全局检索后还发现另外两个源文件也分别引入了Test2.cc、Test3.cc，这些文件全部参与编译且都包含函数定义，但链接器从未报错，全量重新编译也正常运行。

待解答问题 #

1. 为何部分源文件引入其他源文件且全部参与编译时，不会触发多重定义错误？
2. 仅像其他类一样引入其中一个源文件对应的头文件，为何会导致原本正常的项目突然报错？
3. 此类场景是否属于未定义行为？

补充说明：项目使用CMake构建，使用ninja或Make编译现象一致。

问题1解答 #

常见原因包括以下几种：

• 被引入的.cc文件中所有函数定义都符合C++单一定义规则（ODR）的允许多重定义条件：比如是内联函数、constexpr函数、类内直接定义的隐式内联成员函数、模板函数/类的定义，这类定义允许出现在多个翻译单元中，只要每个定义完全一致，链接器会自动合并，不会报错。
• 被引入的.cc文件中的全局函数/变量都被标记了static，这类符号仅对当前翻译单元可见，不同翻译单元的同名符号不会冲突，链接器不会报错。
• 你以为这些.cc文件参与了编译，但实际构建脚本（如CMakeLists.txt）中没有将其加入编译目标的源文件列表，只有引入它的源文件会把对应代码编译进去，全程只有一份符号定义，自然不会冲突。
• 函数/变量被标记了弱符号（如GCC的__attribute__((weak))），链接器遇到多重弱符号定义时会自动选择其中一个，不会抛出错误。

问题2解答 #

该现象本质是原本隐藏的ODR违规被修改操作触发暴露，常见触发逻辑：

• 此前你直接include Test.cc时，Test.cc本身没有被加入编译目标的源列表，整个项目里只有引入它的someClass.cc会编译出Test类成员函数的符号，全程只有一份定义，所以不会报错。当你把someClass.cc中的引入改成Test.hh后，如果Test.cc本身已经被加入编译源列表，此时就会出现两个翻译单元（someClass.cc对应的.o和Test.cc对应的.o）都存在Test类成员函数的定义，触发多重定义错误。
• 也可能是近期你或者其他合作者修改了构建配置，把原本不在编译列表中的Test.cc加入了编译目标，原本就存在的ODR违规直接暴露，和你修改引入头文件的操作刚好同时发生，形成了看似关联的错觉。

问题3解答 #

是的，这类场景属于未定义行为。
C++标准明确要求，非内联、非静态、非模板、非constexpr的普通函数/全局变量，在整个程序中只能有一处定义，违反该规则的行为属于ODR违规，是明确的未定义行为。链接器没有强制要求必须检测到这类违规，所以可能出现长期运行正常、后续突然报错的情况，程序运行结果也没有任何可靠性保障。

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