GNU ld：单个归档文件中函数符号重复定义时的报错/警告配置及符号选择逻辑咨询

嗨，针对你在AArch64裸机内核开发中遇到的GNU ld链接重复符号问题，我来一步步解答你的疑问：

一、如何让GNU ld对重复符号触发警告/错误 #

你提到两个同名强符号（C版和汇编版memset）在同一个归档libkern.a中，但链接器默认没给出任何提示。这是因为GNU ld处理归档文件的核心逻辑是按需提取目标文件——只有当某个目标文件能解决当前未定义的符号时，才会从归档中取出它。如果你的代码只调用了一次memset，链接器只会找到第一个能提供该符号的目标文件并提取，另一个包含重复定义的目标文件会被直接忽略，自然不会触发冲突提示。

要让链接器检测到这种归档内的重复符号，你可以采用以下两种方法：

1. 强制链接整个归档内容
   使用--whole-archive选项，它会让链接器把归档里的所有目标文件都包含到最终的可执行文件中，而非按需提取。这样两个memset的定义都会被引入，此时GNU ld默认就会对重复的强符号抛出错误（强符号重复属于链接器的默认错误场景）。
   示例链接命令片段：

   ld --whole-archive libkern.a --no-whole-archive ...
   

   注意要在libkern.a后跟上--no-whole-archive，避免影响后续其他归档的正常按需处理。

2. 开启重复符号警告并转为错误
   如果你希望在不强制全量链接的情况下排查归档内的潜在重复，可以使用--warn-common选项，它会对包括强/弱符号在内的重复定义发出警告。如果想直接把警告转为错误，再搭配--fatal-warnings选项：

   ld --warn-common --fatal-warnings ... libkern.a
   

   不过要注意，在仅按需提取归档文件的场景下，--warn-common可能无法检测到未被提取的重复符号——因为那些目标文件根本没被链接器处理。所以最可靠的方式还是结合--whole-archive来强制扫描所有目标文件。

二、链接器对同名符号的选择逻辑 #

当链接器遇到多个同名符号时，会根据符号的强弱属性和扫描顺序来决定最终选用哪个，具体规则如下：

• 强符号：C语言中默认的函数/全局变量定义都是强符号（未加__attribute__((weak))修饰）。
• 弱符号：用__attribute__((weak))声明的函数/变量，或者某些编译器默认标记为弱符号的对象（比如标准库中的部分符号）。

具体选择逻辑：

• 若存在多个强符号：默认GNU ld会直接报错（除非你使用--allow-multiple-definition选项，此时链接器会选择第一个扫描到的强符号，忽略后续的重复定义）。
• 若存在一个强符号 + 多个弱符号：链接器会优先选用强符号，忽略所有弱符号。
• 若只有多个弱符号：链接器会选择第一个扫描到的弱符号。

回到你的场景：两个memset都是强符号，但因为在归档中，链接器只提取了第一个能满足未定义符号的那个，所以没触发错误。一旦用--whole-archive强制包含两个目标文件，就会触发强符号重复的错误。

内容来源于stack exchange