C/C++ 內聯函數完全指南：原理、適用場景與現代最佳實踐

什麼是內聯函數？

inline 建議編譯器將函數呼叫處以函數本體直接展開，消除呼叫開銷 (參數壓棧、跳轉、返回)。類似宏展開，但具備型別安全、作用域、除錯支援。

編譯器處理流程

inline int add(int a, int b) { return a + b; }

int main() {
  int x = add(3, 5);
  // 編譯器可能展開為：
  // int x = 3 + 5;
}

適用與不適用場景

關鍵規則與限制

1. 定義必須在呼叫前可見：通常置於標頭檔或同一編譯單元
2. inline 只是建議，編譯器可忽略 (過大、遞迴、虛函數等)
3. 類別內定義的成員函數隱性 inline
4. 遞迴函數不可內聯 (C++ 標準禁止，編譯器會忽略)
5. 內聯函數具有外部連結 (C++)，多檔案定義需完全相同 (ODR)

現代 C++ 最佳實踐

1. 標頭檔唯一定義模式

// Math.h
inline int square(int x) { return x * x; }

// Math.cpp 不需要定義

2. 配合 constexpr (C++11)

constexpr int factorial(int n) {
  return n <= 1 ? 1 : n * factorial(n - 1);
}
// 編譯期可計算，隱性 inline

3. 強制/禁止內聯屬性 (GCC/Clang/MSVC)

__attribute__((always_inline)) void fast_path();  // 強制
__attribute__((noinline)) void cold_path();       // 禁止

效能考量：空間換時間

• 優點：消除呼叫/返回指令、參數傳遞、啟用更多優化 (常數摺疊、死碼消除)
• 缺點：程式碼膨脹 → 指令快取命中率下降、編譯時間增加、二進位體積增大
• 經驗法則：函數小於 10-15 機器指令 且高頻呼叫 獲益最大

除錯與分析技巧

• gcc -O2 -finline-functions -Winline 顯示內聯決策警告
• objdump -d / gdb disassemble 檢查實際機器碼
• 效能分析工具 (perf, VTune) 觀察指令快取失率