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