符号表

链接器基本概念我们知道所有的应用程序否是连接器将所需要的一个个简单的目标文件汇集起来形成的。

比如我们在

中实现了一种特定的链表数据结构其他模块需要使用这种链表这就是模块直接的依赖。

确保目标文件能找到符号定义

确保提供链接器进行链接的目标文件集合之间依赖是成立的也就是说不会出现在被依赖的模块中链接器找不到需要依赖的接口。

链接器会首先将程序每个模块当中目标文件集合链接成库然后在将各个库进行链接最终形成可执行程序。

重定位

符号决议和生成可执行文件之后链接器需要对可执行文件进行重定位。

C源文件都有些什么

全局变量只要程序没结束运行全局变量都可以随时使用。

注意静态的全局变量生命周期也等于程序的运行周期只是这种全局变量只能在所

被定义的文件当中使用对其它文件不可见。

局部变量局部变量的生命周期和全局变量的生命周期不同局部变量只能在相应的函数内部使用当函数调用完毕后局部变量也不能使用

int

fn_a(x_local,x_global_init);y_local_uninit

fn_a(x_local,y_local_init);y_local_uninit

(y_global_uninit

转换成机器可以执行的机器指令源文件编译后形成对应的目标文件本质上可以分成两部分

代码部分计算机可以执行的机器指令也就是源文件中定义的所有函数比如上图中fn_a()

fn_b()

等数据部分源文件中定义的全局变量如果是已经初始化后的全局变量该全局变量的值也存在于数据部分。

符号表

编译器在编译过程中遇到外部定义的全局变量或函数时只要能在当前文件中找到其声明即可编译器就会认为是正确的。

链接器链接器的一项重要任务就是要确定所使用的变量要有其唯一的定义。

虽然这项工作留给了链接器但是为了让链接器工作的轻松一点编译器还是多做了一点工作这部分工作就是

符号表Symbol

该目标文件中引用的全局变量以及函数该目标文件中定义的全局变量以及函数

标题2所知编译器在编译过程中每次遇到一个全局变量或者函数名都会在符号表中添加一项最终编译器会统计出如下所示的一张读好表

2.1.

一个是当前目标文件可以提供给其他目标文件使用的符号。

另一个是其他目标文件需要提供给当前目标文件使用的符号。

2.3.

如下图所示假设链接器需要链接下面三个文件。

链接器会一次扫描每一个给定的目标文件同时链接器还维护了两个集合一个是已定义符号集合D另一个是未定义的集合U下面是链接器进程符号决议的过程

对于当前目标文件查找其符号表并将已定义的符号并添加到已定义符号集合D中。

对于当前目标文件查找其符号表将每一个当前目标文件引用的符号与已定义符号集合D进行对比如果该符号不在集合D中则将其添加到未定义符号集合U中。

当所有文件都扫描完成如果未定义符号集合U不为空则说明当前输入的目标文件中有未定义符号错误链接器就会报错整个编译过程就会终止。

实例说明

函数符号首先会在当前文件中查找定义结果当前文件不存在add()

函数定义然后在集合D中查找是否有定义结果找到了符号的定义当完成

main.o

中的符号表得到的信息)所以链接器开始寻址这个add()符号到底是在哪里定义的。

链接器先去目标文件

main.o

符号的定义。

转而链接器去其他目标文件符号表中查找通用没有找到add()

函数符号的定义链接器在查找了所有目标文件的符号表后都没找到add()

函数符号因此链接器停止工作并报出

所以根据前面几节的介绍讲解你已经很清楚的知道链接器符号决议整个过程当出现

main.cpp

add函数的定义是否存在问题如果是C和C的混合编程确保相应的位置添加

extern