C/C++ 可變參數宏完全解析：__VA_ARGS__、GCC 擴展、## 粘合操作符與替代方案

背景

調試打印、日誌記錄等場景常需可變參數宏。C99 標準化 __VA_ARGS__，GCC 提供擴展語法，兩者細節不同，需注意兼容性與陷阱。

四種定義方式

1. 標準 C99：__VA_ARGS__

#define debug(format, ...) fprintf(stderr, format, __VA_ARGS__)

• 調用：debug("msg: %d\n", 123); → 正常展開。
• 調用：debug("msg"); → 展開為 fprintf(stderr, "msg", ); 多出逗號，**編譯錯誤**。
• G++ 不支持此寫法（需 -std=c99 或 GNU 擴展）。

2. GCC 擴展：命名可變參數 args...

#define debug(format, args...) fprintf(stderr, format, args)

• 可讀性更強，args 如同普通參數。
• 同樣面臨空參數時多逗號導致編譯錯誤。

3. C99 + GCC 粘合操作符 ##__VA_ARGS__（推薦）

#define debug(format, ...) fprintf(stderr, format, ##__VA_ARGS__)

• 關鍵機制：若 __VA_ARGS__ 為空，## 會刪除前面的逗號；若非空，正常展開參數。
• debug("msg"); → fprintf(stderr, "msg"); **編譯通過**。
• GCC/Clang/MSVC（新版）均支持，跨平台兼容性最佳。

4. 替代技巧：單一括號參數

#define DEBUG(args) (printf("DEBUG: "), printf(args))

• 調用：DEBUG(("value: %d\n", 42)); —— 雙層括號模擬參數列表。
• 缺點：調用語法異常，需雙括號；無類型檢查；不推薦新代碼使用。

最佳實踐建議

1. 優先使用 ##__VA_ARGS__ 寫法，兼容 C99/GCC/MSVC。
2. 配合 do { ... } while(0) 包裹多語句宏，避免控制流陷阱。
3. 針對 C++ 建議使用 std::ostream 或 fmt 庫等類型安全方案替代宏。

示例：通用日誌宏

#define LOG(level, fmt, ...) \
    do { \
        if (level <= g_log_level) { \
            fprintf(stderr, "[%s] " fmt "\n", level_str(level), ##__VA_ARGS__); \
        } \
    } while(0)