C 語言宏定義陷阱深度解析：參數副作用與展開順序

經典陷阱題目

#define N 3
#define Y(n) ((N+1)*n)

printf("%d\n", 2*(N+Y(5+1)));  // 結果是多少？

直覺計算：N=3，Y(6)=4*6=24，2*(3+24)=54。錯誤！ 實際輸出 48。

宏展開逐步還原

宏處理是文本替換，非計算求值。預處理器按順序展開：

1. N → 3
2. Y(n) → ((3+1)*n) → (4*n)
3. 表達式：2*(3+Y(5+1))
4. Y(5+1) → 4*5+1 （注意：參數 5+1 直接替換 n，無括號保護）
5. 最終：2*(3+4*5+1) = 2*(3+20+1) = 2*24 = 48

核心問題：參數未加括號

#define Y(n) ((N+1)*n) 中，參數 n 在替換時未用括號包裹。調用 Y(5+1) 時，5+1 整體替換 n，導致 4*5+1 而非 4*(5+1)。

修正版本

#define Y(n) ((N+1)*(n))  // 參數加括號
// 或更完善：
#define Y(n) ((N+1)*((n)))

現在 Y(5+1) → 4*(5+1) = 24，最終結果 54，符合預期。

宏定義黃金法則

進階陷阱：遞歸展開與 ## 拼接

// 字符串化 #
#define STR(x) #x
STR(hello)  // → "hello"

// 拼接 ##
#define CONCAT(a,b) a##b
CONCAT(var, 1)  // → var1

// 兩層展開技巧：強制參數先展開再字符串化
#define _STR(x) #x
#define STR(x) _STR(x)
#define VALUE 42
STR(VALUE)  // → "42" 而非 "VALUE"

調試宏展開

# 查看預處理後代碼
gcc -E source.c -o source.i
# 或
cpp source.c

遇到宏相關 Bug，首要動作查看 .i 文件，肉眼核對展開結果。

現代 C 替代方案

• inline 函數：類型安全、可調試、無副作用風險，編譯器優化同等效果
• constexpr (C++)：編譯期計算
• _Generic (C11)：類型泛型宏替代

原則：能用函數/常量別用宏，宏僅用於編譯期配置、日誌位置捕獲、代碼生成等無替代場景。