C語言函數式宏定義：典型用法與常見陷阱全解析

C 語言巨集（macro）功能強大但陷阱眾多。本文系統整理函數式巨集的四大典型用法與易錯點，配合代碼示例幫助開發者避開坑洞，寫出健壯的巨集代碼。

陷阱 1：巨集本體不可作左值/右值賦值

#define FUNC() do_something()

錯誤用法：

FUNC() = 10;      // 編譯錯誤
x = FUNC();       // 若無返回值亦錯誤

原因：巨集展開後只是語句序列，不具備表達式屬性。

陷阱 2：用括號包裹獲取最後表達式值

#define FUNC() ({ do_something(); return_value; })

正確用法：

int x = FUNC();   // 可作右值
FUNC();           // 可作語句

注意：

• 必須以分號結尾 FUNC();
• 此為 GCC 擴展（Statement Expressions），非標準 C

陷阱 3：多語句巨集的標準寫法 — do { ... } while(0)

#define MACRO() do { \
    stmt1; \
    stmt2; \
} while(0)

優點：

• 調用時可加分號 MACRO(); 符合習慣
• 在 if-else 中不會產生「懸空 else」問題

缺點：無法作為賦值運算的左/右值。

陷阱 4：需返回值的多語句巨集兩種方案

方案 A：({ ... }) 形式（GCC 擴展）

#define FUNC() ({ \
    int tmp = compute(); \
    tmp;  /* 最後一個表達式為返回值 */ \
})

可直接賦值：int x = FUNC();

方案 B：do { ... } while(0) + 輸出參數

#define FUNC(out) do { \
    int tmp = compute(); \
    *(out) = tmp; \
} while(0)

調用方式：

int result;
FUNC(&result);

最佳實踐總結表

防錯清單

• ✅ 所有參數用括號包裹：#define MAX(a,b) ((a)>(b)?(a):(b))
• ✅ 整個巨集用括號包裹
• ✅ 多語句用 do{...}while(0)
• ✅ 避免參數副作用（如 MAX(i++, j)）
• ✅ 巨集名稱全大寫，避免與函數混淆