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

一、什么是静态库

将多个普通目标文件打包成为一个单独的文件，称为静态库。

静态库是为了解决以下问题而出现的：

（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)
        return mergeAndRelocation(E);
    throw(ld_error);
}
void analyse(object inputObject)
{
    if(inputObject.type == normal)
        analyseNormalObject(inputObject);
    else if(inputObject.type == lib)
        analyseLib(inputObject);
}
void analyseNormalObject(object f)
{
    E.insert(f);
    mergeSymbols(Undef, Defined, f);
}
void analyseLib(object A)
{
    do{
        tempU = Undef; tempD = Defined; 
        while(f = traverseEveryObject(A) && f != NULL)
        {
            if(f定义了Undef中的符号)
                analyseNormalObject(f);
        }
    }while(Undef != tempU || Defined != tempD)
}

三、上面算法未提到的过程

（1）mergeAndRelocation(E)

集合E中的文件最终会经过合并和重定位而形成可执行文件。

合并过程由于涉及到目标文件格式，不在这里展开。

重定位过程也不在本文中展开

（2）mergeSymbols(Undef, Defined, f)

修改Undef和Defined来反映f中的符号定义和引用

具体过程涉及到目标文件格式，不在这里展开

四、重定义处理策略

静态库不会与其它目标对象出现重定义的问题。

因为当静态库只关心Undef中有没有它定义的符号，而不关心Defined中有没有它定义的符号。