Linux 20.04平台GNU ld 2.34是否保留命令行目标文件输入顺序

核心逻辑说明 #

针对你提到的ld -o output input1.o input2.o input3.o场景，不能简单用“是”或“否”回答，需要拆分两个层面的判断：

• 同类型段的内部排布顺序，默认会严格保留命令行输入的目标文件先后顺序：比如三个目标文件各自携带的.text代码段，合并为输出文件的整体.text段时，会先放入input1.o的.text内容，再依次放入input2.o、input3.o的对应代码内容。这种顺序在无特殊配置下严格生效，不会出现随机重排。
• 跨类型段的整体排布，不会按单个目标文件的整包内容顺序排列：链接器会优先把所有目标文件中相同属性的段聚合为同一个输出段，不会把input1.o的所有代码、数据全部放完，再开始放input2.o的整包内容。举个实际排布例子：最终程序的地址空间一般是，所有三个目标文件的代码凑成完整的.text段（位于低地址加载区），之后所有三个目标文件的已初始化数据凑成完整的.data段，再之后是所有未初始化数据组成的.bss段。不存在单个目标文件跨段占据连续整片地址的情况。

可能打破输入顺序排布的常见场景 #

在默认配置的基础上，以下操作会导致最终输出的段顺序不再严格匹配命令行输入顺序：

• 自定义链接脚本干预：如果通过-T参数指定了自定义链接脚本，脚本中对段位置、特殊符号地址的定义会拥有最高优先级，完全覆盖默认的顺序排布规则。哪怕是ld内置的默认链接脚本，本身也固定了不同类型段的全局优先级（比如.text永远排在.data前面），不受输入文件顺序影响。
• 特殊段属性触发调整：如果某个输入目标文件的段携带了特殊标记（比如远高于其他段的对齐要求、SHF_LINK_ORDER链接顺序标记、SHF_ORDERED绝对排序标记），链接器会优先满足段的属性要求调整位置，不会死板按照输入顺序排布。
• 无用段裁剪：如果开启了--gc-sections参数，链接器会先剔除所有没有被引用的段，仅对剩余有效段按输入顺序排布，被裁剪的内容不会在输出产物中占位。
• 重复段去重：如果多个输入目标文件存在同名的同属性段，链接器会按照规则仅保留其中一份，其余重复内容被丢弃，自然也不会按原顺序在输出中占位。

针对具体疑问的明确回应 #

在Linux 20.04默认的ld 2.34版本环境下，只要没有上述特殊配置：

1. 最终程序加载后，代码段内部的顺序确实是按input1.o、input2.o、input3.o的先后排布的，input1.o的代码会位于整个代码区域的最低地址，后续依次排列input2.o、input3.o的代码内容。
2. 但这种顺序仅在相同类型的段内生效，不会出现input1.o的全部内容（代码+数据）占据低地址区，再轮到input2.o内容的跨段连续排布。

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