C++ 內聯函數 vs 宏定義：核心差異、陷阱與最佳實務

核心差異總覽

經典宏陷阱實例

#define MAX(a,b) ((a)>(b)?(a):(b))

int i=1, j=0;
MAX(i++, j);   // i 增加 2 次！展開為 ((i++)>(j)?(i++):(j))
MAX(i++, j+10); // i 增加 1 次
MAX(5, "hello"); // 編譯通過但邏輯錯誤，比較 int 與字串指標

內聯函數正確寫法

inline int Max(int a, int b) {
    return a > b ? a : b;
}

// 類別內定義自動視為內聯
class A {
    void foo() { cout << "inline\n"; } // 隱式 inline
};

內聯函數的限制

• 包含迴圈、遞迴、switch、try-catch 等複雜控制流時，編譯器可能拒絕內聯（視為普通函數）。
• 過度內聯會導致程式碼膨脹，反而降低指令快取命中率。
• inline 只是建議，編譯器有最終決定權。

何時仍需用宏？

唯一常見例外：assert 斷言宏。因為斷言僅在 Debug 版生效，若為函數會因呼叫開銷導致 Debug/Release 行為差異（記憶體佈局、時序改變），宏能確保零開銷且不影響 Release 版程式碼。

最佳實務建議

1. 優先使用 inline / constexpr 函數 替代所有宏。
2. 簡單、高頻、短小的函數適合內聯（存取器、數學運算）。
3. 宏名稱全大寫，參數與表達式全加括號，若不可避免使用宏。
4. C++17 起推薦 constexpr if、if constexpr 替代條件編譯宏。