C 語言預處理教程（二）：帶參宏定義完整規則、參數括號陷阱、宏 vs 函數本質差異

前言

帶參宏是 C 語言**編譯期文本替換**機制的核心，外觀像函數、實則無調用開銷、無類型檢查、無作用域隔離。本文系統講解定義/調用語法、六大核心規則 (空格禁忌、無類型/內存、實參表達式直接替換、參數/整體括號必要性、宏 vs 函數語義差異、多語句宏)，並給出經典陷阱代碼與修正模式。

一、語法速查

/* 定義 */
#define 宏名(形參列表)  替換文本

/* 調用 */
宏名(實參列表);

關鍵：宏名與左括號 **絕對不能有空格**，否則退化為無參宏。

二、六大核心規則深度解析

規則 1：宏名與左括號零空格

#define MAX(a,b) (a>b?a:b)   /* 正確 */
#define MAX (a,b) (a>b?a:b)   /* 錯誤：視為無參宏，替換文本為 "(a,b)(a>b?a:b)" */
MAX(x,y)  →  (a,b)(a>b?a:b)(x,y)  /* 明顯語法錯誤 */

規則 2：形參無類型、無內存、無作用域

• 形參只是**符號佔位符**，預處理階段純文本替換。
• 實參**必須已聲明類型並有值**；調用時直接將實參文本替換形參。
• **無「值傳遞」概念**；函數則有形參實參各自內存、發生值拷貝。

規則 3：實參可以是任意表達式，原樣替換

#define SQ(y) (y)*(y)
main() {
    int a = 3;
    int sq = SQ(a+1);  // 實參為表達式 a+1
}
/* 展開後：sq = (a+1)*(a+1);  → 16  ✓ */
/* 函數調用則會先計算 a+1=4 再傳值，結果同但機制不同 */

規則 4：參數兩側與整體**必須加括號**，否則優先級導致語義錯誤

鐵律：#define MACRO(p) ((p) op (p)) —— **參數兩側加括號、整體外層加括號**。

規則 5：宏 vs 函數——形式相似、本質不同 (副作用/求值次數/類型檢查)

/* 函數版 */
int SQ(int y) { return (y)*(y); }
main() { int i=1; while(i<=5) printf("%d\n", SQ(i++)); }
/* 輸出：1 4 9 16 25  (i 每次遞增 1) */

/* 宏版 */
#define SQ(y) ((y)*(y))
main() { int i=1; while(i<=5) printf("%d\n", SQ(i++)); }
/* 展開：((i++)*(i++))
   i=1: 1*2=2, i→3
   i=3: 3*4=12, i→5
   i=5: 5*6=30, i→7 循環結束
   輸出：2 12 30  ✗ 邏輯完全不同 */

核心差異表

規則 6：宏可定義多語句，調用處展開為語句序列

#define SSSV(s1,s2,s3,v) s1=l*w; s2=l*h; s3=w*h; v=w*l*h;
main() {
    int l=3,w=4,h=5, sa,sb,sc,vv;
    SSSV(sa,sb,sc,vv);  // 展開為 4 條賦值語句
    printf("sa=%d sb=%d sc=%d vv=%d", sa,sb,sc,vv);
}

注意：多語句宏**不應**用 { } 包裹 (會影響 if/else 配對)，推薦用 do { ... } while(0) 包裹 (C99 慣用模式)。

三、經典陷阱總結與修正模式

四、現代 C 最佳實踐

1. **能用 inline 函數 / constexpr (C++) 絕不寫宏**。
2. 宏僅用於：編譯期常量 (#define MAX 100)、條件編譯 (#ifdef DEBUG)、類型無關的通用代碼片段 (如容器 #define container_of(ptr, type, member) ...)。
3. 宏名**全大寫 + 下劃線** (MAX_SIZE)，避免與標識符衝突。
4. 複雜宏**必須**用 do { ... } while(0) 包裹，保證語句級語義。
5. 啟用編譯器警告 -Wshadow -Wmacro-redefined 捕獲宏濫用。

總結

帶參宏是**文本替換**，而非函數調用。牢記「無空格、無類型、實參原樣替換、雙層括號、副作用致命、多語句 do-while(0)」六大鐵律，並以 **inline 函數** 為首選替代方案，方能駕馭這把雙刃劍，避免「宏禍」污染代碼庫。