1. 理解ld命令的本质
在Linux开发环境中，ld命令就像一位经验丰富的建筑监理，负责把各种建筑材料（目标文件）按照设计图纸（链接脚本）组装成完整的建筑（可执行程序）。这个看似简单的过程实际上包含了复杂的底层机制。
ld是GNU Binutils工具集的重要组成部分，全称为GNU linker。它的核心功能是将编译器生成的目标文件（.o文件）和库文件（.a/.so文件）连接起来，解决符号引用关系，最终生成可执行文件或共享库。不同于高级语言中的"链接"概念，ld工作在二进制层面，直接操作ELF（Executable and Linkable Format）文件格式。
注意：虽然现代开发中我们更多使用gcc/clang等编译器驱动程序来间接调用ld，但理解ld的直接使用方式对处理复杂链接问题至关重要。
2. ld命令的核心工作流程解析
2.1 符号解析与重定位
当ld处理多个目标文件时，它首先会建立一个全局符号表。这个过程就像拼图游戏：
- 每个目标文件提供两类拼图块：定义符号（DEF）和未定义符号（UNDEF）
- ld需要确保每个UNDEF都能找到对应的DEF
- 常见的符号冲突包括：
- 重复定义（multiple definition）
- 未定义引用（undefined reference）
典型的符号解析错误示例：
bash复制$ ld -o demo main.o utils.o
utils.o: In function `log_error':
utils.c:(.text+0x15): undefined reference to `timestamp'
2.2 地址空间分配
ld采用两步走策略分配内存地址：
- 空间预留：计算每个section的大小和内存对齐要求
- 地址分配：根据链接脚本确定各section的最终加载地址
32位和64位系统的地址分配差异：
| 特性 | 32位系统 | 64位系统 |
|---|---|---|
| 默认代码段地址 | 0x08048000 | 0x400000 |