调整静态库链接顺序为何可以解决C++多重定义报错？

核心背景：Unix 系链接器静态库处理规则 #

Unix 平台默认的链接器（ld、lld 等）对静态库的处理遵循以下逻辑：

• 静态库本身是多个 .o 目标文件的归档包，不会被整体链接进最终产物
• 链接器按命令行给出的静态库顺序从左到右依次扫描
• 扫描每个静态库时，仅会抽取能够解析「当前仍未被满足的未定义符号」的 .o 文件加入链接，已经完成解析的符号不会被重复处理
• C/C++ 中的普通全局函数属于强符号，同一强符号仅允许存在一个定义，若先后加载的两个 .o 文件包含同名强符号，会直接触发多重定义错误

结合示例的场景分析 #

示例库结构说明 #

• libA.a：仅包含 libA.cpp.o，导出两个全局符号：NotClashingFunctionA、ClashingFunction
• libB.a：包含两个独立的 .o 文件，libB.cpp.o 导出 NotClashingFunctionB，libBSub.cpp.o 导出 ClashingFunction

1. 链接顺序 A 在前 B 在后 可正常编译的原因 #

1. 链接器先处理 main.o，此时未定义符号为：NotClashingFunctionA、NotClashingFunctionB、ClashingFunction
2. 扫描 libA.a 时，libA.cpp.o 可以解析 NotClashingFunctionA 和 ClashingFunction，因此该 .o 被加入链接，剩余未定义符号仅剩 NotClashingFunctionB
3. 扫描 libB.a 时，仅 libB.cpp.o 可以解析剩余的未定义符号，因此仅抽取该 .o 加入链接，libBSub.cpp.o 不会被加载，全程仅存在一个 ClashingFunction 定义，无冲突。

2. 链接顺序 B 在前 A 在后 编译失败的原因 #

1. 链接器先处理 main.o，初始未定义符号和上述一致
2. 扫描 libB.a 时，libB.cpp.o 可以解析 NotClashingFunctionB，libBSub.cpp.o 可以解析 ClashingFunction，因此两个 .o 均被加入链接，剩余未定义符号仅剩 NotClashingFunctionA
3. 扫描 libA.a 时，libA.cpp.o 可以解析剩余的 NotClashingFunctionA，需要被加入链接，但该 .o 中同时包含已经被 libBSub.cpp.o 定义过的强符号 ClashingFunction，因此直接触发多重定义错误。

对应原业务场景的解释 #

librdkafka 和 Pulsar C++ 客户端均将自身版本的 LZ4 实现编译为独立的 .o 归档在静态库中：

• 若先链接的库的 LZ4 符号先被解析完成，后链接的库的 LZ4 实现对应的 .o 不会被加载，无冲突
• 若后链接的库的其他符号需要加载其包含 LZ4 实现的 .o，就会和已经加载的同名 LZ4 符号触发冲突

相关检索关键词 #

• 静态库链接顺序
• ld 静态库符号解析规则
• 多重定义 链接顺序
• 静态库按需加载目标文件

内容的提问来源于stack exchange，提问作者János Benjamin Antal