程序的链接：链接的概述

最新推荐文章于 2020-12-03 16:53:27 发布

Alan8421

最新推荐文章于 2020-12-03 16:53:27 发布

阅读量1.1k

点赞数

分类专栏：转载

原文链接：https://www.jianshu.com/p/b7e44f749211

版权

转载专栏收录该内容

1 篇文章 0 订阅

订阅专栏

可执行文件的生成

我们先通过一个简单C程序，回顾一下可执行文件的生成过程。

可执行文件的生成过程如下图：

如图，可执行文件的生成需要经过预处理、编译、汇编和链接这4个过程。其中：

预处理的工作：

删除 #define 并展开宏定义
处理所有的条件预编译指令，如 "#if"，"#ifdef"，"#endif"等
插入头文件到 "#include" 处，可以递归方式进行处理
删除所有的注释
添加行号和文件名标识，以便编译时编译器产生调试用的行号信息
保留所有 #pragma 编译指令（编译器需要用）
命令示例如下：
gcc -E hello.c -o hello.i

经过预编译处理后，得到的是预处理文件（如，hello.i），它还是一个可读的文本文件，但不包含任何宏定义。

编译的工作

编译过程就是将预处理后得到的预处理文件（如hello.i）进行词法分析、语法分析、语义分析、优化后，生成汇编代码文件。
经过编译后，得到的汇编代码文件（如，hello.S）还是一个可读的文本文件。
命令示例如下：

gcc -S hello.i -o hello.s
gcc -S hello.c -o hello.s

汇编的工作

汇编器将编译得到的汇编代码文件转换成机器指令序列。
汇编的结果是一个可重定位目标文件（如，hello.o）其中包含的是不可读的二进制代码。
命令示例如下：

gcc -c hello.s -o hello.o
gcc -c hello.c -o hello.o
as hello.s -o hello.o

链接的工作

链接过程将多个可重定位目标文件合并以生成可执行目标文件。
命令示例如下：

gcc -static -o myproc main.o test.o
ld -static -o myproc main.o test.o

链接的好处

学习链接之前，可能会有疑问，链接有什么好处？
其实链接的概念可以追溯到最早程序员用机器语言编写程序的时期。
来看下图，假设穿孔表示0，未穿孔为1，且 0010代表跳转jmp

如果要在第5条指令前加入指令，则程序员就得重新计算jmp指令的目标地址（重定位），然后重新打孔。由此可以看到，这样很繁琐。
后来汇编语言的出现后，程序员用助记符表示操作码，用符号表示位置，用助记符表示寄存器，如下图：

如图，可见，如果jmp L0 和 sub C之间加入了新的指令，则只要重新确定sub C指令的地址，再填入L0即可。而这个重定位的工作就是在链接的过程中完成的。

此外，链接还有如下好处：

模块化

一个程序可以分成很多源程序文件；
可构建公共函数库，如数学库，标准C库等。以便代码重用，提高开发效率。

效率高

时间上，可分开编译：只需要重新编译修改的源程序文件，然后重新链接；
空间上，无需包含共享库所有代码：源文件中无需包含共享库函数的源码，只要直接调用即可（如，只要直接调用printf() 函数，无需包含其源码），另外，可执行文件和运行时的内存中只需包含所调用函数的代码，而不需要包含整个共享库。

链接的步骤

再来看个C程序的例子：

通过命令生成可执行程序：

gcc -O2 -g -o p main.c swap.c

其生成过程如下图：

其中，链接的步骤如下

Step-1：符号解析

程序中有定义和引用的符号（包括变量和函数等）
void swap() {...}  /* 定义符号swap */
swap();              /* 引用符号swap */
int *xp = &x;        /* 定义符号xp，引用符号x */
编译器将定义的符号存放在符号表中。
符号解析就是将符号的引用和符号的定义建立关联