C 語言宏定義深度解析：從符號常量到類函數宏與預處理運算符

前言

在 C 語言開發中，#define 巨集定義是預處理階段最強大的工具之一。它不僅能簡化程式碼維護，還能實現類函數行為、字串化與標記粘合等進階功能。本文將系統整理巨集定義的核心概念、常見陷阱與最佳實踐。

一、符號常量：程式碼維護的基石

基本語法與運作機制

巨集定義由三部分組成：#define 指令、巨集名稱（縮略語）與替換文本（主體）。預處理器會在編譯前將原始碼中所有巨集名稱替換為對應的主體內容，這一過程稱為「巨集展開」。

#define PI 3.1415926

之後程式碼中的 PI 皆會被替換為 3.1415926。若需修改精度，僅需更改定義處，避免逐一搜尋替換的風險。

關鍵規則與注意事項

• 巨集名稱通常全大寫，不可包含空格，需遵循 C 變數命名規則。
• 主體可為常數、運算式、甚至完整陳述句（含分號），本質上是任意字串。
• 主體中若包含其他巨集名稱，會遞迴展開；但若被雙引號包裹，則視為字面字串，不再替換。
• 長主體可用反斜線 \ 換行續寫，但需注意下一行開頭的空白也會成為主體一部分。

二、類函數宏：帶參數的巨集

定義與呼叫

類函數巨集在名稱後緊接括號並列出參數，外觀類似函數：

#define SQUARE(X) ((X) * (X))

呼叫 SQUARE(5) 會展開為 ((5) * (5))。預處理器僅做純文字替換，不具備函數的參數求值、型別檢查等語意。

經典陷阱：運算子優先級與副作用

若定義為 #define SQUARE(X) X * X，呼叫 SQUARE(3+4) 會展開為 3 + 4 * 3 + 4，結果為 19 而非預期的 49。解決之道是為每個參數與整體運算式加上括號：

#define SQUARE(X) ((X) * (X))

多語句巨集的安全包裝：do { ... } while(0)

當巨集主體包含多條陳述句時，若僅用大括號包裹，在 if-else 語句中尾隨的分號會導致語法錯誤。Linux 核心採用的標準模式：

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

do-while(0) 保證迴圈體恰好執行一次，且整體視為單一陳述句，完美解決分號與 else 配對問題。

三、預處理運算符 # 與 ##

字串化運算符 #

僅用於類函數巨集參數前，將實參轉換為字串常值：

#define TO_STRING(x) #x
TO_STRING(hello)  // 展開為 "hello"

類對象巨集（無參數）不支援此運算符。

標記粘合運算符 ##

將兩個標記合併為單一標記，常用於自動產生變數/函數名稱：

#define DECLARE_VAR(name, idx) int name##idx = 0;
DECLARE_VAR(counter, 1)  // 展開為 int counter1 = 0;

此運算符亦可用於類對象巨集的替換文本中。

總結

巨集定義是 C 語言預處理器的核心功能，善用能大幅提升程式碼可讀性與可維護性；但其本質為文字替換，缺乏型別安全與作用域隔離，濫用易引發難以除錯的問題。現代 C 開發建議：常量優先用 const 或 enum，簡單函數優先用 inline 函數，僅在條件編譯、程式碼生成等預處理器獨有場景使用巨集。