那怎么办呢?这个工作只能由链接器来完成了。
  为了能让链接器知道哪些地方的地址没有填好(也是还????),那么目标文件中要有一个表来告诉链接器,这个表是“未解决符号表”,也是unresolved symbol table。同样,提供n的目标文件也要提供一个“导出符号表”也是exprot symbol table,来告诉链接器自己可以提供哪些地址。
  好,到这里我们已经知道,一个目标文件不仅要提供数据和二进制代码外,还至少要提供两个表:未解决符号表和导出符号表,来告诉链接器自己需要什么和自己能提供些什么。那么这两个表是怎么建立对应关系的呢?这里有一个新的概念:符号。在C/C++中,每一个变量及函数都会有自己的符号,如变量n的符号是n,函数的符号会更加复杂,假设FunA的符号是_FunA(根据编译器不同而不同)。
  所以,
  A.obj的导出符号表为
  符号    地址
  n       0x0000
  _FunA   0x0004
  未解决符号为空(因为他没有引用别的编译单元里的东西)。
  B.obj的导出符号表为
  符号    地址
  _FunB   0x0000
  未解决符号表为
  符号    地址
  n       0x0001
  这个表告诉链接器,在本编译单元0x0001位置有一个地址,该地址不明,但符号是n。
  在链接的时候,链接在B.obj中发现了未解决符号,会在所有的编译单元中的导出符号表去查找与这个未解决符号相匹配的符号名,如果找到,把这个符号的地址填到B.obj的未解决符号的地址处。如果没有找到,会报链接错误。在此例中,在A.obj中会找到符号n,会把n的地址填到B.obj的0x0001处。
  但是,这里还会有一个问题,如果是这样的话,B.obj的函数FunB的内容会变成inc DWORD PTR[0x000](因为n在A.obj中的地址是0x0000),由于每个编译单元的地址都是从0x0000开始,那么终多个目标文件链接时会导致地址重复。所以链接器在链接时会对每个目标文件的地址进行调整。在这个例子中,假如B.obj的0x0000被定位到可执行文件的0x00001000上,而A.obj的0x0000被定位到可执行文件的0x00002000上,那么实现上对链接器来说,A.obj的导出符号地地址都会加上0x00002000,B.obj所有的符号地址也会加上0x00001000。这样可以保证地址不会重复。
  既然n的地址会加上0x00002000,那么FunA中的inc DWORD PTR[0x0000]是错误的,所以目标文件还要提供一个表,叫地址重定向表,address redirect table。
  总结一下:
  目标文件至少要提供三个表:未解决符号表,导出符号表和地址重定向表。
  未解决符号表:列出了本单元里有引用但是不在本单元定义的符号及其出现的地址。
  导出符号表:提供了本编译单元具有定义,并且可以提供给其他编译单元使用的符号及其在本单元中的地址。
  地址重定向表:提供了本编译单元所有对自身地址的引用记录。
  链接器的工作顺序:
  当链接器进行链接的时候,首先决定各个目标文件在终可执行文件里的位置。然后访问所有目标文件的地址重定义表,对其中记录的地址进行重定向(加上一个偏移量,即该编译单元在可执行文件上的起始地址)。然后遍历所有目标文件的未解决符号表,并且在所有的导出符号表里查找匹配的符号,并在未解决符号表中所记录的位置上填写实现地址。后把所有的目标文件的内容写在各自的位置上,再作一些另的工作,生成一个可执行文件。
  说明:实现链接的时候会更加复杂,一般实现的目标文件都会把数据,代码分成好向个区,重定向按区进行,但原理都是一样的。
  明白了编译器与链接器的工作原理后,对于一些链接错误容易解决了。
  下面再看一看C/C++中提供的一些特性:
  extern:这是告诉编译器,这个变量或函数在别的编译单元里定义了,也是要把这个符号放到未解决符号表里面去(外部链接)。
  static:如果该关键字位于全局函数或者变量的声明前面,表明该编译单元不导出这个函数或变量,因些这个符号不能在别的编译单元中使用(内部链接)。如果是static局部变量,则该变量的存储方式和全局变量一样,但是仍然不导出符号。
  默认链接属性:对于函数和变量,默认链接是外部链接,对于const变量,默认内部链接。
  外部链接的利弊:外部链接的符号在整个程序范围内都是可以使用的,这要求其他编译单元不能导出相同的符号(不然会报duplicated external symbols)。
  内部链接的利弊:内部链接的符号不能在别的编译单元中使用。但不同的编译单元可以拥有同样的名称的符号。
  为什么头文件里一般只可以有声明不能有定义:头文件可以被多个编译单元包含,如果头文件里面有定义的话,那么每个包含这头文件的编译单元都会对同一个符号进行定义,如果该符号为外部链接,则会导致duplicated external symbols链接错误。
  为什么公共使用的内联函数要定义于头文件里:因为编译时编译单元之间互不知道,如果内联被定义于.cpp文件中,编译其他使用该函数的编译单元的时候没有办法找到函数的定义,因些无法对函数进行展开。所以如果内联函数定义于.cpp里,那么只有这个.cpp文件能使用它。