C/C++ 前置處理器 # 與 ## 運算子深度解析：字串化與符號串聯

前置處理器元程式設計：# 與 ## 運算子完全指南

C/C++ 前置處理器提供兩個強大的運算子：`#` (字串化) 與 `##` (符號串聯)，支援巨集展開時的文字操作，是建立領域特定語言、自動產生程式碼的關鍵工具。

運算子語法與語意

經典範例：變數名稱與值同時印出

#define MZ_PRINT(n) printf("x" #n "=%d", x##n)

int main() {
    int x1 = 1;
    MZ_PRINT(1);   // 展開過程見下
    return 0;
}

預處理展開過程逐步追蹤

1. 引數替換：`n` → `1`
2. # 運算子作用：`#n` → `"1"` (參數字串化)
3. ## 運算子作用：`x##n` → `x1` (符號串聯)
4. 字串字面常數合併：`"x" "1" "=%d"` → `"x1=%d"` (編譯器自動合併相鄰字串字面常數)
5. 最終結果：

   printf("x1=%d", x1);

進階應用模式

1. 自動產生存取函數

#define DECLARE_GETTER(type, name) \
    type get_##name() { return name; }

#define DECLARE_SETTER(type, name) \
    void set_##name(type value) { name = value; }

int health, mana;
DECLARE_GETTER(int, health)   // → int get_health() { return health; }
DECLARE_SETTER(int, mana)     // → void set_mana(int value) { mana = value; }

2. 建立唯一識別符 (配合 `__LINE__` 或 `__COUNTER__`)

#define CONCAT(a, b) a##b
#define UNIQUE_NAME(prefix) CONCAT(prefix, __LINE__)

int UNIQUE_NAME(temp_) = 0;  // → int temp_42 = 0; (假設在第 42 行)

3. 字串化用於除錯與日誌

#define LOG_VAR(x) printf(#x " = %d\n", x)

int score = 100;
LOG_VAR(score);  // → printf("score = %d\n", score);

4. 多層巨代展開技巧 (延遲串聯)

#define PASTE(a, b) a##b
#define EXPAND_AND_PASTE(a, b) PASTE(a, b)

#define FOO 100
EXPAND_AND_PASTE(FOO, BAR)  // → 100BAR (FOO 先展開為 100)
PASTE(FOO, BAR)             // → FOOBAR (直接串聯，不展開 FOO)

標準規範與編譯器行為細節

字串化 (#) 規則

• 參數前後的空白字元被忽略
• 參數內部的多重空白壓縮為單一空白
• 字串字面常數中的 `"` 和 `\` 自動加上跳脫字元
• 結果為單一字串字面常數，可與相鄰字串自動合併

符號串聯 (##) 規則

• 串聯前後必須形成合法的前置處理符號
• 若結果非合法符號 (如 `##` 產生 `@@`)，行為未定義
• 串聯發生於參數替換之後，但掃描進一步展開之前
• 常見陷阱：`#define CAT(a,b) a##b` → `CAT(FOO, BAR)` 不會先展開 FOO/BAR，需雙層巨集

實務最佳實踐

1. 使用雙層巨集強制參數先展開：

   
   #define _CAT(a, b) a##b
   #define CAT(a, b) _CAT(a, b)  // 第二層觸發參數完整展開
   

2. 避免在公開 API 使用 ## 產生難以除錯的符號，除非有充分理由 (如自動註冊機制)
3. 字串化配合 `__FILE__` `__LINE__` `__func__` 建立豐富除錯資訊
4. 善用編譯器 `-E` 選項檢查巨集展開結果：`gcc -E source.c` 或 MSVC `/E`

C++ 現代替代方案

C++11 起提供更安全的替代方案：

• 模板 + constexpr：型別安全的編譯期計算
• lambda + 重載：替代巨集產生的函數族
• 原子操作與鎖：替代巨集定義的同步原語
• fmtlib / std::format (C++20)：型別安全的格式化，替代 `#` 字串化技巧

掌握 `#` 與 `##` 能讓你在需要巨集元程式設計時遊刃有餘，但記住：「能用語言核心特性解決的，盡量不用巨集」。