C 語言巨集與函數深度對比：代碼長度、執行速度、運算符優先級、參數求值與類型檢查

C 語言巨集與函數深度對比：代碼長度、執行速度、運算符優先級、參數求值與類型檢查

C 語言中巨集與函數均可實現代碼復用，但本質機制迥異。巨集在預處理階段進行文本替換，函數在編譯後透過呼叫棧執行。本文從五大維度系統對比，助你做正確選擇。

對比維度總覽

一、 代碼長度：展開 vs 呼叫

#define SQUARE(x) ((x)*(x))
inline int square_func(int x) { return x*x; }

巨集每處使用皆插入乘法表達式，函數僅保留一份機器碼。大量使用巨集會導致目標檔膨脹（代碼膨脹），影響指令快取命中率。

二、 執行速度：零開銷 vs 呼叫開銷

巨集無函數呼叫指令（call/ret）、無棧框架建立/銷毀，適合極簡運算（如 MAX、ABS）。但現代編譯器對 inline 函數積極內聯，實際性能差距常可忽略。

三、 運算符優先級：巨集陷阱

#define MUL(a,b) a*b          // 危險！
#define MUL_SAFE(a,b) ((a)*(b)) // 安全

int x = MUL(2+3, 4);   // 展開：2+3*4 = 14 ❌
int y = MUL_SAFE(2+3,4); // 展開：(2+3)*(4) = 20 ✅

鐵律：巨集參數與整體表達式必雙層括號包裹。

四、 參數求值：副作用陷阱

#define MAX(a,b) ((a)>(b)?(a):(b))
int i = 5;
int m = MAX(i++, 10); // i++ 被展開兩次，i 變 7 ❌
// 函數版：int max_func(int a,int b) { return a>b?a:b; }
// max_func(i++, 10); // i 僅增 1 ✅

巨集參數若含副作用（++、函數呼叫、賦值），會導致多次求值，邏輯錯誤極難排查。

五、 參數類型：類型安全

• 巨集：MAX(3.14, 2.71)、MAX("abc", "def") 皆合法（若運算符支援），編譯器不檢查類型。
• 函數：參數類型固定，int max(int,int) 傳入 double 會隱式轉換或報警，類型不匹配直接報錯。

六、 選擇建議

• 優先用 inline 函數 / constexpr (C++)：類型安全、無副作用、編譯器可優化、偵錯可見。
• 巨集適用場景：編譯期常數（#define MAX_SIZE 1024）、條件編譯（#ifdef DEBUG）、型別無關的簡單運算（且參數無副作用）、編譯器不支援內聯的極老舊環境。
• 避免巨集實現複雜邏輯：改用函數，必要時加 static inline（C99）或 __forceinline（MSVC）。

理解巨集「文本替換」本質，才能避開經典坑，寫出可維護的 C 代碼。