链接器怎样使用静态库来解决符号引用

　　链接器在根据命令行中输入的可重定位目标文件和静态库的顺序从左到右的扫描这些文件。在这个扫描中，链接器会维护一个集合E，该集合包含了将来要被合并生产可执行文件的所有可重定位目标文件；维护了一个集合U，包含了未解决的符号（只引用了但还没有定义）；还维护了一个集合D，包含被先前输入文件定义的符号。开始的时候这三个集合都为空。

对于在命令行中的每个输入文件f，链接器都会去判断这个文件是目标文件还是静态库文件。如果是目标文件，链接器将f加入到集合E中，并将f中的已定义的符号和引用的符号分别加入到集合D和U中，并继续处理下一个文件。

如果f是静态库文件，链接器会扫描静态库中的目标文件m，如果m中定义的符号包含在集合U中，那么就将m加入到E中，然后将m中定义的符号和引用的符号加入到集合D和U中。然后继续扫描静态库中的目标文件，直到U和D不再改变为止。

如果链接器完成了命令行中所有输入文件的扫描，并且U为非空的，那么链接器会输出错误然后终止。如果U为空，则合并和重定位E中的目标文件来生成可执行文件。

　　看上面的处理过程其实有一个问题，那就是如果库文件比引用库文件的目标文件先处理，那么最后会导致后面处理的目标文件引用的符号最终无法被解析。如果后面输入的库依赖于前面已经处理的库也会出现同样的问题，所以输入文件的顺序就变得很重要了，一般的规则是库文件放在命令行的最后，引用另一个目标文件f的文件m，m要比f先输入，如果m和f互相依赖，那么只有在f之后再输入一个m文件，库也是同样的处理。