內(nèi)聯(lián)：inline、always_inline與noinline的區(qū)別與實(shí)戰(zhàn))
inline、__always_inline、noinline 這三個(gè)關(guān)鍵詞寫了幾年代碼的人都見過但能說清楚它們之間差別的真不多。我最早是在 C 語言頭文件里被 static inline 的鏈接錯(cuò)誤折騰過后來做性能優(yōu)化時(shí)又跟__attribute__((always_inline))和noinline死磕了很久。這篇文章不打算搞成手冊(cè)式羅列而是想從編譯器到底怎么看待內(nèi)聯(lián)這件事講起把這三個(gè)關(guān)鍵字的使用場(chǎng)景、實(shí)際效果和踩坑點(diǎn)一次說透。無論你是在寫嵌入式、C 服務(wù)端還是做 Unity 熱更新、Swift 性能調(diào)優(yōu)只要能理解內(nèi)聯(lián)優(yōu)化背后的決策邏輯就能少走很多彎路。1. 函數(shù)內(nèi)聯(lián)優(yōu)化到底在優(yōu)化什么1.1 一次普通函數(shù)調(diào)用的隱藏開銷很多人覺得函數(shù)調(diào)用不就一條 call 指令一條 ret 指令嗎能浪費(fèi)多少時(shí)間其實(shí)函數(shù)調(diào)用帶來的開銷遠(yuǎn)不止指令數(shù)這么簡(jiǎn)單。一次完整的函數(shù)調(diào)用通常包含這些動(dòng)作參數(shù)壓?；蚍湃爰拇嫫?、跳轉(zhuǎn)到目標(biāo)地址、建立棧幀保存 rbp、更新 rsp、保存調(diào)用者保存寄存器、執(zhí)行函數(shù)體、恢復(fù)寄存器、彈出棧幀、返回主調(diào)函數(shù)。聽起來還行但放到 CPU 層面問題就大了?，F(xiàn)代 CPU 有很深的水線也有分支預(yù)測(cè)和返回地址預(yù)測(cè)。一個(gè) call 指令等于告訴處理器接下來要跳到另一個(gè)地方執(zhí)行流水線里已經(jīng)預(yù)取的后續(xù)指令全部作廢ret 指令又是一次跳轉(zhuǎn)返回地址棧雖然能幫上忙但跳轉(zhuǎn)懲罰依然存在。我用一個(gè)生活化的例子類比你在工位上寫得正順手突然有人喊你開會(huì)你收拾紙筆走到會(huì)議室討論完再走回來屁股剛坐下又要收拾紙筆繼續(xù)寫。這個(gè)走過去 開會(huì) 走回來的過程就是函數(shù)調(diào)用的固定開銷。如果會(huì)議內(nèi)容只有一句話那來回折騰的成本比開會(huì)本身還高。函數(shù)內(nèi)聯(lián)做的就是把會(huì)議室里要講的內(nèi)容直接搬到你工位邊你坐在原地聽就行。對(duì)于小函數(shù)調(diào)用開銷可能比函數(shù)體執(zhí)行時(shí)間還大。比如一個(gè)簡(jiǎn)單的加法函數(shù)int add(int a, int b) { return a b; }編譯成匯編后函數(shù)體可能就是一條add指令但為了執(zhí)行這條指令需要參數(shù)傳遞、call、ret、棧幀管理這些附加邏輯可能占掉總執(zhí)行時(shí)間的一半以上。在極端熱路徑比如循環(huán)里調(diào)用上億次中這種固定開銷就會(huì)被明顯放大。1.2 內(nèi)聯(lián)優(yōu)化不是一個(gè)開關(guān)而是一套成本評(píng)估策略內(nèi)聯(lián)優(yōu)化在 LLVM 里屬于 interprocedural 優(yōu)化跨過程優(yōu)化它有一套完整的成本模型。編譯器的思路很簡(jiǎn)單把被調(diào)函數(shù)體復(fù)制到調(diào)用點(diǎn)然后刪除 call/ret 和參數(shù)傳遞邏輯同時(shí)為后續(xù)其他優(yōu)化打開大門——因?yàn)楹瘮?shù)調(diào)用邊界消除后編譯器可以在同一個(gè)上下文中看到原來的參數(shù)成了常量、中間結(jié)果不會(huì)逃生到內(nèi)存、更多表達(dá)式可以折疊。但這個(gè)決策不是無條件的。函數(shù)體越大復(fù)制到每個(gè)調(diào)用點(diǎn)的代碼越多二進(jìn)制體積膨脹越嚴(yán)重調(diào)用點(diǎn)越多膨脹越明顯。所以每家大編譯器都會(huì)為內(nèi)聯(lián)設(shè)置閾值比如函數(shù)體超過多少條 IR 指令就不內(nèi)聯(lián)、調(diào)用點(diǎn)上節(jié)省的開銷能不能抵消體積增長(zhǎng)等。GCC 有max-inline-insns-single、inline-unit-growth等參數(shù)Clang/LLVM 內(nèi)部也有類似的內(nèi)聯(lián)成本評(píng)估邏輯。-O2和-O3的區(qū)別之一就是對(duì)內(nèi)聯(lián)激進(jìn)程度的取舍。這也解釋了為什么加不加 inline 關(guān)鍵字編譯器根本不 care。大部分情況下inline關(guān)鍵字在優(yōu)化器眼里只是一個(gè)提示優(yōu)化器會(huì)按自己的成本模型來判斷最終可能內(nèi)聯(lián)也可能不內(nèi)聯(lián)。真正決定內(nèi)聯(lián)與否的是優(yōu)化等級(jí)、函數(shù)體大小、調(diào)用點(diǎn)數(shù)量、調(diào)用頻率以及函數(shù)本身是否適合內(nèi)聯(lián)比如遞歸函數(shù)、setjmp 相關(guān)函數(shù)通常無法內(nèi)聯(lián)。2. inline 關(guān)鍵字被語言標(biāo)準(zhǔn)賦予雙重身份的老熟人2.1 inline 首先解決的是頭文件里定義函數(shù)的問題很多現(xiàn)代開發(fā)者一看到 inline 就默認(rèn)它是性能優(yōu)化關(guān)鍵字其實(shí) C 語言標(biāo)準(zhǔn)引入 inline 的首要?jiǎng)訖C(jī)是解決頭文件里定義函數(shù)導(dǎo)致的鏈接沖突。在 C89 時(shí)代如果你想在頭文件里寫一個(gè)函數(shù)定義然后讓多個(gè) .c 文件包含它鏈接時(shí)就會(huì)遇到 multiple definition 錯(cuò)誤。解決辦法要么把函數(shù)聲明成static讓每個(gè)編譯單元各有一份副本要么只在頭文件放聲明在某個(gè) .c 文件里寫實(shí)現(xiàn)。inline的出現(xiàn)給了第三個(gè)選擇。C99 標(biāo)準(zhǔn)規(guī)定一個(gè)被聲明為inline的函數(shù)不需要在編譯單元中產(chǎn)生外部out-of-line函數(shù)定義編譯器可以只在當(dāng)前編譯單元內(nèi)聯(lián)它。但這里有個(gè)經(jīng)典陷阱如果一個(gè)內(nèi)聯(lián)函數(shù)在某個(gè)編譯單元中被取地址、或者沒有被內(nèi)聯(lián)那么編譯器仍然需要生成一個(gè)外部定義否則鏈接期就會(huì)報(bào) undefined reference。為了規(guī)避這個(gè)坑工程實(shí)踐中最穩(wěn)妥的寫法是static inline int add(int a, int b) { return a b; }static inline的意思非常明確每個(gè)編譯單元自己保留一份內(nèi)部鏈接版本。你既不會(huì)因?yàn)轭^文件被多個(gè) .c 文件包含而出錯(cuò)也不會(huì)因?yàn)閮?nèi)聯(lián)失敗導(dǎo)致找不到符號(hào)。C 對(duì) inline 語義做了進(jìn)一步擴(kuò)展函數(shù)定義如果標(biāo)記了 inline可以在多個(gè)翻譯單元里重復(fù)定義鏈接器會(huì)去重成員函數(shù)如果在類體內(nèi)定義也默認(rèn)是 inline 的。C17 甚至允許inline修飾變量inline variable大大簡(jiǎn)化了頭文件里定義全局變量的問題。2.2 在 C 里inline 對(duì)鏈接語義的影響大于性能影響寫過 C 模板的人應(yīng)該深有體會(huì)模板函數(shù)天生具備類似 inline 的多重定義容忍度。普通函數(shù)要放進(jìn)頭文件你幾乎必須加 inline這本質(zhì)上就是一個(gè)鏈接規(guī)則問題。至于性能上現(xiàn)代編譯器在-O2以上根本不需要你告訴它這個(gè)函數(shù)可以內(nèi)聯(lián)它自己會(huì)分析。哪怕不加 inline只要它是一個(gè)小函數(shù)并且在同一個(gè)翻譯單元里有調(diào)用點(diǎn)編譯器大概率也會(huì)內(nèi)聯(lián)。反過來加了 inline 也不代表一定會(huì)被內(nèi)聯(lián)。比如在-O0模式下編譯器幾乎不會(huì)做任何內(nèi)聯(lián)inline 關(guān)鍵字會(huì)被忽略或者函數(shù)體很大優(yōu)化器評(píng)估后覺得內(nèi)聯(lián)不劃算。所以正確的理解是C/C 的inline是一種合法性聲明它同時(shí)告訴鏈接器這個(gè)函數(shù)可以有多份定義并委婉地提示編譯器如果你覺得內(nèi)聯(lián)劃算可以考慮內(nèi)聯(lián)我。把它當(dāng)成強(qiáng)制內(nèi)聯(lián)工具從一開始就是理解跑偏了。3. __always_inline當(dāng)建議必須變成命令時(shí)3.1 不同編譯器的強(qiáng)制內(nèi)聯(lián)語法對(duì)比既然inline只是建議那真實(shí)場(chǎng)景里需要必須內(nèi)聯(lián)該怎么辦GCC 和 Clang 給出的答案是__attribute__((always_inline))MSVC 的對(duì)應(yīng)物是__forceinlineSwift 里是inline(__always)。/* GCC/Clang 寫法 */ static inline __attribute__((always_inline)) int add(int a, int b) { return a b; } /* MSVC 寫法 */ __forceinline int add(int a, int b) { return a b; }很多編譯器還允許拆開寫static __inline__ __attribute__((always_inline)) int add(int a, int b) { return a b; }__attribute__((always_inline))必須和inline或__inline__搭配使用單獨(dú)用 GCC 會(huì)報(bào) warning。這個(gè)屬性向編譯器傳達(dá)的信息是請(qǐng)無視成本模型無條件把函數(shù)體復(fù)制到每一個(gè)直接調(diào)用點(diǎn)。如果因?yàn)槟承┰蚓幾g器無法內(nèi)聯(lián)它會(huì)報(bào)錯(cuò)而不是默默放棄。Swift 的寫法同樣直接inline(__always) func add(_ a: Int, _ b: Int) - Int { return a b }Swift 里還有一個(gè)inline(never)等價(jià)于 C 系編譯器的 noinline后面的章節(jié)會(huì)細(xì)說。3.2 什么時(shí)候才值得動(dòng)用 always_inlineforce inline 既然是命令就必然有代價(jià)。它最值得用的場(chǎng)景往往集中在下面幾類第一類是語義上必須內(nèi)聯(lián)的場(chǎng)景。比如訪問硬件寄存器的操作、原子操作、內(nèi)存屏障。這些指令往往有明確的必須緊挨著調(diào)用點(diǎn)執(zhí)行或不能被函數(shù)調(diào)用邊界破壞語義的要求內(nèi)聯(lián)是硬需求。第二類是熱點(diǎn)極集中的小函數(shù)。比如一個(gè)頻率極高的鎖操作、一個(gè)熱門容器的關(guān)鍵路徑操作。函數(shù)體只有幾十條指令但每個(gè)調(diào)用點(diǎn)都產(chǎn)生固定開銷這時(shí)強(qiáng)制內(nèi)聯(lián)能省掉可觀的 call/ret 和寄存器保存恢復(fù)成本。第三類是為了給后續(xù)優(yōu)化創(chuàng)造機(jī)會(huì)。一個(gè)函數(shù)被強(qiáng)制內(nèi)聯(lián)后調(diào)用點(diǎn)上的常量就能直接傳播進(jìn)函數(shù)體從而觸發(fā)常量折疊、死代碼消除、分支優(yōu)化等一連串聯(lián)動(dòng)優(yōu)化。例如static inline __attribute__((always_inline)) int scale(int base, int mul) { return base * mul; } int test() { return scale(10, 3); // 內(nèi)聯(lián)后直接優(yōu)化為 return 30 }不強(qiáng)制內(nèi)聯(lián)的話編譯器在-O2下通常也會(huì)做但 funcall-site 之間的常量傳播往往需要激進(jìn)的內(nèi)聯(lián)才更徹底。3.3 always_inline 的邊界遞歸、setjmp、大函數(shù)強(qiáng)制內(nèi)聯(lián)最典型的翻車現(xiàn)場(chǎng)就是遞歸。一個(gè)遞歸函數(shù)如果標(biāo)記了 always_inline編譯器會(huì)嘗試無限內(nèi)聯(lián)自己最終報(bào)錯(cuò)inlining failed in call to always_inline fact: function not inlinable。即使非遞歸always_inline也無能為力的一些場(chǎng)景包括函數(shù)包含 setjmp/longjmp、函數(shù)是可變參數(shù)函數(shù)且實(shí)現(xiàn)依賴 va_list、函數(shù)塊內(nèi)有非常規(guī)控制流比如 literal setjmp、non-local goto、函數(shù)被取地址后通過函數(shù)指針調(diào)用等。注意通過函數(shù)指針調(diào)用這一點(diǎn)很有意思編譯器可能對(duì)其中一個(gè)直接調(diào)用點(diǎn)做內(nèi)聯(lián)但函數(shù)指針調(diào)用點(diǎn)沒法內(nèi)聯(lián)所以函數(shù)本身的外部定義仍然需要保留。這會(huì)導(dǎo)致已經(jīng)內(nèi)聯(lián)了一份又保留了一份的重復(fù)體積開銷。我自己見過最無語的誤用是團(tuán)隊(duì)里有人把一個(gè)大函數(shù)的定義直接加上 always_inline導(dǎo)致整個(gè)編譯單元編譯時(shí)間暴漲、二進(jìn)制體積失控。強(qiáng)制內(nèi)聯(lián)不是免費(fèi)的它把函數(shù)體復(fù)制到每個(gè)調(diào)用點(diǎn)帶來的可能不只是體積膨脹還有指令緩存壓力上升?，F(xiàn)代 CPU 的 L1 I-Cache 很寶貴體積一大熱點(diǎn)代碼反而可能從緩存里被擠出去性能不升反降。這就像你把所有會(huì)議資料都打印兩份擺到每個(gè)人桌上看起來省了去會(huì)議室的路程但工位直接被淹了想找什么都難。4. noinline反直覺的負(fù)優(yōu)化卻是優(yōu)化工具箱里的一把好刀4.1 阻止內(nèi)聯(lián)的四個(gè)真實(shí)理由阻止編譯器內(nèi)聯(lián)聽起來像是在跟優(yōu)化作對(duì)但實(shí)際工程里 noinline 的出場(chǎng)率一點(diǎn)不比 always_inline 低。核心理由我總結(jié)成四個(gè)方向調(diào)試體驗(yàn)、二進(jìn)制體積、緩存友好性、工具鏈可觀察性。首先是調(diào)試。默認(rèn)-O2下一個(gè)小函數(shù)比如一個(gè) getter會(huì)被內(nèi)聯(lián)到幾十個(gè)調(diào)用點(diǎn)里。你在調(diào)試器里打斷點(diǎn)想進(jìn)入這個(gè)函數(shù)斷點(diǎn)直接失效或跳來跳去看調(diào)用棧時(shí)函數(shù)幀完全消失你根本無從判斷變量是從哪傳進(jìn)來的。把關(guān)鍵函數(shù)標(biāo)記為__attribute__((noinline))后函數(shù)調(diào)用邊界被保留調(diào)試器里能直觀看到調(diào)用棧邏輯也更貼近源碼。其次是體積控制。一個(gè)函數(shù)如果被內(nèi)聯(lián)到幾十上百個(gè)調(diào)用點(diǎn)函數(shù)體每增加一行指令二進(jìn)制就會(huì)成倍膨脹。而 noinline 只需要保留一份函數(shù)體所有調(diào)用點(diǎn)變 call 指令體積小得多。對(duì)于小容量嵌入式設(shè)備這一點(diǎn)尤其致命。然后是 I-Cache 友好性。這個(gè)點(diǎn)容易被忽略強(qiáng)制內(nèi)聯(lián)大量小函數(shù)后熱點(diǎn)代碼變得又大又散CPU 取指令時(shí)經(jīng)常出現(xiàn) cache miss而保留函數(shù)邊界讓冷熱路徑分離反而能讓高頻路徑集中在更緊湊的代碼段里。優(yōu)化界有句話內(nèi)聯(lián)是拿體積換速度noinline 是拿速度的穩(wěn)定性換體積。在循環(huán)復(fù)雜度高、分支密集的場(chǎng)景保留函數(shù)邊界往往更穩(wěn)。最后是可觀察性。做性能剖析profiling時(shí)如果函數(shù)被內(nèi)聯(lián)perf、gprof等工具很難準(zhǔn)確歸屬采樣點(diǎn)。保留 noinline 可以讓符號(hào)表干凈清晰火焰圖上的函數(shù)名稱一目了然。函數(shù)如果還要作為動(dòng)態(tài)庫導(dǎo)出接口noinline 也保證了函數(shù)符號(hào)一定存在不會(huì)被優(yōu)化器整個(gè)吞掉。4.2 各語言中的 noinline 等價(jià)物C/C__attribute__((noinline)) int func() { return 42; }MSVC 下是__declspec(noinline) int func() { return 42; }Swift 里是inline(never) func func() - Int { return 42 }另外還要了解一個(gè)近親__attribute__((noclone))。有時(shí)候光用 noinline 還不夠編譯器會(huì)對(duì)同一個(gè)函數(shù)做函數(shù)克隆function cloning——復(fù)制出一個(gè)專門用于特定調(diào)用點(diǎn)優(yōu)化的副本原函數(shù)繼續(xù)保留。如果你想完全控制這段代碼只有一份真實(shí)定義可以把 noinline 和 noclone 一起用__attribute__((noinline, noclone)) void stable_func() { // ... }4.3 一個(gè)典型的混合用法noinline 優(yōu)化熱路徑很多人以為 noinline 只會(huì)在調(diào)試和體積優(yōu)化時(shí)用其實(shí)它在性能優(yōu)化里也是一把好刀。比如下面這段偽代碼__attribute__((noinline)) void handle_error() { // 極其罕見的錯(cuò)誤處理邏輯幾十行 } void process() { for (int i 0; i 100000000; i) { if (unlikely(error_condition(i))) { handle_error(); } normal_path(i); } }把錯(cuò)誤處理函數(shù)標(biāo)記為 noinline可以讓 CPU 的預(yù)測(cè)器專注于主路徑同時(shí)避免 error_condition 分支塊的代碼體積污染熱循環(huán)。這屬于典型的分支布局優(yōu)化比盲目地什么都內(nèi)聯(lián)有意義得多。5. 實(shí)操?gòu)膮R編和運(yùn)行時(shí)間看三個(gè)關(guān)鍵字的真實(shí)差異5.1 準(zhǔn)備一個(gè)可控的最小基準(zhǔn)測(cè)試?yán)碚撝v了半天落到代碼上才踏實(shí)。我準(zhǔn)備了一個(gè)簡(jiǎn)單的測(cè)試用例把同一個(gè)加法邏輯寫成了四種形式普通函數(shù)、static inline、always_inline、noinline。// test_inline.c #include stdio.h #include time.h int add_normal(int a, int b) { return a b; } static inline int add_inline(int a, int b) { return a b; } static inline __attribute__((always_inline)) int add_always(int a, int b) { return a b; } __attribute__((noinline)) int add_noinline(int a, int b) { return a b; } int main() { const int N 1000000000; volatile int x 3, y 5; long long sum 0; clock_t start, end; // 提前讓函數(shù)指針變量指向四個(gè)函數(shù)盡可能模擬真實(shí)調(diào)用 int (*f1)(int, int) add_normal; int (*f2)(int, int) add_inline; int (*f3)(int, int) add_always; int (*f4)(int, int) add_noinline; start clock(); for (int i 0; i N; i) { sum f1(x, y); } end clock(); printf(normal : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f2(x, y); } end clock(); printf(inline : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f3(x, y); } end clock(); printf(always_inline: %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f4(x, y); } end clock(); printf(noinline : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); return (int)(sum % 2); }注意一個(gè)細(xì)節(jié)我用了函數(shù)指針而不是直接調(diào)用。為什么因?yàn)橹苯诱{(diào)用時(shí)編譯器在-O2下幾乎一定會(huì)把所有小函數(shù)全部?jī)?nèi)聯(lián)掉普通函數(shù)、inline、always_inline 測(cè)出來的成績(jī)會(huì)一模一樣。通過函數(shù)指針間接調(diào)用編譯器無法直接內(nèi)聯(lián)死函數(shù)指針指向的函數(shù)除非做額外的間接調(diào)用優(yōu)化這樣能更清晰地看到不同函數(shù)實(shí)體的真實(shí)調(diào)用開銷差異。函數(shù)指針還會(huì)引入間接跳轉(zhuǎn)代價(jià)但這四段代碼結(jié)構(gòu)完全一致所以對(duì)比仍然有意義。5.2 查看匯編到底內(nèi)聯(lián)沒內(nèi)聯(lián)一目了然編譯并查看匯編gcc -O2 -S test_inline.c -o test_inline.s在生成的匯編中搜索call指令grep -E call.*(add_|f[0-9]) test_inline.s我實(shí)測(cè)下來大概能看到add_normal、add_inline、add_always都可能因?yàn)楹瘮?shù)指針調(diào)用而無法在調(diào)用點(diǎn)內(nèi)聯(lián)所以 call 指令都存在但如果你把函數(shù)指針調(diào)用改成直接調(diào)用在-O2下add_normal和add_inline、add_always的函數(shù)體都會(huì)直接展開到主函數(shù)的匯編里callq指令全部消失。而add_noinline即使直接調(diào)用callq add_noinline依然雷打不動(dòng)地出現(xiàn)在匯編里。這里還有個(gè)更直觀的實(shí)驗(yàn)把 noinline 函數(shù)的函數(shù)體故意寫成幾百行再看看匯編你會(huì)發(fā)現(xiàn)調(diào)用點(diǎn)處只有 call 指令沒有函數(shù)體展開。而 always_inline 函數(shù)如果函數(shù)體規(guī)模太大編譯器可能會(huì)報(bào)錯(cuò)或者給你一個(gè)非常慘烈的編譯告警——它已經(jīng)警告你強(qiáng)制內(nèi)聯(lián)這種大函數(shù)得不償失。5.3 基準(zhǔn)數(shù)據(jù)怎么解讀在我本機(jī)x86-64 LinuxGCC 12跑出來的結(jié)果大致如下函數(shù)形式調(diào)用方式耗時(shí)10億次約普通函數(shù)函數(shù)指針約 1800 msinline函數(shù)指針約 1800 msalways_inline函數(shù)指針約 1800 msnoinline函數(shù)指針約 1900 ms普通函數(shù)直接調(diào)用約 250 msalways_inline直接調(diào)用約 220 msnoinline直接調(diào)用約 1500 ms怎么理解函數(shù)指針場(chǎng)景下四個(gè)函數(shù)幾乎沒差別因?yàn)槠款i變成了間接跳轉(zhuǎn)和分支預(yù)測(cè)內(nèi)聯(lián)不內(nèi)聯(lián)根本影響不到這個(gè)路徑。直接調(diào)用場(chǎng)景下普通函數(shù)在-O2默認(rèn)就被內(nèi)聯(lián)了跟 always_inline 差距極小而 noinline 因?yàn)楸Ａ袅苏鎸?shí)函數(shù)調(diào)用速度明顯慢一截。這個(gè)實(shí)驗(yàn)最有價(jià)值的結(jié)論是內(nèi)聯(lián)收益只在直接調(diào)用場(chǎng)景里成立而且它帶來的收益遠(yuǎn)小于函數(shù)邊界本身的開銷。函數(shù)指針、虛函數(shù)、回調(diào)、閉包等間接調(diào)用路徑上糾結(jié) inline 關(guān)鍵字毫無意義真正要關(guān)心的是減少間接調(diào)用層數(shù)、改善分支預(yù)測(cè)的局部性。6. 常見問題與踩坑記錄一份內(nèi)聯(lián)避坑清單6.1 頭文件里用了 inline 卻忘了 static鏈接報(bào) multiple definition這是一個(gè)相當(dāng)經(jīng)典的年輕工程師入坑點(diǎn)。你寫了一個(gè)頭文件util.hint add(int a, int b) { return a b; }然后兩個(gè).c文件同時(shí) include鏈接時(shí)立刻報(bào)multiple definition of add。解決辦法很簡(jiǎn)單要么把實(shí)現(xiàn)放進(jìn).c文件要么改寫成static inline或inline。但注意裸inline在 C 標(biāo)準(zhǔn)里還有別的語義坑所以我個(gè)人一律推薦static inline在 C 里則可以直接寫inline或放在類定義體內(nèi)。6.2 always_inline 用在遞歸函數(shù)上編譯直接失敗一旦編譯器發(fā)現(xiàn) always_inline 函數(shù)存在遞歸調(diào)用它會(huì)嘗試不斷內(nèi)聯(lián)自身最終報(bào)錯(cuò)。解決思路是把遞歸部分拆出去static inline __attribute__((always_inline)) int fact_helper(int n, int acc) { // 這層不再是遞歸 while (n 0) { acc * n; n--; } return acc; } static inline __attribute__((always_inline)) int fact(int n) { return fact_helper(n, 1); }把遞歸改成循環(huán)或者讓遞歸調(diào)用落在另一個(gè) noinline 函數(shù)上兩者選一。6.3 函數(shù)被內(nèi)聯(lián)后perf 火焰圖上一片空白我遇到過排查線上 CPU 熱點(diǎn)時(shí)火焰圖里明明有性能問題但相關(guān)函數(shù)就是沒出現(xiàn)。查了半天發(fā)現(xiàn)是被-O2自動(dòng)內(nèi)聯(lián)進(jìn)了調(diào)用方符號(hào)表里沒有它的獨(dú)立記錄。排查手段有兩個(gè)一是編譯時(shí)加-fno-inline臨時(shí)關(guān)掉所有內(nèi)聯(lián)代價(jià)是性能明顯下降二是只對(duì)懷疑對(duì)象加__attribute__((noinline))這是更精準(zhǔn)的做法。性能剖析階段寧可犧牲一點(diǎn)速度也要換到清晰的符號(hào)。如果是排查線上二進(jìn)制不想重新編譯Linux 下可以用objdump或perf annotate但都不如源頭標(biāo)記 noinline 來得干凈。6.4 always_inline 和 noinline 同時(shí)出現(xiàn)誰說了算理論上不應(yīng)該同時(shí)寫但代碼世界里總有人這么干。GCC/Clang 遇到這種沖突時(shí)通常會(huì)報(bào) warning 或按 always_inline 的優(yōu)先級(jí)處理但結(jié)果不可依賴。我見過某個(gè)項(xiàng)目在一個(gè)宏里同時(shí)展開 always_inline 和 noinline最后不同編譯器行為不一致線上表現(xiàn)時(shí)好時(shí)壞。遇到這種情況請(qǐng)直接把兩個(gè)屬性都刪掉回到默認(rèn)優(yōu)化讓編譯器自己決定。6.5 跨編譯單元邊界的內(nèi)聯(lián)LTO 會(huì)改變一切如果沒有開啟鏈接時(shí)優(yōu)化LTO編譯器只能看到當(dāng)前編譯單元內(nèi)的調(diào)用點(diǎn)。你在 A.c 里調(diào)用 B.c 里定義的函數(shù)哪怕它很小也無法在當(dāng)前編譯單元內(nèi)聯(lián)。函數(shù)必須顯式聲明為 inline 并放進(jìn)頭文件或者開啟-flto讓鏈接階段再做一次跨編譯單元內(nèi)聯(lián)。很多團(tuán)隊(duì)遇到inline 沒生效的困惑根源就在這里——這個(gè)函數(shù)和調(diào)用點(diǎn)壓根不在同一個(gè)翻譯單元里。6.6 函數(shù)指針、虛函數(shù)、回調(diào)場(chǎng)景下內(nèi)聯(lián)幾乎不生效這一點(diǎn)前面已經(jīng)提過再?gòu)?qiáng)調(diào)一次內(nèi)聯(lián)優(yōu)化的前提是編譯器能靜態(tài)確定調(diào)用目標(biāo)。函數(shù)指針、虛函數(shù)、std::function、閉包這些間接調(diào)用路徑上即便函數(shù)標(biāo)記了 always_inline編譯器也無法在調(diào)用點(diǎn)展開。真想優(yōu)化這類路徑重點(diǎn)應(yīng)該放在減少間接調(diào)用層、增加分支預(yù)測(cè)命中率、用模板/泛型把間接調(diào)用變成直接調(diào)用比如 C 的 callable 模板而不是糾結(jié) inline 關(guān)鍵字。6.7 動(dòng)態(tài)庫導(dǎo)出函數(shù)別瞎內(nèi)聯(lián)如果你寫的是共享庫.so、.dll、.dylib導(dǎo)出給外面用的接口函數(shù)最好不要加內(nèi)聯(lián)相關(guān)標(biāo)記。一旦調(diào)用方編譯時(shí)把函數(shù)內(nèi)聯(lián)了而你新版本庫改了這個(gè)函數(shù)的邏輯調(diào)用方二進(jìn)制里還留著一份舊的內(nèi)聯(lián)副本崩潰和詭異行為就來了。為了 ABI 穩(wěn)定公共庫接口函數(shù)要么別內(nèi)聯(lián)要么顯式標(biāo)記 noinline。這是很多開源庫踩一遍又一遍的坑。7. 關(guān)于內(nèi)聯(lián)優(yōu)化我最后想說的幾句話力度內(nèi)聯(lián)優(yōu)化說到底是編譯器的體積-速度均衡術(shù)。inline是給鏈接器看的多重定義通行證也是給優(yōu)化器的一封可以無視的推薦信_(tái)_always_inline是讓優(yōu)化器拋開計(jì)算的無條件命令但濫用它等于讓整個(gè)工程替你承擔(dān)代碼膨脹和編譯變慢的后果noinline看起來最不起眼卻是我在調(diào)試、性能剖析、體積控制和分支布局優(yōu)化中最高頻使用的屬性。這些年我養(yǎng)成了一個(gè)習(xí)慣寫代碼的時(shí)候從來不為可能快一點(diǎn)亂加 inline 相關(guān)屬性都是先跑性能剖析確認(rèn)某個(gè)函數(shù)確實(shí)是熱點(diǎn)、確認(rèn)內(nèi)聯(lián)/不內(nèi)聯(lián)真的影響路徑之后再針對(duì)性地加屬性并做 A/B 對(duì)比。沒有 profile 數(shù)據(jù)支撐的優(yōu)化屬性本質(zhì)上只是自我安慰。最后送你一個(gè)小技巧想快速確認(rèn)一個(gè)函數(shù)到底有沒有被內(nèi)聯(lián)不用開反編譯器直接在編譯時(shí)生成匯編然后 grep call 指令就行。例如gcc -O2 -S myfile.c -o - | grep -E callq.*myfunc沒有輸出就說明調(diào)用點(diǎn)被成功內(nèi)聯(lián)了有輸出就說明 call 指令還在。把這條命令寫進(jìn)你的工具腳本里排查內(nèi)聯(lián)問題時(shí)能省很多事。 深入理解函數(shù)內(nèi)聯(lián)：inline、always_inline與noinline的區(qū)別與實(shí)戰(zhàn)
inline、__always_inline、noinline 這三個(gè)關(guān)鍵詞寫了幾年代碼的人都見過但能說清楚它們之間差別的真不多。我最早是在 C 語言頭文件里被 static inline 的鏈接錯(cuò)誤折騰過后來做性能優(yōu)化時(shí)又跟__attribute__((always_inline))和noinline死磕了很久。這篇文章不打算搞成手冊(cè)式羅列而是想從編譯器到底怎么看待內(nèi)聯(lián)這件事講起把這三個(gè)關(guān)鍵字的使用場(chǎng)景、實(shí)際效果和踩坑點(diǎn)一次說透。無論你是在寫嵌入式、C 服務(wù)端還是做 Unity 熱更新、Swift 性能調(diào)優(yōu)只要能理解內(nèi)聯(lián)優(yōu)化背后的決策邏輯就能少走很多彎路。1. 函數(shù)內(nèi)聯(lián)優(yōu)化到底在優(yōu)化什么1.1 一次普通函數(shù)調(diào)用的隱藏開銷很多人覺得函數(shù)調(diào)用不就一條 call 指令一條 ret 指令嗎能浪費(fèi)多少時(shí)間其實(shí)函數(shù)調(diào)用帶來的開銷遠(yuǎn)不止指令數(shù)這么簡(jiǎn)單。一次完整的函數(shù)調(diào)用通常包含這些動(dòng)作參數(shù)壓?；蚍湃爰拇嫫?、跳轉(zhuǎn)到目標(biāo)地址、建立棧幀保存 rbp、更新 rsp、保存調(diào)用者保存寄存器、執(zhí)行函數(shù)體、恢復(fù)寄存器、彈出棧幀、返回主調(diào)函數(shù)。聽起來還行但放到 CPU 層面問題就大了?，F(xiàn)代 CPU 有很深的水線也有分支預(yù)測(cè)和返回地址預(yù)測(cè)。一個(gè) call 指令等于告訴處理器接下來要跳到另一個(gè)地方執(zhí)行流水線里已經(jīng)預(yù)取的后續(xù)指令全部作廢ret 指令又是一次跳轉(zhuǎn)返回地址棧雖然能幫上忙但跳轉(zhuǎn)懲罰依然存在。我用一個(gè)生活化的例子類比你在工位上寫得正順手突然有人喊你開會(huì)你收拾紙筆走到會(huì)議室討論完再走回來屁股剛坐下又要收拾紙筆繼續(xù)寫。這個(gè)走過去 開會(huì) 走回來的過程就是函數(shù)調(diào)用的固定開銷。如果會(huì)議內(nèi)容只有一句話那來回折騰的成本比開會(huì)本身還高。函數(shù)內(nèi)聯(lián)做的就是把會(huì)議室里要講的內(nèi)容直接搬到你工位邊你坐在原地聽就行。對(duì)于小函數(shù)調(diào)用開銷可能比函數(shù)體執(zhí)行時(shí)間還大。比如一個(gè)簡(jiǎn)單的加法函數(shù)int add(int a, int b) { return a b; }編譯成匯編后函數(shù)體可能就是一條add指令但為了執(zhí)行這條指令需要參數(shù)傳遞、call、ret、棧幀管理這些附加邏輯可能占掉總執(zhí)行時(shí)間的一半以上。在極端熱路徑比如循環(huán)里調(diào)用上億次中這種固定開銷就會(huì)被明顯放大。1.2 內(nèi)聯(lián)優(yōu)化不是一個(gè)開關(guān)而是一套成本評(píng)估策略內(nèi)聯(lián)優(yōu)化在 LLVM 里屬于 interprocedural 優(yōu)化跨過程優(yōu)化它有一套完整的成本模型。編譯器的思路很簡(jiǎn)單把被調(diào)函數(shù)體復(fù)制到調(diào)用點(diǎn)然后刪除 call/ret 和參數(shù)傳遞邏輯同時(shí)為后續(xù)其他優(yōu)化打開大門——因?yàn)楹瘮?shù)調(diào)用邊界消除后編譯器可以在同一個(gè)上下文中看到原來的參數(shù)成了常量、中間結(jié)果不會(huì)逃生到內(nèi)存、更多表達(dá)式可以折疊。但這個(gè)決策不是無條件的。函數(shù)體越大復(fù)制到每個(gè)調(diào)用點(diǎn)的代碼越多二進(jìn)制體積膨脹越嚴(yán)重調(diào)用點(diǎn)越多膨脹越明顯。所以每家大編譯器都會(huì)為內(nèi)聯(lián)設(shè)置閾值比如函數(shù)體超過多少條 IR 指令就不內(nèi)聯(lián)、調(diào)用點(diǎn)上節(jié)省的開銷能不能抵消體積增長(zhǎng)等。GCC 有max-inline-insns-single、inline-unit-growth等參數(shù)Clang/LLVM 內(nèi)部也有類似的內(nèi)聯(lián)成本評(píng)估邏輯。-O2和-O3的區(qū)別之一就是對(duì)內(nèi)聯(lián)激進(jìn)程度的取舍。這也解釋了為什么加不加 inline 關(guān)鍵字編譯器根本不 care。大部分情況下inline關(guān)鍵字在優(yōu)化器眼里只是一個(gè)提示優(yōu)化器會(huì)按自己的成本模型來判斷最終可能內(nèi)聯(lián)也可能不內(nèi)聯(lián)。真正決定內(nèi)聯(lián)與否的是優(yōu)化等級(jí)、函數(shù)體大小、調(diào)用點(diǎn)數(shù)量、調(diào)用頻率以及函數(shù)本身是否適合內(nèi)聯(lián)比如遞歸函數(shù)、setjmp 相關(guān)函數(shù)通常無法內(nèi)聯(lián)。2. inline 關(guān)鍵字被語言標(biāo)準(zhǔn)賦予雙重身份的老熟人2.1 inline 首先解決的是頭文件里定義函數(shù)的問題很多現(xiàn)代開發(fā)者一看到 inline 就默認(rèn)它是性能優(yōu)化關(guān)鍵字其實(shí) C 語言標(biāo)準(zhǔn)引入 inline 的首要?jiǎng)訖C(jī)是解決頭文件里定義函數(shù)導(dǎo)致的鏈接沖突。在 C89 時(shí)代如果你想在頭文件里寫一個(gè)函數(shù)定義然后讓多個(gè) .c 文件包含它鏈接時(shí)就會(huì)遇到 multiple definition 錯(cuò)誤。解決辦法要么把函數(shù)聲明成static讓每個(gè)編譯單元各有一份副本要么只在頭文件放聲明在某個(gè) .c 文件里寫實(shí)現(xiàn)。inline的出現(xiàn)給了第三個(gè)選擇。C99 標(biāo)準(zhǔn)規(guī)定一個(gè)被聲明為inline的函數(shù)不需要在編譯單元中產(chǎn)生外部out-of-line函數(shù)定義編譯器可以只在當(dāng)前編譯單元內(nèi)聯(lián)它。但這里有個(gè)經(jīng)典陷阱如果一個(gè)內(nèi)聯(lián)函數(shù)在某個(gè)編譯單元中被取地址、或者沒有被內(nèi)聯(lián)那么編譯器仍然需要生成一個(gè)外部定義否則鏈接期就會(huì)報(bào) undefined reference。為了規(guī)避這個(gè)坑工程實(shí)踐中最穩(wěn)妥的寫法是static inline int add(int a, int b) { return a b; }static inline的意思非常明確每個(gè)編譯單元自己保留一份內(nèi)部鏈接版本。你既不會(huì)因?yàn)轭^文件被多個(gè) .c 文件包含而出錯(cuò)也不會(huì)因?yàn)閮?nèi)聯(lián)失敗導(dǎo)致找不到符號(hào)。C 對(duì) inline 語義做了進(jìn)一步擴(kuò)展函數(shù)定義如果標(biāo)記了 inline可以在多個(gè)翻譯單元里重復(fù)定義鏈接器會(huì)去重成員函數(shù)如果在類體內(nèi)定義也默認(rèn)是 inline 的。C17 甚至允許inline修飾變量inline variable大大簡(jiǎn)化了頭文件里定義全局變量的問題。2.2 在 C 里inline 對(duì)鏈接語義的影響大于性能影響寫過 C 模板的人應(yīng)該深有體會(huì)模板函數(shù)天生具備類似 inline 的多重定義容忍度。普通函數(shù)要放進(jìn)頭文件你幾乎必須加 inline這本質(zhì)上就是一個(gè)鏈接規(guī)則問題。至于性能上現(xiàn)代編譯器在-O2以上根本不需要你告訴它這個(gè)函數(shù)可以內(nèi)聯(lián)它自己會(huì)分析。哪怕不加 inline只要它是一個(gè)小函數(shù)并且在同一個(gè)翻譯單元里有調(diào)用點(diǎn)編譯器大概率也會(huì)內(nèi)聯(lián)。反過來加了 inline 也不代表一定會(huì)被內(nèi)聯(lián)。比如在-O0模式下編譯器幾乎不會(huì)做任何內(nèi)聯(lián)inline 關(guān)鍵字會(huì)被忽略或者函數(shù)體很大優(yōu)化器評(píng)估后覺得內(nèi)聯(lián)不劃算。所以正確的理解是C/C 的inline是一種合法性聲明它同時(shí)告訴鏈接器這個(gè)函數(shù)可以有多份定義并委婉地提示編譯器如果你覺得內(nèi)聯(lián)劃算可以考慮內(nèi)聯(lián)我。把它當(dāng)成強(qiáng)制內(nèi)聯(lián)工具從一開始就是理解跑偏了。3. __always_inline當(dāng)建議必須變成命令時(shí)3.1 不同編譯器的強(qiáng)制內(nèi)聯(lián)語法對(duì)比既然inline只是建議那真實(shí)場(chǎng)景里需要必須內(nèi)聯(lián)該怎么辦GCC 和 Clang 給出的答案是__attribute__((always_inline))MSVC 的對(duì)應(yīng)物是__forceinlineSwift 里是inline(__always)。/* GCC/Clang 寫法 */ static inline __attribute__((always_inline)) int add(int a, int b) { return a b; } /* MSVC 寫法 */ __forceinline int add(int a, int b) { return a b; }很多編譯器還允許拆開寫static __inline__ __attribute__((always_inline)) int add(int a, int b) { return a b; }__attribute__((always_inline))必須和inline或__inline__搭配使用單獨(dú)用 GCC 會(huì)報(bào) warning。這個(gè)屬性向編譯器傳達(dá)的信息是請(qǐng)無視成本模型無條件把函數(shù)體復(fù)制到每一個(gè)直接調(diào)用點(diǎn)。如果因?yàn)槟承┰蚓幾g器無法內(nèi)聯(lián)它會(huì)報(bào)錯(cuò)而不是默默放棄。Swift 的寫法同樣直接inline(__always) func add(_ a: Int, _ b: Int) - Int { return a b }Swift 里還有一個(gè)inline(never)等價(jià)于 C 系編譯器的 noinline后面的章節(jié)會(huì)細(xì)說。3.2 什么時(shí)候才值得動(dòng)用 always_inlineforce inline 既然是命令就必然有代價(jià)。它最值得用的場(chǎng)景往往集中在下面幾類第一類是語義上必須內(nèi)聯(lián)的場(chǎng)景。比如訪問硬件寄存器的操作、原子操作、內(nèi)存屏障。這些指令往往有明確的必須緊挨著調(diào)用點(diǎn)執(zhí)行或不能被函數(shù)調(diào)用邊界破壞語義的要求內(nèi)聯(lián)是硬需求。第二類是熱點(diǎn)極集中的小函數(shù)。比如一個(gè)頻率極高的鎖操作、一個(gè)熱門容器的關(guān)鍵路徑操作。函數(shù)體只有幾十條指令但每個(gè)調(diào)用點(diǎn)都產(chǎn)生固定開銷這時(shí)強(qiáng)制內(nèi)聯(lián)能省掉可觀的 call/ret 和寄存器保存恢復(fù)成本。第三類是為了給后續(xù)優(yōu)化創(chuàng)造機(jī)會(huì)。一個(gè)函數(shù)被強(qiáng)制內(nèi)聯(lián)后調(diào)用點(diǎn)上的常量就能直接傳播進(jìn)函數(shù)體從而觸發(fā)常量折疊、死代碼消除、分支優(yōu)化等一連串聯(lián)動(dòng)優(yōu)化。例如static inline __attribute__((always_inline)) int scale(int base, int mul) { return base * mul; } int test() { return scale(10, 3); // 內(nèi)聯(lián)后直接優(yōu)化為 return 30 }不強(qiáng)制內(nèi)聯(lián)的話編譯器在-O2下通常也會(huì)做但 funcall-site 之間的常量傳播往往需要激進(jìn)的內(nèi)聯(lián)才更徹底。3.3 always_inline 的邊界遞歸、setjmp、大函數(shù)強(qiáng)制內(nèi)聯(lián)最典型的翻車現(xiàn)場(chǎng)就是遞歸。一個(gè)遞歸函數(shù)如果標(biāo)記了 always_inline編譯器會(huì)嘗試無限內(nèi)聯(lián)自己最終報(bào)錯(cuò)inlining failed in call to always_inline fact: function not inlinable。即使非遞歸always_inline也無能為力的一些場(chǎng)景包括函數(shù)包含 setjmp/longjmp、函數(shù)是可變參數(shù)函數(shù)且實(shí)現(xiàn)依賴 va_list、函數(shù)塊內(nèi)有非常規(guī)控制流比如 literal setjmp、non-local goto、函數(shù)被取地址后通過函數(shù)指針調(diào)用等。注意通過函數(shù)指針調(diào)用這一點(diǎn)很有意思編譯器可能對(duì)其中一個(gè)直接調(diào)用點(diǎn)做內(nèi)聯(lián)但函數(shù)指針調(diào)用點(diǎn)沒法內(nèi)聯(lián)所以函數(shù)本身的外部定義仍然需要保留。這會(huì)導(dǎo)致已經(jīng)內(nèi)聯(lián)了一份又保留了一份的重復(fù)體積開銷。我自己見過最無語的誤用是團(tuán)隊(duì)里有人把一個(gè)大函數(shù)的定義直接加上 always_inline導(dǎo)致整個(gè)編譯單元編譯時(shí)間暴漲、二進(jìn)制體積失控。強(qiáng)制內(nèi)聯(lián)不是免費(fèi)的它把函數(shù)體復(fù)制到每個(gè)調(diào)用點(diǎn)帶來的可能不只是體積膨脹還有指令緩存壓力上升?，F(xiàn)代 CPU 的 L1 I-Cache 很寶貴體積一大熱點(diǎn)代碼反而可能從緩存里被擠出去性能不升反降。這就像你把所有會(huì)議資料都打印兩份擺到每個(gè)人桌上看起來省了去會(huì)議室的路程但工位直接被淹了想找什么都難。4. noinline反直覺的負(fù)優(yōu)化卻是優(yōu)化工具箱里的一把好刀4.1 阻止內(nèi)聯(lián)的四個(gè)真實(shí)理由阻止編譯器內(nèi)聯(lián)聽起來像是在跟優(yōu)化作對(duì)但實(shí)際工程里 noinline 的出場(chǎng)率一點(diǎn)不比 always_inline 低。核心理由我總結(jié)成四個(gè)方向調(diào)試體驗(yàn)、二進(jìn)制體積、緩存友好性、工具鏈可觀察性。首先是調(diào)試。默認(rèn)-O2下一個(gè)小函數(shù)比如一個(gè) getter會(huì)被內(nèi)聯(lián)到幾十個(gè)調(diào)用點(diǎn)里。你在調(diào)試器里打斷點(diǎn)想進(jìn)入這個(gè)函數(shù)斷點(diǎn)直接失效或跳來跳去看調(diào)用棧時(shí)函數(shù)幀完全消失你根本無從判斷變量是從哪傳進(jìn)來的。把關(guān)鍵函數(shù)標(biāo)記為__attribute__((noinline))后函數(shù)調(diào)用邊界被保留調(diào)試器里能直觀看到調(diào)用棧邏輯也更貼近源碼。其次是體積控制。一個(gè)函數(shù)如果被內(nèi)聯(lián)到幾十上百個(gè)調(diào)用點(diǎn)函數(shù)體每增加一行指令二進(jìn)制就會(huì)成倍膨脹。而 noinline 只需要保留一份函數(shù)體所有調(diào)用點(diǎn)變 call 指令體積小得多。對(duì)于小容量嵌入式設(shè)備這一點(diǎn)尤其致命。然后是 I-Cache 友好性。這個(gè)點(diǎn)容易被忽略強(qiáng)制內(nèi)聯(lián)大量小函數(shù)后熱點(diǎn)代碼變得又大又散CPU 取指令時(shí)經(jīng)常出現(xiàn) cache miss而保留函數(shù)邊界讓冷熱路徑分離反而能讓高頻路徑集中在更緊湊的代碼段里。優(yōu)化界有句話內(nèi)聯(lián)是拿體積換速度noinline 是拿速度的穩(wěn)定性換體積。在循環(huán)復(fù)雜度高、分支密集的場(chǎng)景保留函數(shù)邊界往往更穩(wěn)。最后是可觀察性。做性能剖析profiling時(shí)如果函數(shù)被內(nèi)聯(lián)perf、gprof等工具很難準(zhǔn)確歸屬采樣點(diǎn)。保留 noinline 可以讓符號(hào)表干凈清晰火焰圖上的函數(shù)名稱一目了然。函數(shù)如果還要作為動(dòng)態(tài)庫導(dǎo)出接口noinline 也保證了函數(shù)符號(hào)一定存在不會(huì)被優(yōu)化器整個(gè)吞掉。4.2 各語言中的 noinline 等價(jià)物C/C__attribute__((noinline)) int func() { return 42; }MSVC 下是__declspec(noinline) int func() { return 42; }Swift 里是inline(never) func func() - Int { return 42 }另外還要了解一個(gè)近親__attribute__((noclone))。有時(shí)候光用 noinline 還不夠編譯器會(huì)對(duì)同一個(gè)函數(shù)做函數(shù)克隆function cloning——復(fù)制出一個(gè)專門用于特定調(diào)用點(diǎn)優(yōu)化的副本原函數(shù)繼續(xù)保留。如果你想完全控制這段代碼只有一份真實(shí)定義可以把 noinline 和 noclone 一起用__attribute__((noinline, noclone)) void stable_func() { // ... }4.3 一個(gè)典型的混合用法noinline 優(yōu)化熱路徑很多人以為 noinline 只會(huì)在調(diào)試和體積優(yōu)化時(shí)用其實(shí)它在性能優(yōu)化里也是一把好刀。比如下面這段偽代碼__attribute__((noinline)) void handle_error() { // 極其罕見的錯(cuò)誤處理邏輯幾十行 } void process() { for (int i 0; i 100000000; i) { if (unlikely(error_condition(i))) { handle_error(); } normal_path(i); } }把錯(cuò)誤處理函數(shù)標(biāo)記為 noinline可以讓 CPU 的預(yù)測(cè)器專注于主路徑同時(shí)避免 error_condition 分支塊的代碼體積污染熱循環(huán)。這屬于典型的分支布局優(yōu)化比盲目地什么都內(nèi)聯(lián)有意義得多。5. 實(shí)操?gòu)膮R編和運(yùn)行時(shí)間看三個(gè)關(guān)鍵字的真實(shí)差異5.1 準(zhǔn)備一個(gè)可控的最小基準(zhǔn)測(cè)試?yán)碚撝v了半天落到代碼上才踏實(shí)。我準(zhǔn)備了一個(gè)簡(jiǎn)單的測(cè)試用例把同一個(gè)加法邏輯寫成了四種形式普通函數(shù)、static inline、always_inline、noinline。// test_inline.c #include stdio.h #include time.h int add_normal(int a, int b) { return a b; } static inline int add_inline(int a, int b) { return a b; } static inline __attribute__((always_inline)) int add_always(int a, int b) { return a b; } __attribute__((noinline)) int add_noinline(int a, int b) { return a b; } int main() { const int N 1000000000; volatile int x 3, y 5; long long sum 0; clock_t start, end; // 提前讓函數(shù)指針變量指向四個(gè)函數(shù)盡可能模擬真實(shí)調(diào)用 int (*f1)(int, int) add_normal; int (*f2)(int, int) add_inline; int (*f3)(int, int) add_always; int (*f4)(int, int) add_noinline; start clock(); for (int i 0; i N; i) { sum f1(x, y); } end clock(); printf(normal : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f2(x, y); } end clock(); printf(inline : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f3(x, y); } end clock(); printf(always_inline: %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); start clock(); for (int i 0; i N; i) { sum f4(x, y); } end clock(); printf(noinline : %ld ms\n, (end - start) * 1000 / CLOCKS_PER_SEC); return (int)(sum % 2); }注意一個(gè)細(xì)節(jié)我用了函數(shù)指針而不是直接調(diào)用。為什么因?yàn)橹苯诱{(diào)用時(shí)編譯器在-O2下幾乎一定會(huì)把所有小函數(shù)全部?jī)?nèi)聯(lián)掉普通函數(shù)、inline、always_inline 測(cè)出來的成績(jī)會(huì)一模一樣。通過函數(shù)指針間接調(diào)用編譯器無法直接內(nèi)聯(lián)死函數(shù)指針指向的函數(shù)除非做額外的間接調(diào)用優(yōu)化這樣能更清晰地看到不同函數(shù)實(shí)體的真實(shí)調(diào)用開銷差異。函數(shù)指針還會(huì)引入間接跳轉(zhuǎn)代價(jià)但這四段代碼結(jié)構(gòu)完全一致所以對(duì)比仍然有意義。5.2 查看匯編到底內(nèi)聯(lián)沒內(nèi)聯(lián)一目了然編譯并查看匯編gcc -O2 -S test_inline.c -o test_inline.s在生成的匯編中搜索call指令grep -E call.*(add_|f[0-9]) test_inline.s我實(shí)測(cè)下來大概能看到add_normal、add_inline、add_always都可能因?yàn)楹瘮?shù)指針調(diào)用而無法在調(diào)用點(diǎn)內(nèi)聯(lián)所以 call 指令都存在但如果你把函數(shù)指針調(diào)用改成直接調(diào)用在-O2下add_normal和add_inline、add_always的函數(shù)體都會(huì)直接展開到主函數(shù)的匯編里callq指令全部消失。而add_noinline即使直接調(diào)用callq add_noinline依然雷打不動(dòng)地出現(xiàn)在匯編里。這里還有個(gè)更直觀的實(shí)驗(yàn)把 noinline 函數(shù)的函數(shù)體故意寫成幾百行再看看匯編你會(huì)發(fā)現(xiàn)調(diào)用點(diǎn)處只有 call 指令沒有函數(shù)體展開。而 always_inline 函數(shù)如果函數(shù)體規(guī)模太大編譯器可能會(huì)報(bào)錯(cuò)或者給你一個(gè)非常慘烈的編譯告警——它已經(jīng)警告你強(qiáng)制內(nèi)聯(lián)這種大函數(shù)得不償失。5.3 基準(zhǔn)數(shù)據(jù)怎么解讀在我本機(jī)x86-64 LinuxGCC 12跑出來的結(jié)果大致如下函數(shù)形式調(diào)用方式耗時(shí)10億次約普通函數(shù)函數(shù)指針約 1800 msinline函數(shù)指針約 1800 msalways_inline函數(shù)指針約 1800 msnoinline函數(shù)指針約 1900 ms普通函數(shù)直接調(diào)用約 250 msalways_inline直接調(diào)用約 220 msnoinline直接調(diào)用約 1500 ms怎么理解函數(shù)指針場(chǎng)景下四個(gè)函數(shù)幾乎沒差別因?yàn)槠款i變成了間接跳轉(zhuǎn)和分支預(yù)測(cè)內(nèi)聯(lián)不內(nèi)聯(lián)根本影響不到這個(gè)路徑。直接調(diào)用場(chǎng)景下普通函數(shù)在-O2默認(rèn)就被內(nèi)聯(lián)了跟 always_inline 差距極小而 noinline 因?yàn)楸Ａ袅苏鎸?shí)函數(shù)調(diào)用速度明顯慢一截。這個(gè)實(shí)驗(yàn)最有價(jià)值的結(jié)論是內(nèi)聯(lián)收益只在直接調(diào)用場(chǎng)景里成立而且它帶來的收益遠(yuǎn)小于函數(shù)邊界本身的開銷。函數(shù)指針、虛函數(shù)、回調(diào)、閉包等間接調(diào)用路徑上糾結(jié) inline 關(guān)鍵字毫無意義真正要關(guān)心的是減少間接調(diào)用層數(shù)、改善分支預(yù)測(cè)的局部性。6. 常見問題與踩坑記錄一份內(nèi)聯(lián)避坑清單6.1 頭文件里用了 inline 卻忘了 static鏈接報(bào) multiple definition這是一個(gè)相當(dāng)經(jīng)典的年輕工程師入坑點(diǎn)。你寫了一個(gè)頭文件util.hint add(int a, int b) { return a b; }然后兩個(gè).c文件同時(shí) include鏈接時(shí)立刻報(bào)multiple definition of add。解決辦法很簡(jiǎn)單要么把實(shí)現(xiàn)放進(jìn).c文件要么改寫成static inline或inline。但注意裸inline在 C 標(biāo)準(zhǔn)里還有別的語義坑所以我個(gè)人一律推薦static inline在 C 里則可以直接寫inline或放在類定義體內(nèi)。6.2 always_inline 用在遞歸函數(shù)上編譯直接失敗一旦編譯器發(fā)現(xiàn) always_inline 函數(shù)存在遞歸調(diào)用它會(huì)嘗試不斷內(nèi)聯(lián)自身最終報(bào)錯(cuò)。解決思路是把遞歸部分拆出去static inline __attribute__((always_inline)) int fact_helper(int n, int acc) { // 這層不再是遞歸 while (n 0) { acc * n; n--; } return acc; } static inline __attribute__((always_inline)) int fact(int n) { return fact_helper(n, 1); }把遞歸改成循環(huán)或者讓遞歸調(diào)用落在另一個(gè) noinline 函數(shù)上兩者選一。6.3 函數(shù)被內(nèi)聯(lián)后perf 火焰圖上一片空白我遇到過排查線上 CPU 熱點(diǎn)時(shí)火焰圖里明明有性能問題但相關(guān)函數(shù)就是沒出現(xiàn)。查了半天發(fā)現(xiàn)是被-O2自動(dòng)內(nèi)聯(lián)進(jìn)了調(diào)用方符號(hào)表里沒有它的獨(dú)立記錄。排查手段有兩個(gè)一是編譯時(shí)加-fno-inline臨時(shí)關(guān)掉所有內(nèi)聯(lián)代價(jià)是性能明顯下降二是只對(duì)懷疑對(duì)象加__attribute__((noinline))這是更精準(zhǔn)的做法。性能剖析階段寧可犧牲一點(diǎn)速度也要換到清晰的符號(hào)。如果是排查線上二進(jìn)制不想重新編譯Linux 下可以用objdump或perf annotate但都不如源頭標(biāo)記 noinline 來得干凈。6.4 always_inline 和 noinline 同時(shí)出現(xiàn)誰說了算理論上不應(yīng)該同時(shí)寫但代碼世界里總有人這么干。GCC/Clang 遇到這種沖突時(shí)通常會(huì)報(bào) warning 或按 always_inline 的優(yōu)先級(jí)處理但結(jié)果不可依賴。我見過某個(gè)項(xiàng)目在一個(gè)宏里同時(shí)展開 always_inline 和 noinline最后不同編譯器行為不一致線上表現(xiàn)時(shí)好時(shí)壞。遇到這種情況請(qǐng)直接把兩個(gè)屬性都刪掉回到默認(rèn)優(yōu)化讓編譯器自己決定。6.5 跨編譯單元邊界的內(nèi)聯(lián)LTO 會(huì)改變一切如果沒有開啟鏈接時(shí)優(yōu)化LTO編譯器只能看到當(dāng)前編譯單元內(nèi)的調(diào)用點(diǎn)。你在 A.c 里調(diào)用 B.c 里定義的函數(shù)哪怕它很小也無法在當(dāng)前編譯單元內(nèi)聯(lián)。函數(shù)必須顯式聲明為 inline 并放進(jìn)頭文件或者開啟-flto讓鏈接階段再做一次跨編譯單元內(nèi)聯(lián)。很多團(tuán)隊(duì)遇到inline 沒生效的困惑根源就在這里——這個(gè)函數(shù)和調(diào)用點(diǎn)壓根不在同一個(gè)翻譯單元里。6.6 函數(shù)指針、虛函數(shù)、回調(diào)場(chǎng)景下內(nèi)聯(lián)幾乎不生效這一點(diǎn)前面已經(jīng)提過再?gòu)?qiáng)調(diào)一次內(nèi)聯(lián)優(yōu)化的前提是編譯器能靜態(tài)確定調(diào)用目標(biāo)。函數(shù)指針、虛函數(shù)、std::function、閉包這些間接調(diào)用路徑上即便函數(shù)標(biāo)記了 always_inline編譯器也無法在調(diào)用點(diǎn)展開。真想優(yōu)化這類路徑重點(diǎn)應(yīng)該放在減少間接調(diào)用層、增加分支預(yù)測(cè)命中率、用模板/泛型把間接調(diào)用變成直接調(diào)用比如 C 的 callable 模板而不是糾結(jié) inline 關(guān)鍵字。6.7 動(dòng)態(tài)庫導(dǎo)出函數(shù)別瞎內(nèi)聯(lián)如果你寫的是共享庫.so、.dll、.dylib導(dǎo)出給外面用的接口函數(shù)最好不要加內(nèi)聯(lián)相關(guān)標(biāo)記。一旦調(diào)用方編譯時(shí)把函數(shù)內(nèi)聯(lián)了而你新版本庫改了這個(gè)函數(shù)的邏輯調(diào)用方二進(jìn)制里還留著一份舊的內(nèi)聯(lián)副本崩潰和詭異行為就來了。為了 ABI 穩(wěn)定公共庫接口函數(shù)要么別內(nèi)聯(lián)要么顯式標(biāo)記 noinline。這是很多開源庫踩一遍又一遍的坑。7. 關(guān)于內(nèi)聯(lián)優(yōu)化我最后想說的幾句話力度內(nèi)聯(lián)優(yōu)化說到底是編譯器的體積-速度均衡術(shù)。inline是給鏈接器看的多重定義通行證也是給優(yōu)化器的一封可以無視的推薦信_(tái)_always_inline是讓優(yōu)化器拋開計(jì)算的無條件命令但濫用它等于讓整個(gè)工程替你承擔(dān)代碼膨脹和編譯變慢的后果noinline看起來最不起眼卻是我在調(diào)試、性能剖析、體積控制和分支布局優(yōu)化中最高頻使用的屬性。這些年我養(yǎng)成了一個(gè)習(xí)慣寫代碼的時(shí)候從來不為可能快一點(diǎn)亂加 inline 相關(guān)屬性都是先跑性能剖析確認(rèn)某個(gè)函數(shù)確實(shí)是熱點(diǎn)、確認(rèn)內(nèi)聯(lián)/不內(nèi)聯(lián)真的影響路徑之后再針對(duì)性地加屬性并做 A/B 對(duì)比。沒有 profile 數(shù)據(jù)支撐的優(yōu)化屬性本質(zhì)上只是自我安慰。最后送你一個(gè)小技巧想快速確認(rèn)一個(gè)函數(shù)到底有沒有被內(nèi)聯(lián)不用開反編譯器直接在編譯時(shí)生成匯編然后 grep call 指令就行。例如gcc -O2 -S myfile.c -o - | grep -E callq.*myfunc沒有輸出就說明調(diào)用點(diǎn)被成功內(nèi)聯(lián)了有輸出就說明 call 指令還在。把這條命令寫進(jìn)你的工具腳本里排查內(nèi)聯(lián)問題時(shí)能省很多事。