C 語言巨集使用陷阱：定義順序導致的非預期行為與最佳實務

前言

巨集 是 C 語言強大的預處理功能，但「巨集在預處理階段單純進行文字替換」這一特性，常導致難以除錯的問題。本文分享一個真實踩坑案例：巨集定義順序錯誤導致條件編譯失效，並對比 inline 函式優缺點，提供最佳實務建議。

案例還原：定義在使用之後

錯誤程式碼

#include <stdio.h>

#ifdef ENABLE_FEATURE
int i_g_value = 1;
#else
int i_g_value = 2;
#endif

#define ENABLE_FEATURE  // 巨集定義在 #ifdef 判斷之後！

int main() {
    printf("\ni_g_value=%d\n", i_g_value);
    return 0;
}

編譯執行結果

gcc -o macro_test macro_test.c
./macro_test
i_g_value=2   // 預期為 1，實際為 2

原因分析

預處理器自上而下單向掃描。執行 #ifdef ENABLE_FEATURE 時，ENABLE_FEATURE 尚未定義，因此進入 #else 分支，i_g_value 被設為 2。後面的 #define 已來不及影響前面的條件判斷。

修正程式碼

#include <stdio.h>

#define ENABLE_FEATURE  // 先定義

#ifdef ENABLE_FEATURE
int i_g_value = 1;
#else
int i_g_value = 2;
#endif

int main() {
    printf("\ni_g_value=%d\n", i_g_value);  // 輸出 1
    return 0;
}

巨集 vs inline 函式：如何選擇？

巨集使用鐵律

1. 能用 const/enum/inline 就不用巨集。
2. 巨集名稱全大寫，避免與變數衝突。
3. 複雜巨集參數加括號，本體加大括號：#define MAX(a,b) ((a)>(b)?(a):(b))。
4. 巨集定義必須在所有使用處之前 (含標頭檔包含順序)。
5. 避免多行巨集，若必要請用 do { ... } while(0) 包裹。

真實教訓總結

這是一個「簡單到不可思議」的錯誤，卻在大型專案中因檔案龐大、#include 巢狀複雜而難以發現。養成「先定義、後使用」的習慣，並善用編譯器 -E 選項輸出預處理結果檢查，能省下數小時除錯時間。