C++ 內聯函數深度解析：定義、原理與使用陷阱

函數呼叫雖能模組化程式碼，卻伴隨著保存現場、跳轉、恢復現場的時間與空間開銷。對於「體積小、呼叫頻繁」的函數，這項開銷不可忽視。C++ 引入 inline 關鍵字，讓編譯器在編譯期以函數本體直接取代呼叫點，消除跳轉成本，以目標碼膨脹換取執行速度。

內聯函數的運作機制

一般函數呼叫：執行流跳轉至函數位址 → 執行 → 返回呼叫點下一指令。
內聯函數：編譯器將呼叫表達式展開為函數本體機器碼，無跳轉指令，但每個呼叫點都會複製一份函數碼。

因此，內聯適用於：

• 函數本體極短（1~3 行敘述）
• 呼叫頻率極高（如存取器、簡單運算）
• 不包含複雜控制流（迴圈、switch、遞迴）

定義語法

inline int add_int(int x, int y, int z) {
    return x + y + z;
}

與一般函數同樣擁有型別檢查、作用域規則，差別僅在編譯期處理方式。

五大使用注意事項

1. 類別內定義的成員函數預設為內聯；類別外定義需顯式加 inline。
2. 可對類外定義加 inline 強制內聯，但編譯器保留拒絕權（如函數過大、含迴圈、遞迴、虛函數呼叫等）。
3. 函數體內不得包含迴圈或 switch 語句（部分編譯器允許簡單迴圈，但不建議）。
4. 定義必須出現在第一次呼叫之前（通常置於標頭檔），否則編譯器無法展開。
5. 遞迴函數無法內聯（無法確定展開深度）。

常見誤區

• inline 只是建議，非強制指令。編譯器會依最佳化等級（-O2/-O3）自動決定是否內聯，甚至對未標記的函數自動內聯。
• 過度內聯導致指令快取未命中，反而降低效能。建議配合分析工具（如 perf、VTune）驗證。
• 虛函數、函數指標呼叫、動態載入庫中的函數無法內聯（位址執行期才確定）。

最佳實踐建議

• 將極短、非虛擬、非遞迴的存取器/工具函數定義在類別內（隱式 inline）。
• 標頭檔中定義的 inline 函數需加 static 或置於匿名命名空間，避免多重定義連結錯誤（C++17 起 inline 變數/函數可多重定義）。
• 效能關鍵路徑優先用 constexpr（C++11）編譯期運算，次之才考慮 inline。

掌握內聯函數的權衡之道，能在不犧牲可維護性前提下，為熱點路徑榨乾效能。