一、什麼是靜態庫
將多個普通目標檔案打包成為一個單獨的檔案，稱為靜態庫。
靜態庫是為了解決以下問題而出現的：
（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中有沒有它定義的符號。