C 語言預處理器進階：字串化(#)、符號連接(##)與字元化(#@)實戰詳解

編輯：關於C語言

C 語言巨集（宏）不僅是常量替換工具，`#`（字串化）、`##`（符號連接/粘貼）、`#@`（字元化）三大預處理運算子能實現代碼生成、除錯輔助、變量名自動化等高階技巧。本文深入解析其語義、編譯器差異與實戰模式。

一、三大運算子核心語義

運算子	名稱	功能	標準支援
`#`	字串化	將宏參數轉為字串字面量	ANSI C (C89)
`##`	符號連接	連接兩個符號生成新符號	ANSI C (C89)
`#@`	字元化	將單字元參數轉為字元常量	非標準 (GCC/舊版 MSVC 支援)

二、符號連接 `##`：生成標識符的藝術

基本用法

#define CONCAT(x, y) x ## y

int CONCAT(a, b);      // 展開為: int ab;
printf(CONCAT("ab", "cd")); // 展開為: printf("abcd");

進階：變量名前綴自動化

#define DECLARE_VAR(prefix, name) int prefix ## _ ## name

DECLARE_VAR(MODULE_A, counter); // int MODULE_A_counter;
DECLARE_VAR(MODULE_A, buffer);  // int MODULE_A_buffer;

統一修改前綴只需改宏調用處，消除手動重命名錯誤。

⚠️ 參數展開順序陷阱


#define M 0
#define VAR(x) Var_##x

int VAR(M); // 標準 C: 展開為 Var_M (參數不遞歸展開)
// 部分舊編譯器 (如 TC 2.0): 可能展開為 Var_0

規則：`##` 連接的是參數符號本身，不遞歸展開參數內容。需間接宏強制展開：


#define VAR_INDIRECT(x) VAR(x)
#define VAR(x) Var_##x

int VAR_INDIRECT(M); // 先展開 M -> 0，再連接 -> Var_0

三、字串化 `#`：變量名變字串

基本用法


#define TO_STRING(x) #x

printf(TO_STRING(variable_name)); // 輸出: "variable_name"
printf(TO_STRING(Hello World));   // 輸出: "Hello World" (空格保留)

除錯神器：自動輸出變量名與值


#define CHECK_VAR(x, fmt) printf(#x " = " #fmt "\n", x)

int count = 42;
CHECK_VAR(count, %d); // 展開為: printf("count = %d\n", count);
// 輸出: count = 42

間接字串化：展開宏值而非名字


#define STR(x) #x
#define XSTR(x) STR(x)

#define VERSION 1.2.3
printf(XSTR(VERSION)); // 輸出: "1.2.3" 而非 "VERSION"

四、字元化 `#@`：單字元轉字元常量

非標準，僅部分編譯器支援（GCC、舊版 MSVC），現代代碼不建議使用。


#define TO_CHAR(x) #@x

char c = TO_CHAR(a);  // 'a'
char d = TO_CHAR(1);  // '1'
char e = TO_CHAR(abc); // 'c' (取最後一字元，超過 4 字元報錯)

標準替代方案：`#define TO_CHAR(x) #x[0]` 配合字串化，或直接寫字元常量。

五、字串字面量自動連接：比 `##` 更簡潔

C 標準規定：相鄰字串字面量自動連接，無需任何運算子。


printf("Hello " "World"); // 等同於 "Hello World"
puts(TO_STRING(identifier) "\n"); // 字串化結果直接接換行符

此特性在編譯期完成，零運行開銷，優於運行時 `strcat`。

六、引號內宏不展開：標準行為與舊編譯器差異


#define CTRL(c) ('c' & 0x1F) // 錯誤！'c' 是字元常量，宏參數 c 不展開

// 正確寫法：利用字元運算
#define CTRL(c) ((c) & 0x1F)
CTRL('d') // -> ('d' & 0x1F) = 4

ANSI C 規定：字串/字元常量內的宏參數不展開。舊編譯器可能違反此規則，導致代碼不可移植。

七、實戰總結：何時使用這些技巧

##：大量相似變量/函數聲明（如寄存器映射、狀態機表）、生成唯一標識符（`__LINE__` 組合）。
#：除錯日志自動帶變量名、序列化欄位名生成、靜態斷言訊息。
組合招：`#define LOG_VAR(x) printf(#x " = %d\n", x)` 結合 `##` 生成專用日志函數族。
避坑指南：優先用 `const`/`enum`/`inline` 替代宏；宏名全大寫；複雜宏用 `do{...}while(0)` 包裹；善用編譯器 `-E` 查看展開結果。

掌握預處理器元編程能力，能讓 C 代碼在保持零開銷的前提下獲得驚人的表達力與可維護性。