链接

参考：深入理解计算机原理

链接器使得分离编译（separate compilation）成为可能。

静态链接器以一组可重定位目标文件和命令行参数作为输入，生成一个完全链接的可以加载和运行的可执行目标文件作为输出。输入的可重定位目标文件由各种不同的代码和数据节（section）组成。指令在一个节中，初始化的全局变量在另一个节中，而未初始化的变量又在另外一个节中（字节块的集合）。

链接器需要完成符号解析（symbol resolution）和重定位（relocation）两个任务。

ELF（Executable and Linkable Format）

 

参考：

可重定位目标文件 (ELF) 的格式

elf 文件格式 - 可重定位目标文件

可执行目标文件和可重定位目标文件的3个区别

程序的链接过程

静态链接和动态链接以及静态库和动态库