靜態庫的鏈接基本上同鏈接目標文件.obj/.o相同，但也有些不同的地方。本文簡要描述linux下靜態庫在鏈接過程中的一些細節。
靜態庫文件格式
靜態庫遠遠不同于動態庫，不涉及到符號重定位之類的問題。靜態庫本質上只是將一堆目標文件進行打包而已。靜態庫沒有標準，不同的linux下都會有些細微的差別。大致的格式wiki上描述的較清楚：
Global header
----------------- +-------------------------------
File header 1 ---> | File name
File content 1 | | File modification timestamp
----------------- | Owner ID
File header 2 | Group ID
File content 2 | File mode
----------------- | File size in bytes
... | File magic
+-------------------------------
File header很多字段都是以ASCII碼表示，所以可以用文本編輯器打開。
靜態庫本質上就是使用ar命令打包一堆.o文件。我們甚至可以用ar隨意打包一些文件：
$ echo 'hello' > a.txt && echo 'world' > b.txt
$ ar -r test.a a.txt b.txt
$ cat test.a
!<arch>
a.txt/ 1410628755 60833 100 100644 6 `
hello
b.txt/ 1410628755 60833 100 100644 6 `
world
鏈接過程
鏈接器在鏈接靜態庫時，同鏈接一般的.o基本相似。鏈接過程大致可以歸納下圖：
總結為：
-
所有傳入鏈接器的
.o都會被鏈接進最終的可執行程序；鏈接.o時，會將.o中的global symbol和unresolved symbol放入一個臨時表
- 如果多個
.o定義了相同的global symbol，那么就會得到多重定義的鏈接錯誤
- 如果鏈接結束了，
unresolved symbol表不為空，那么就會得到符號未定義的鏈接錯誤
-
.a靜態庫處理本質上就是處理其中的每一個.o，不同的是，如果某個.o中沒有一個符號屬于unresolved symbol表，也就是鏈接器此時懷疑該.o沒有必要，那么其就會被忽略
可以通過一些代碼來展示以上過程。在開發C++程序時，可以利用文件靜態變量會先于main之前執行做一些可能利于程序結構的事情。如果某個.o（包含靜態庫中打包的.o）被鏈接進程序，那么其文件靜態變量就會先于main初始化。
// test.cpp
#include <stdio.h>
class Test {
public:
Test() {
printf("Test ctor\n");
}
};
static Test s_test;
// lib.cpp
#include <stdio.h>
class Lib {
public:
Lib() {
printf("Lib ctor\n");
}
};
static Lib s_lib;
// main.cpp
#include <stdio.h>
int main() {
printf("main\n");
return 0;
}
以上代碼main.cpp中未引用任何test.cpp``lib.cpp中的符號：
$ g++ -o test test.o lib.o main.o
$ ./test
Lib ctor
Test ctor
main
生成的可執行程序執行如預期，其鏈接了test.o``lib.o。但是如果把lib.o以靜態庫的形式進行鏈接，情況就不一樣了：為了做對比，基于以上的代碼再加一個文件，及修改main.cpp：
// libfn.cpp
int sum(int a, int b) {
return a + b;
}
// main.cpp
#include <stdio.h>
int main() {
printf("main\n");
extern int sum(int, int);
printf("sum: %d\n", sum(2, 3));
return 0;
}
將libfn.o和lib.o創建為靜態庫：
$ ar -r libfn.a libfn.o lib.o
$ g++ -o test main.o test.o -lfn -L.
$ ./test
Test ctor
main
sum: 5
因為lib.o沒有被鏈接，導致其文件靜態變量也未得到初始化。
調整鏈接順序，可以進一步檢驗前面的鏈接過程：
# 將libfn.a的鏈接放在main.o前面
$ g++ -o test test.o -lfn main.o -L.
main.o: In function `main':
main.cpp:(.text+0x19): undefined reference to `sum(int, int)'
collect2: ld returned 1 exit status
這個問題遇到得比較多，也有點讓人覺得莫名其妙。其原因就在于鏈接器在鏈接libfn.a的時候，發現libfn.o依然沒有被之前鏈接的*.o引用到，也就是沒有任何符號在unresolved symbol table中，所以libfn.o也被忽略。
一些實踐
在實際開發中還會遇到一些靜態庫相關的問題。
鏈接順序問題
前面的例子已經展示了這個問題。調整庫的鏈接順序可以解決大部分問題，但當靜態庫之間存在環形依賴時，則無法通過調整順序來解決。
-whole-archive
-whole-archive選項告訴鏈接器把靜態庫中的所有.o都進行鏈接，針對以上例子：
$ g++ -o test -L. test.o -Wl,--whole-archive -lfn main.o -Wl,--no-whole-archive
$ ./test
Lib ctor
Test ctor
main
sum: 5
連lib.o也被鏈接了進來。-Wl選項告訴gcc將其作為鏈接器參數傳入；之所以在命令行結尾加上--no-whole-archive是為了告訴編譯器不要鏈接gcc默認的庫
可以看出這個方法還是有點暴力了。
–start-group
格式為：
--start-group archives --end-group
位于--start-group --end-group中的所有靜態庫將被反復搜索，而不是默認的只搜索一次，直到不再有新的unresolved symbol產生為止。也就是說，出現在這里的.o如果發現有unresolved symbol，則可能回到之前的靜態庫中繼續搜索。
$ g++ -o test -L. test.o -Wl,--start-group -lfn main.o -Wl,--end-group
$ ./test
Test ctor
main
sum: 5
查看ldd關于該參數的man page還可以一窺鏈接過程的細節：
The specified archives are searched repeatedly until no new undefined references are created. Normally, an archive is searched only once in the order that it is specified on the command line. If a symbol in that archive is needed to resolve an undefined symbol referred to by an object in an archive that appears later on the command line, the linker would not be able to resolve that reference. By grouping the archives, they all be searched repeatedly until all possible references are resolved.
嵌套靜態庫
由于ar創建靜態庫時本質上只是對文件進行打包，所以甚至可以創建一個嵌套的靜態庫，從而測試鏈接器是否會遞歸處理靜態庫中的.o：
$ ar -r libfn.a libfn.o
$ ar -r liboutfn.a libfn.a lib.o
$ g++ -o test -L. test.o main.o -loutfn
main.o: In function `main':
main.cpp:(.text+0x19): undefined reference to `sum(int, int)'
collect2: ld returned 1 exit status
可見鏈接器并不會遞歸處理靜態庫中的文件
之所以要提到嵌套靜態庫這個問題，是因為我發現很多時候我們喜歡為一個靜態庫工程鏈接其他靜態庫。當然，這里的鏈接并非真正的鏈接（僅是打包），這個過程當然可以聰明到將其他靜態庫里的.o提取出來然后打包到新的靜態庫。
如果我們使用的是類似scons這種封裝更高的依賴項管理工具，那么它是否會這樣干呢？
基于之前的例子，我們使用scons來創建liboutfn.a：
# Sconstruct
StaticLibrary('liboutfn.a', ['libfn.a', 'lib.o'])
使用文本編輯器打開liboutfn.a就可以看到其內容，或者使用：
$ ar -tv liboutfn.a
rw-r--r-- 60833/100 1474 Sep 14 02:59 2014 libfn.a
rw-r--r-- 60833/100 2448 Sep 14 02:16 2014 lib.o
可見scons也只是單純地打包。所以，在scons中構建一個靜態庫時，再鏈接其他靜態庫是沒有意義的
參考文檔