程序员的自我修养（三）

第三章（续）

链接过程中最主要的有两种符号：

（1）定义在本目标文件的全局符号，可以被其他目标文件引用。

（2）在本目标文件中引用的全局符号，却没有定义在本目标文件，这一般叫做外部符号。

特殊符号

（1）_excecutable_start，程序的起始地址，注意不是入口地址，是程序最开始的地址；

（2）_etext，该符号位为代码段的结束地址；

（3）_edata,该符号位数据段结束地址；

（4）_end,该符号位程序结束地址。

以上地址都位程序被装载的虚拟地址。

函数签名：包含了一个函数的信息，包括函数名、它的参数类型、它所在的类和名称空间及其他信息 。

extern “C”

C++为了与C兼容，C++用来声名或定义一个C的符号的 extern  “C”

在extern “C” 的括号下，C++的名称修饰机制将不会起作用； 

弱符号和强符号

编译器默认函数和初始化了的全局变量为强符号，未初始化的全局变量为弱符号。

我们可以通过GCC的“_attribute_((weak))”来定义任何一个强符号位弱符号。

规则：

（1）不允许强符号被多次定义（即不同的目标文件中不能有同名的强符号），如果有多个强符号定义，则链接器报符号重复定义错误。

（2）如果一个符号在某个目标文件中是强符号，在其他文件中都是弱符号，那么选择强符号。

（3）如果一个符号在所有的目标文件中都是弱符号，那么选择其中占用空间最大的一个。

弱引用与强引用

目前我们所看到的对外部目标文件的符号引用在目标文件被最终链接成可执行文件时，它们须要被正确决议，如果没有找到该符号的定义，链接器就会

报符号未定义错误，这种被称为强引用。与之对应的是弱引用，在处理弱引用的时候，如果该符号有定义，则链接器将该符号的引用决议；如果该符号

未被定义，则链接器对于该引用不报错。

在GCC中，我们可以通过使用“__attributre__ ((weakref))”这个扩展关键字来声名对一个外部函数的引用为弱引用。

这些弱符号和弱引用对于库来说十分有用，比如库中定义的弱符号可以被用户强符号所覆盖，从而使得程序可以使用自定义版本的库函数；或者程序可以

对某些扩展功能模块的引用位弱引用，当我们将扩展模块与程序链接在一起时，功能模块就可以正常使用；如果去掉某些功能模块，那么程序也可以正确链接，

只是缺少了相应的功能，这使得程序的功能更加容易裁剪和组合。