C 語言技巧：結構體參數轉可變參數宏——複合字面量與 __VA_ARGS__ 實現鏈式調用

前言

C99 引入**複合字面量**與**可變參數宏**，使得「結構體參數函數」可轉為「可變參數函數」調用風格，極大提升調用處可讀性。本文解析酷殼經典案例，展示宏展開原理、GCC/Clang/MSVC 兼容性與工程應用建議。

核心代碼

#include <stdio.h>

#define func(...) myfunc((struct mystru){__VA_ARGS__})

struct mystru {
    const char *name;
    int number;
};

void myfunc(struct mystru ms) {
    printf("%s: %d\n", ms.name ? ms.name : "untitled", ms.number);
}

int main() {
    func("three", 3);                    // 位置參數
    func("hello");                       // 省略 number → 0
    func(.name = "zero");                // 指定初始化器
    func(.number = 42, .name = "argc");  // 亂序指定
    func(.number = 42);                  // 僅指定 number
    return 0;
}

輸出結果

three: 3
hello: 0
zero: 0
argc: 42
untitled: 42

宏展開原理

// 調用                    → 展開後
func("three", 3)          → myfunc((struct mystru){"three", 3});
func("hello")             → myfunc((struct mystru){"hello"});
func(.name = "zero")      → myfunc((struct mystru){.name = "zero"});
func(.number=42,.name="a")→ myfunc((struct mystru){.number=42, .name="a"});
func(.number=42)          → myfunc((struct mystru){.number=42});

**關鍵點**：

1. 複合字面量 `(struct mystru){...}` 創建臨時結構體對象（生命週期至塊結束）。
2. 指定初始化器 `.field = val` 允許任意順序、選擇性賦值，未指定字段自動零初始化。
3. `__VA_ARGS__` 原樣透傳進大括號，編譯器完成結構體初始化語法檢查。

編譯器支援矩陣

工程應用場景

• 選項結構體簡化調用：`window_create(.title="App", .width=800, .height=600, .resizable=true);`
• 測試用例構建**：`test_case(.input="abc", .expect=3, .desc="basic");`
• 日誌/追蹤宏**：`LOG(.level=WARN, .msg="timeout", .ctx=ptr);`

避坑指南

1. ❌ **不要在頭文件濫用**：宏展開會汙染命名空間，僅在 `.c` 內部或極薄封裝層使用。
2. ❌ **不可用於需要常量表達式的上下文**（如靜態斷言、枚舉值、位域寬度）。
3. ❌ **臨時對象生命週期**僅至當前塊結尾，若函數異步保存指針會懸空 → 必須在函數內拷貝或同步處理。
4. ✅ **配合 `_Generic` (C11)** 可實現類型安全的重載模擬。

現代 C++ 對比

C++20 指定初始化器已標準化，且可直接用結構體聚合初始化：

struct Opt { const char* name; int val; };
void func(Opt o);
func({.name="x", .val=1});  // C++20 合法，無需宏

**結論**：純 C 專案中該技巧極具價值；C++ 新代碼優先用原生聚合初始化。