C语言编译、链接
由C语言编写的系统项目,往往按照功能将系统的各个实现模块切分到不到的C源文件中,甚至将相关功能的一组文件收集到同一个文件夹中。要想在C程序编译成最终的一个可执行01文件,就要将这些C文件组合到一起,这个组合的过程叫做链接。
链接的基本元素是符号对接,即在a.c文件中用到了符号name_a。但只是声明了一个name_a的符号,并不给出定义。根据上面对类型关键词的论述,这些符号关联的内存实体还没有被指定。也就是说,如果真正运行a.c生成的01文件,将导致name_a没有有效的内存实体。假如在b.c中定义了符号,也就是b.c申请了内存实体,那么把这块实体的值告诉a.c的过程就叫做链接。
由上论述,所谓链接,就是将各个实体文件基于符号对接。
1. 头文件 导入符号声明,所以要保证只导入一次
声明符号,通常将提供给外部定义的符号收集到一系列的文件中声明。这样当其它文件想使用这些符号时,只要借用宏特性#include就可以自动声明这些符号。
2. 静态链接 直接重定位代码,基于符号表赋值——传值
符号对接,通常用于工程内部的对接。各文件符号将所有文件生成的01累积成一个大的01文件,重名时报告冲突。
3. 动态链接 间接定位代码,基于符号表赋址——跳转
只是为符号的关联值赋给一个跳转表PLT的地址,之后通过动态库控制程序转接到符号对应的内存实体。生成的01执行文件,并不真正包括这些符号的定义实体,通常用于链接外部了程序库。当出现同名符号时,先链接的库覆盖后面的符号。
4. 控制暴露给其它文件的符号
1. static
2. 链接表
gcc -fPIC -shared -Wl,--version-script SYMBOL -o aaa.so;