链接含同名符号的静态库时为何未出现符号冲突？

先还原下你的场景：
你有两个静态库 libstatic1.a 和 libstatic2.a，还有测试应用 testapp。其中：

• libstatic1.a 包含 testcmethds 方法；
• libstatic2.a 编译时依赖了 libstatic1.a，所以它的归档包里也带有 _testcmethds 符号；
• testapp 同时链接了这两个静态库，编译运行都正常，但用 nm -a 检查时发现两个库都有相同的 _testcmethds 符号，疑惑为什么没触发符号冲突。

你的 nm 输出如下：

//in libstatic1.a
//...
0000000000000000 T _testcmethds
//...
//in libstatic2.a
//...
0000000000000000 T _testcmethds
//...

核心原因：静态库的链接逻辑和动态库完全不同 #

静态库本质是目标文件的归档包，链接器处理静态库时，只会提取当前链接过程中尚未解决符号依赖的目标文件，而且对重复强符号有默认的静默忽略规则：

1. 链接器的符号解析顺序 #

当链接 testapp 时，链接器会按照你指定的库顺序依次处理：

• 先处理 libstatic1.a：发现 testapp 或后续依赖需要 _testcmethds 符号，于是把包含该符号的目标文件从 libstatic1.a 中提取出来，加入到最终的可执行文件中，同时标记该符号已被定义。
• 接着处理 libstatic2.a：当遇到里面的 _testcmethds 符号时，链接器发现这个符号已经有了有效的强定义（T 类型属于文本段的强符号，对应函数实现），此时默认会直接忽略这个重复的定义，不会抛出冲突错误。

2. 为什么静态库会出现重复符号？ #

你提到 libstatic2.a 链接了 libstatic1.a，这意味着在创建 libstatic2.a 的时候，编译工具（比如 ar）把 libstatic1.a 中被依赖的目标文件也打包进了 libstatic2.a 的归档里，导致两个静态库都包含了同一个目标文件的副本，自然会有相同的符号。

3. 什么时候会触发冲突？ #

默认情况下链接器不会报错，但如果两个重复的强符号是不同的实现（比如两个 _testcmethds 函数逻辑不一样），这会导致最终可执行文件只使用第一个被链接的库中的实现，埋下隐蔽的bug。

如果你想让链接器对这种重复符号发出警告或错误，可以添加编译选项：

• 用GCC的话，加上 -Wl,--warn-common：链接器会对重复的强符号发出警告；
• 加上 -Wl,--fatal-warnings：把警告升级为错误，强制你处理重复符号问题。

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