静态库的符号解析和重定义处理策略

一、什么是静态库
将多个普通目标文件打包成为一个单独的文件，称为静态库。
静态库是为了解决以下问题而出现的：
（1）C用户需要使用大量的C函数库
把所有的代码放在一个.c文件中，然后产品代码一起编译链接，虽然可以解决这个问题，但是不满足（2）
（2）这些C函数需要单独链接进程序，以减少空间浪费
把每个函数作为一个.c文件，分别编译然后一起链接，虽然可以解决这个问题，但不能满足（3）
（3）这些C函数需要作为一个整体成为链接器的参数，以减少C用户的开发难度
整个静态库作为链接器的一个参数，但是只会把其中被引用的模块链接进来。

二、静态库的符号解析
对于广大的码农来说，可能写成伪代码形式更容易理解吧。

目标文件集合 E;
符号集合 Undef, Defined;
object symbolResolutionBeteenObject
{   
    makeAllSetsEmpty();
    while(read(inputObject) != EOF)
        analyse(inputObject);
    if(U.isEmpty() == true)