MacOS下Clang未遵循extern暂定定义的编译问题排查

这是macOS链接器（ld64）处理静态库中common符号的规则导致的，和Clang编译器无关。

核心概念区分 #

• 暂定定义：int external_number; 这种未显式初始化的全局变量声明，Clang会将其标记为common链接属性（用nm查看会显示C标记），属于弱定义范畴。
• 显式定义：int external_number = 0; 这种带初始化的声明，会被标记为全局已定义符号（nm显示S或D），属于强定义。

静态库的链接逻辑 #

链接器处理静态库（.a）时，遵循按需提取规则：只有当库中的某个目标文件能解决当前链接过程中存在的未解析强引用时，才会将该目标文件从库中取出参与链接。

问题触发的具体原因 #

当静态库中的变量是common符号时：

1. 可执行代码中对external_number的引用会生成一个未解析的符号请求。
2. 链接器在静态库中查找该符号时，发现它是common类型的弱定义，不会将其视为“能解决未解析引用的有效定义”，因此不会提取对应的目标文件。
3. 最终链接阶段，既没有找到该符号的强定义，也没有从静态库中拉取包含common符号的目标文件，因此抛出_external_number未找到的错误。

而当变量是显式初始化的强定义时，链接器会将其视为有效的已定义符号，一旦检测到未解析引用，就会提取对应的目标文件参与链接，从而成功解决符号依赖。

可行的解决办法 #

• 给静态库中的变量添加显式初始化（如int external_number = 0;），将其转为强定义。
• 链接时使用-Wl,-force_load,xxx.a参数，强制链接器将静态库中所有目标文件都纳入链接（不推荐滥用，会增大可执行文件体积）。
• 在静态库中某个已被引用的目标文件里，添加对该common变量的引用，触发链接器提取包含该变量的目标文件。

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