C 語言預處理器：#define 宏定義完全指南與避坑手冊

來源：博客園

#define 本質：預處理器文本替換

發生在預處理階段，純文本替換，**無任何計算、類型檢查、作用域概念**。經過預處理 → 編譯 → 匯編 → 鏈接。

兩種基本形式

1. 對象式宏：#define PI 3.1415926
2. 函數式宏：#define SQUARE(x) ((x)*(x))

經典陷阱與解決方案

陷阱 1：運算符優先級導致邏輯錯誤

#define N 2+2
int a = N * N;   // 展開為 2+2*2+2 = 8，非預期 16

// 修正：括號包裹整個表達式
#define N (2+2)  // (2+2)*(2+2) = 16

陷阱 2：函數式宏參數副作用與優先級

#define SQUARE(x) x*x
int y = SQUARE(2+2);        // 2+2*2+2 = 8
int z = SQUARE(2+2)/SQUARE(2+2);  // (2+2*2+2)/(2+2*2+2) = 8/8*8 = 64 錯誤！

// 修正：參數加括號 + 整體加括號
#define SQUARE(x) ((x)*(x))
// SQUARE(2+2) → ((2+2)*(2+2)) = 16
// SQUARE(2+2)/SQUARE(2+2) → 16/16 = 1 正確

黃金法則

1. 宏體內每個參數用 () 包裹
2. 整個宏體用 () 包裹
3. 多語句宏用 do { ... } while(0) 包裹

宏的優勢與劣勢

現代 C/C++ 替代方案

• 常量：constexpr double PI = 3.1415926;
• 內聯函數：inline int square(int x) { return x*x; }
• 模板：template T square(T x) { return x*x; }

三個特殊預處理運算符

1. # 字符串化運算符

#define TO_STRING(x) #x
TO_STRING(hello)  →  "hello"
TO_STRING(123)    →  "123"

2. ## 連接運算符

#define CONCAT(x, y) x##y
CONCAT(var, 1)    →  var1
CONCAT("abc", "def") → "abcdef"

3. #@ 字符化運算符 (Microsoft 擴展)

#define TO_CHAR(x) #@x
TO_CHAR(a)  →  'a'
TO_CHAR(1)  →  '1'
// 超過 1 字符報錯：error C2015

實戰最佳實踐

1. 宏名全大寫 + 下劃線：MAX_BUFFER_SIZE
2. 複雜邏輯改用 inline 函數或模板
3. 多語句宏：#define SAFE_FREE(p) do { free(p); p=NULL; } while(0)
4. 避免宏中出現副作用表達式：SQUARE(i++) 會導致 i 增加兩次
5. 條件編譯用 #if/#elif/#else/#endif，非 #ifdef 判定宏定義存在性

總結

#define 是雙刃劍：用得好是零開銷抽象利器，用不好是難以調試的 Bug 溫床。**牢記「預處理純文本替換、無語義理解」**，嚴守括號法則，優先考慮 constexpr/inline/模板替代，僅在條件編譯、平台適配、極簡內聯等場景堅持使用宏。