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

一、什么是静态库
将多个普通目标文件打包成为一个单独的文件，称为静态库。
静态库是为了解决以下问题而出现的：
（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中有没有它定义的符号。