做 Linux 系統(tǒng)開發(fā)這些年我發(fā)現(xiàn)一個(gè)挺有意思的現(xiàn)象很多人寫了三五年業(yè)務(wù)代碼編譯鏈接這塊一直是“黑盒”——gcc main.c -o main一把梭能跑就行。直到某天遇到undefined reference to、cannot open shared object file、或者程序體積莫名其妙膨脹到幾十兆才開始回頭補(bǔ)這一課。動(dòng)靜態(tài)庫的制作與使用恰恰是打通“源碼到可執(zhí)行程序”這條鏈路上最關(guān)鍵的一環(huán)也是理解動(dòng)態(tài)鏈接原理的入口。這篇內(nèi)容我打算把靜態(tài)庫、動(dòng)態(tài)庫從制作到使用的完整流程拆開講透順帶把動(dòng)態(tài)庫加載的底層機(jī)制、符號(hào)解析、版本管理這些容易被跳過的東西補(bǔ)上。適合已經(jīng)會(huì)寫 C 代碼、能看懂基本 Makefile、但對鏈接過程一知半解的同學(xué)也適合想搞清楚“為什么我的程序換個(gè)機(jī)器就跑不起來”的運(yùn)維和嵌入式方向的朋友。全文會(huì)給出可直接復(fù)現(xiàn)的命令和代碼參數(shù)選擇我會(huì)解釋清楚背后的理由踩過的坑也會(huì)一并列出來。1. 先搞清楚靜態(tài)庫和動(dòng)態(tài)庫到底差在哪在動(dòng)手之前得先把這兩個(gè)概念的本質(zhì)區(qū)別說清楚不然后面很多操作你會(huì)覺得“為什么要這么麻煩”。我用一個(gè)生活化的類比靜態(tài)庫像是把工具箱里的每件工具都焊死在你自己的車上車開到哪工具跟到哪別人借不走也改不了動(dòng)態(tài)庫像是公共倉庫你的車只留一個(gè)取貨憑證真正要用的時(shí)候去倉庫拿倉庫更新了工具你的車下次取貨自動(dòng)用上新的。1.1 從鏈接時(shí)機(jī)看本質(zhì)差異靜態(tài)庫.aArchive在鏈接階段就被完整地拷貝進(jìn)最終的可執(zhí)行文件。鏈接器ld會(huì)從歸檔文件里挑出被引用到的目標(biāo)文件.o把它們合并進(jìn)輸出。這意味著程序運(yùn)行時(shí)不依賴外部庫文件但也意味著每個(gè)使用該庫的程序都有一份獨(dú)立副本磁盤和內(nèi)存都有冗余。動(dòng)態(tài)庫.soShared Object在鏈接階段只做符號(hào)引用登記真正的代碼段在程序啟動(dòng)或首次調(diào)用時(shí)才由動(dòng)態(tài)鏈接器加載到內(nèi)存。多個(gè)進(jìn)程可以共享同一份物理內(nèi)存中的庫代碼代碼段只讀天然可共享這也是“共享庫”這個(gè)名字的由來。這里有個(gè)細(xì)節(jié)很多人忽略靜態(tài)庫的鏈接單位是目標(biāo)文件不是函數(shù)。你只調(diào)用了一個(gè)函數(shù)鏈接器會(huì)把包含這個(gè)函數(shù)的整個(gè).o都拉進(jìn)來。所以靜態(tài)庫的“按需鏈接”粒度其實(shí)比較粗這也是為什么有時(shí)候只用一個(gè)函數(shù)程序體積卻漲了不少。1.2 一張表看清選型依據(jù)對比維度靜態(tài)庫.a動(dòng)態(tài)庫.so鏈接時(shí)機(jī)編譯鏈接期完整拷貝運(yùn)行期加載可執(zhí)行文件體積大小運(yùn)行時(shí)依賴無需要庫文件存在內(nèi)存占用每進(jìn)程獨(dú)立代碼段可共享庫更新需重新鏈接程序替換.so即可生效部署便利性單文件即可分發(fā)需保證庫路徑正確啟動(dòng)速度略快無加載開銷略慢需符號(hào)重定位適用場景嵌入式、單文件分發(fā)、對啟動(dòng)敏感通用軟件、多程序共用、需熱更新選型上沒有絕對優(yōu)劣。我個(gè)人的經(jīng)驗(yàn)是面向終端用戶分發(fā)的閉源工具、或者跑在資源受限設(shè)備上的程序靜態(tài)鏈接省心而系統(tǒng)級服務(wù)、多個(gè)程序共用的基礎(chǔ)組件動(dòng)態(tài)庫更合適?；旌鲜褂靡埠艹Ｒ姟诵倪壿嬱o態(tài)鏈接保證穩(wěn)定外圍插件用動(dòng)態(tài)庫實(shí)現(xiàn)擴(kuò)展。1.3 命名規(guī)范不是隨便定的Linux 下庫文件命名有約定俗成的規(guī)則理解它能幫你少走彎路。靜態(tài)庫固定是lib 庫名 .a動(dòng)態(tài)庫是lib 庫名 .so 版本號(hào)。比如庫名叫mymath那文件就是libmymath.a和libmymath.so。鏈接時(shí)用-l參數(shù)只需寫庫名去掉lib前綴和擴(kuò)展名比如-lmymath鏈接器會(huì)自動(dòng)去找libmymath.a或libmymath.so。動(dòng)態(tài)庫的版本號(hào)還有講究通常有三段libmymath.so.1.2.3分別對應(yīng)主版本號(hào)不兼容變更、次版本號(hào)新增接口、修訂號(hào)bug 修復(fù)。實(shí)際部署時(shí)會(huì)有l(wèi)ibmymath.so.1這樣的軟鏈接指向具體版本程序鏈接時(shí)記錄的是SONAME通常是libmymath.so.1這樣小版本升級不影響已有程序。這套機(jī)制后面講動(dòng)態(tài)庫原理時(shí)還會(huì)展開。2. 靜態(tài)庫制作從目標(biāo)文件到歸檔靜態(tài)庫的制作流程其實(shí)很樸素先把源文件編譯成目標(biāo)文件再用歸檔工具打包。但每一步的參數(shù)選擇都有講究我按實(shí)際操作順序走一遍。2.1 編譯目標(biāo)文件的關(guān)鍵參數(shù)假設(shè)我們有一個(gè)簡單的數(shù)學(xué)工具庫包含兩個(gè)源文件add.c和sub.c頭文件mymath.h聲明接口。第一步是編譯成.ogcc -c -fPIC add.c -o add.o gcc -c -fPIC sub.c -o sub.o這里-c表示只編譯不鏈接輸出目標(biāo)文件。-fPIC是生成位置無關(guān)代碼靜態(tài)庫其實(shí)不強(qiáng)制要求但加上它有個(gè)好處同一批.o既能打靜態(tài)庫也能打動(dòng)態(tài)庫省得重復(fù)編譯。PIC 的代價(jià)是少量性能開銷主要是通過 GOT 間接尋址對絕大多數(shù)場景可以忽略。注意如果你的代碼要同時(shí)用于靜態(tài)庫和動(dòng)態(tài)庫務(wù)必統(tǒng)一加-fPIC。我見過有人靜態(tài)庫用非 PIC 編譯后來想復(fù)用這批.o做動(dòng)態(tài)庫結(jié)果鏈接報(bào)relocation R_X86_64_32 against ... can not be used when making a shared object只能全部重編。編譯時(shí)還可以加-O2優(yōu)化、-Wall開警告這些和庫制作不沖突。但有個(gè)坑要提醒不要加-g之外的調(diào)試信息裁剪參數(shù)否則出問題時(shí)沒法定位。生產(chǎn)庫可以strip掉符號(hào)表但那是打包最后一步的事編譯階段保留完整信息更穩(wěn)妥。2.2 用 ar 打包歸檔文件有了.o文件用ar命令打包ar rcs libmymath.a add.o sub.o三個(gè)參數(shù)含義r表示插入或替換成員c表示創(chuàng)建歸檔不存在時(shí)s表示生成索引symbol table。這個(gè)索引很關(guān)鍵鏈接器靠它快速查找符號(hào)在哪個(gè)成員里沒有索引會(huì)退化成線性掃描大庫鏈接會(huì)明顯變慢?，F(xiàn)代ar默認(rèn)可能已經(jīng)生成索引但顯式寫s更保險(xiǎn)。打包完可以用ar t libmymath.a查看成員列表用nm libmymath.a查看符號(hào)表。nm輸出里T表示代碼段定義的全局符號(hào)U表示未定義需要外部提供t是小寫表示局部符號(hào)。檢查符號(hào)表是個(gè)好習(xí)慣能提前發(fā)現(xiàn)“函數(shù)忘了實(shí)現(xiàn)”或者“不小心定義了同名符號(hào)”這類問題。實(shí)操心得如果庫里有多個(gè).o且存在同名符號(hào)ar不會(huì)報(bào)錯(cuò)鏈接時(shí)可能悄悄用錯(cuò)版本。建議打包前用nm -A *.o | grep T 掃一遍確認(rèn)沒有重復(fù)的全局符號(hào)定義。2.3 靜態(tài)庫的目錄組織一個(gè)規(guī)范的庫交付物通常包含三部分頭文件目錄include/、庫文件目錄lib/、可選的文檔。我習(xí)慣這樣組織mymath/ ├── include/ │ └── mymath.h ├── lib/ │ └── libmymath.a └── src/ ├── add.c └── sub.c使用者拿到后編譯時(shí)用-I指定頭文件路徑-L指定庫路徑-l指定庫名gcc main.c -I./mymath/include -L./mymath/lib -lmymath -o main這里有個(gè)順序問題必須強(qiáng)調(diào)-l參數(shù)要放在源文件之后。因?yàn)殒溄悠鲝淖蟮接姨幚磔斎胗龅絤ain.c時(shí)發(fā)現(xiàn)引用了add符號(hào)此時(shí)還沒看到-lmymath符號(hào)未解析等處理到-lmymath時(shí)才會(huì)去庫里找。如果順序反了鏈接器處理庫時(shí)還沒有任何未解析符號(hào)會(huì)直接跳過整個(gè)庫最后報(bào)undefined reference。這個(gè)坑幾乎每個(gè)新手都會(huì)踩一次。3. 動(dòng)態(tài)庫制作PIC、SONAME 與版本管理動(dòng)態(tài)庫的制作比靜態(tài)庫多幾個(gè)環(huán)節(jié)核心是位置無關(guān)代碼、共享鏈接、以及版本號(hào)管理。這幾步做不好后面運(yùn)行時(shí)會(huì)出各種詭異問題。3.1 位置無關(guān)代碼為什么必須加動(dòng)態(tài)庫會(huì)被加載到進(jìn)程地址空間的任意位置具體地址每次運(yùn)行可能不同這是地址空間布局隨機(jī)化的一部分所以庫代碼不能使用絕對地址尋址。-fPIC讓編譯器生成通過全局偏移表GOT和過程鏈接表PLT間接訪問的代碼這樣無論庫被加載到哪代碼都能正確工作。gcc -c -fPIC add.c -o add.o gcc -c -fPIC sub.c -o sub.o如果忘了加-fPIC直接鏈接動(dòng)態(tài)庫在 x86_64 上通常會(huì)報(bào)relocation R_X86_64_32S against ... can not be used when making a shared object; recompile with -fPIC。這個(gè)錯(cuò)誤信息很明確照著做就行。但有些架構(gòu)比如某些 32 位平臺(tái)可能不報(bào)錯(cuò)卻能鏈接成功運(yùn)行時(shí)才崩潰更難排查。所以養(yǎng)成習(xí)慣做動(dòng)態(tài)庫編譯階段就加-fPIC。3.2 鏈接成共享對象把.o鏈接成.sogcc -shared -fPIC add.o sub.o -o libmymath.so.1.0.0-shared告訴鏈接器生成共享對象而非可執(zhí)行文件。這里我直接帶了完整版本號(hào)1.0.0接下來要建立 SONAME 和軟鏈接。3.3 SONAME 與軟鏈接的配合SONAME 是嵌在動(dòng)態(tài)庫內(nèi)部的一個(gè)字段程序鏈接時(shí)會(huì)把 SONAME 記錄到自己的DT_NEEDED條目里運(yùn)行時(shí)動(dòng)態(tài)鏈接器就按這個(gè)名字去找?guī)?。設(shè)置 SONAME 用-Wl,-sonamegcc -shared -fPIC add.o sub.o -Wl,-soname,libmymath.so.1 -o libmymath.so.1.0.0然后建立軟鏈接ln -s libmymath.so.1.0.0 libmymath.so.1 ln -s libmymath.so.1 libmymath.so三個(gè)文件的關(guān)系libmymath.so.1.0.0是真實(shí)文件libmymath.so.1是 SONAME 對應(yīng)的鏈接運(yùn)行時(shí)找這個(gè)libmymath.so是開發(fā)時(shí)鏈接用的-lmymath找這個(gè)。為什么要這么繞因?yàn)槌绦蜻\(yùn)行時(shí)只認(rèn) SONAME只要libmymath.so.1存在且指向正確的實(shí)現(xiàn)小版本升級比如換成1.0.1只需改軟鏈接指向已有程序無需重新編譯。這就是動(dòng)態(tài)庫“熱更新”能力的底層支撐?？梢杂胷eadelf -d libmymath.so.1.0.0 | grep SONAME驗(yàn)證 SONAME 是否設(shè)置成功。如果輸出為空說明沒設(shè)上運(yùn)行時(shí)可能找不到庫。3.4 動(dòng)態(tài)庫的鏈接與運(yùn)行路徑編譯使用動(dòng)態(tài)庫的程序gcc main.c -I./include -L./lib -lmymath -o main鏈接階段沒問題但直接運(yùn)行./main很可能報(bào)error while loading shared libraries: libmymath.so.1: cannot open shared object file。原因是動(dòng)態(tài)鏈接器運(yùn)行時(shí)不知道去哪找這個(gè)庫。解決辦法有幾種把庫裝到系統(tǒng)默認(rèn)路徑如/usr/local/lib然后ldconfig刷新緩存設(shè)置環(huán)境變量LD_LIBRARY_PATH./lib臨時(shí)指定編譯時(shí)加-Wl,-rpath,$ORIGIN/lib把相對路徑寫進(jìn)程序$ORIGIN表示可執(zhí)行文件所在目錄。我一般推薦rpath方案因?yàn)樗岩蕾囮P(guān)系固化在程序里部署時(shí)不用依賴環(huán)境變量也不會(huì)污染系統(tǒng)庫路徑。$ORIGIN用單引號(hào)包住是為了防止 shell 提前展開。驗(yàn)證可以用readelf -d main | grep -i path看 RUNPATH 是否寫入。注意LD_LIBRARY_PATH雖然方便但在生產(chǎn)環(huán)境慎用。它會(huì)改變整個(gè)進(jìn)程的庫搜索順序可能讓程序加載到非預(yù)期的庫版本引發(fā)難以復(fù)現(xiàn)的問題。調(diào)試時(shí)臨時(shí)用可以正式部署優(yōu)先 rpath 或標(biāo)準(zhǔn)路徑安裝。4. 動(dòng)態(tài)庫加載原理從 execve 到符號(hào)重定位這部分是很多人覺得“玄”的地方其實(shí)拆開看邏輯很清晰。我按程序啟動(dòng)的時(shí)間線走一遍把關(guān)鍵環(huán)節(jié)和涉及的數(shù)據(jù)結(jié)構(gòu)點(diǎn)出來。4.1 程序啟動(dòng)時(shí)的加載流程當(dāng)你執(zhí)行./main內(nèi)核的execve系統(tǒng)調(diào)用會(huì)讀取 ELF 文件頭發(fā)現(xiàn)是動(dòng)態(tài)鏈接的可執(zhí)行文件有PT_INTERP段于是先加載動(dòng)態(tài)鏈接器通常是/lib64/ld-linux-x86-64.so.2把控制權(quán)交給它。動(dòng)態(tài)鏈接器接著做幾件事加載可執(zhí)行文件本身、遍歷DT_NEEDED條目加載所有依賴的.so、執(zhí)行重定位、調(diào)用各庫的初始化函數(shù).init/.init_array最后跳轉(zhuǎn)到程序入口。DT_NEEDED里記錄的就是各依賴庫的 SONAME?？梢杂胷eadelf -d main查看輸出里NEEDED行就是。動(dòng)態(tài)鏈接器按一定順序搜索這些庫先看DT_RPATH如果沒被DT_RUNPATH覆蓋再看LD_LIBRARY_PATH再看DT_RUNPATH最后是/etc/ld.so.cache和默認(rèn)路徑。這個(gè)搜索順序理解清楚排查“加載了錯(cuò)誤版本庫”的問題就有方向了。4.2 符號(hào)重定位與 GOT/PLT 機(jī)制動(dòng)態(tài)庫的代碼在編譯時(shí)不知道自己和依賴庫會(huì)被加載到哪個(gè)地址所以對全局符號(hào)的訪問不能寫死地址。解決方案是 GOTGlobal Offset Table和 PLTProcedure Linkage Table。數(shù)據(jù)符號(hào)通過 GOT 訪問代碼里寫的是“從 GOT 第 N 項(xiàng)取地址”GOT 表項(xiàng)在加載時(shí)由動(dòng)態(tài)鏈接器填上真實(shí)地址。函數(shù)調(diào)用通過 PLT第一次調(diào)用某函數(shù)時(shí)PLT 跳轉(zhuǎn)到動(dòng)態(tài)鏈接器的解析例程解析出真實(shí)地址后填入 GOT后續(xù)調(diào)用直接走 GOT。這就是所謂的延遲綁定lazy binding好處是啟動(dòng)快——沒調(diào)用到的函數(shù)不用提前解析。延遲綁定可以用LD_BIND_NOW1環(huán)境變量關(guān)閉或者鏈接時(shí)加-Wl,-z,now強(qiáng)制立即綁定。立即綁定的好處是啟動(dòng)時(shí)就能發(fā)現(xiàn)符號(hào)缺失問題而不是運(yùn)行到一半才崩代價(jià)是啟動(dòng)稍慢。安全敏感的場景比如需要完整 RELRO 保護(hù)通常用立即綁定。4.3 符號(hào)可見性控制默認(rèn)情況下動(dòng)態(tài)庫里的所有全局符號(hào)都對外可見。這帶來兩個(gè)問題一是符號(hào)污染不同庫的同名符號(hào)可能沖突二是性能可見符號(hào)都要經(jīng)過 PLT 間接調(diào)用。解決辦法是用可見性控制// 只導(dǎo)出需要的接口 __attribute__((visibility(default))) int mymath_add(int a, int b); // 內(nèi)部函數(shù)隱藏 __attribute__((visibility(hidden))) static int internal_helper(void);編譯時(shí)加-fvisibilityhidden把所有符號(hào)默認(rèn)設(shè)為隱藏再對需要導(dǎo)出的接口顯式標(biāo)default。這樣導(dǎo)出的符號(hào)表干凈加載更快也不容易和別的庫撞名。可以用nm -D libmymath.so查看動(dòng)態(tài)符號(hào)表確認(rèn)只導(dǎo)出了預(yù)期接口。實(shí)操心得做庫的時(shí)候養(yǎng)成“默認(rèn)隱藏、顯式導(dǎo)出”的習(xí)慣比事后用版本腳本version script收拾爛攤子省事得多。版本腳本雖然強(qiáng)大但維護(hù)成本高小項(xiàng)目沒必要上。5. 完整實(shí)操從零構(gòu)建一個(gè)可復(fù)現(xiàn)的庫項(xiàng)目光說不練假把式這里給一套完整的、可直接復(fù)制運(yùn)行的流程。我用一個(gè)字符串處理庫做例子包含靜態(tài)庫和動(dòng)態(tài)庫兩種產(chǎn)物。5.1 源碼與目錄結(jié)構(gòu)strutil/ ├── include/ │ └── strutil.h ├── src/ │ ├── str_reverse.c │ └── str_count.c └── Makefilestrutil.h#ifndef STRUTIL_H #define STRUTIL_H #ifdef __cplusplus extern C { #endif __attribute__((visibility(default))) void str_reverse(char *s); __attribute__((visibility(default))) int str_count_char(const char *s, char c); #ifdef __cplusplus } #endif #endifstr_reverse.c實(shí)現(xiàn)字符串反轉(zhuǎn)str_count.c實(shí)現(xiàn)字符計(jì)數(shù)都是簡單邏輯重點(diǎn)在構(gòu)建流程。5.2 Makefile 的寫法與參數(shù)解釋CC gcc CFLAGS -Wall -O2 -fPIC -fvisibilityhidden -Iinclude LDFLAGS_SO -shared -Wl,-soname,libstrutil.so.1 SRCS src/str_reverse.c src/str_count.c OBJS $(SRCS:.c.o) all: libstrutil.a libstrutil.so.1.0.0 %.o: %.c $(CC) $(CFLAGS) -c $ -o $ libstrutil.a: $(OBJS) ar rcs $ $^ libstrutil.so.1.0.0: $(OBJS) $(CC) $(LDFLAGS_SO) $^ -o $ ln -sf libstrutil.so.1.0.0 libstrutil.so.1 ln -sf libstrutil.so.1 libstrutil.so clean: rm -f $(OBJS) libstrutil.a libstrutil.so* .PHONY: all clean幾個(gè)關(guān)鍵點(diǎn)-fPIC和-fvisibilityhidden在CFLAGS里統(tǒng)一加靜態(tài)庫動(dòng)態(tài)庫共用同一批.o-Wl,-soname通過-Wl把參數(shù)透傳給鏈接器軟鏈接用ln -sf保證重復(fù)執(zhí)行不報(bào)錯(cuò)。$^是自動(dòng)變量表示所有依賴文件$表示第一個(gè)依賴。5.3 測試程序與驗(yàn)證步驟寫個(gè)測試程序test.c#include stdio.h #include string.h #include strutil.h int main(void) { char buf[] hello; str_reverse(buf); printf(reversed: %s\n, buf); printf(count l: %d\n, str_count_char(hello, l)); return 0; }靜態(tài)鏈接測試make gcc test.c -Iinclude -L. -lstrutil -static -o test_static ./test_static注意-static會(huì)讓整個(gè)程序靜態(tài)鏈接包括 libc體積會(huì)很大。如果只想靜態(tài)鏈接我們的庫而動(dòng)態(tài)鏈接 libc可以顯式指定./libstrutil.a而不是-lstrutil或者用-Wl,-Bstatic -lstrutil -Wl,-Bdynamic切換。動(dòng)態(tài)鏈接測試gcc test.c -Iinclude -L. -lstrutil -Wl,-rpath,$ORIGIN -o test_dynamic ./test_dynamic用ldd test_dynamic查看依賴應(yīng)該能看到libstrutil.so.1 ./libstrutil.so.1。用readelf -d test_dynamic | grep -E NEEDED|RUNPATH確認(rèn) SONAME 和 rpath 都正確寫入。5.4 驗(yàn)證庫的獨(dú)立性與符號(hào)表檢查靜態(tài)庫符號(hào)nm libstrutil.a應(yīng)該看到T str_reverse和T str_count_char以及一些U開頭的 libc 依賴比如strlen。檢查動(dòng)態(tài)庫導(dǎo)出符號(hào)nm -D libstrutil.so.1.0.0因?yàn)榧恿?fvisibilityhidden應(yīng)該只看到我們顯式標(biāo)了default的兩個(gè)函數(shù)加上一些鏈接器自動(dòng)生成的符號(hào)如_init、_fini。如果看到一堆內(nèi)部符號(hào)說明可見性控制沒生效檢查頭文件里的 attribute 是否寫對。6. 常見問題排查與避坑清單這部分是我這些年踩坑攢下來的按問題現(xiàn)象分類方便對照排查。6.1 鏈接期問題速查表現(xiàn)象可能原因解決方向undefined reference to xxx-l順序在源文件前庫沒包含該符號(hào)C/C 混編缺extern C調(diào)整參數(shù)順序nm查符號(hào)補(bǔ)extern Ccannot find -lxxx-L路徑不對庫文件名不符合libxxx.a/.so規(guī)范檢查路徑和文件名relocation R_X86_64_32 ... recompile with -fPIC動(dòng)態(tài)庫的.o沒加-fPIC重新編譯加-fPIC靜態(tài)庫鏈接后體積異常大鏈接了不需要的.o誤用了-static全靜態(tài)檢查是否按需鏈接避免全靜態(tài)同名符號(hào)沖突多個(gè)庫定義了同一全局符號(hào)用visibility隱藏重命名6.2 運(yùn)行期問題排查思路cannot open shared object file是最常見的運(yùn)行期錯(cuò)誤。排查順序先用ldd ./main看哪個(gè)庫沒找到顯示not found然后確認(rèn)庫文件是否在預(yù)期路徑再用LD_DEBUGlibs ./main 21 | head -50看動(dòng)態(tài)鏈接器的搜索過程。LD_DEBUG是個(gè)寶藏工具libs看庫搜索symbols看符號(hào)綁定reloc看重定位排查疑難問題非常有用。另一個(gè)常見問題是“加載了錯(cuò)誤版本的庫”?，F(xiàn)象是程序行為異常但沒報(bào)錯(cuò)。用LD_DEBUGlibs能看到實(shí)際加載的路徑或者程序里調(diào)dladdr打印符號(hào)所在庫。根因通常是LD_LIBRARY_PATH里有舊版本或者系統(tǒng)路徑下有同名庫。這也是我前面強(qiáng)調(diào)慎用LD_LIBRARY_PATH的原因。6.3 幾個(gè)容易忽略的細(xì)節(jié)符號(hào)版本控制大型項(xiàng)目里同一個(gè)庫可能有多個(gè)不兼容版本共存用 version script 給符號(hào)打版本標(biāo)簽程序鏈接時(shí)記錄所需版本運(yùn)行時(shí)精確匹配。這個(gè)機(jī)制 GNU libc 用得很多比如GLIBC_2.2.5自己寫庫一般用不上但遇到version XXX not found的報(bào)錯(cuò)時(shí)要知道是這么回事。構(gòu)造函數(shù)與析構(gòu)函數(shù)動(dòng)態(tài)庫可以用__attribute__((constructor))定義加載時(shí)自動(dòng)執(zhí)行的函數(shù)destructor定義卸載時(shí)執(zhí)行的。注意執(zhí)行順序依賴庫的構(gòu)造函數(shù)先于被依賴庫執(zhí)行析構(gòu)順序相反。如果構(gòu)造函數(shù)里依賴了別的庫的初始化結(jié)果順序搞反會(huì)出問題。靜態(tài)庫的循環(huán)依賴兩個(gè)靜態(tài)庫互相引用時(shí)鏈接順序要重復(fù)寫比如-lA -lB -lA或者用-Wl,--start-group -lA -lB -Wl,--end-group讓鏈接器反復(fù)掃描。動(dòng)態(tài)庫沒這個(gè)問題因?yàn)榉?hào)解析是運(yùn)行期做的。最后分享一個(gè)我常用的調(diào)試組合gcc -Wl,--verbose看鏈接器詳細(xì)過程objdump -d反匯編看實(shí)際生成的代碼readelf -a看 ELF 全貌。這三個(gè)工具配合基本沒有定位不了的鏈接問題。庫這東西做一次完整的、帶版本管理的、靜態(tài)動(dòng)態(tài)雙產(chǎn)物的項(xiàng)目比看十篇教程都管用。