C 語言可變參數完整指南：va_list 實現原理、傳遞技巧、常見陷阱與解決方案

一、可變參數核心機制

C 語言通過 <stdarg.h> 四個宏實現可變參數：

• va_list：參數列表指針類型（通常 char*）。
• va_start(ap, last_fixed)：定位到第一個可變參數。
• va_arg(ap, type)：取參數並推進指針。
• va_end(ap)：清理（某平台需置 NULL）。

二、編譯器內部實現原理 (x86/MSVC 為例)

typedef char* va_list;
#define _INTSIZEOF(n)  ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1)) // 對齊到 int 倍數

#define va_start(ap, v)  (ap = (va_list)&v + _INTSIZEOF(v))
#define va_arg(ap, t)    (*(t*)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)))
#define va_end(ap)       (ap = (va_list)0)

關鍵假設：

1. 參數從右向左壓棧（__cdecl）。
2. 棧向低地址增長。
3. 參數在棧上連續分佈，最後一個固定參數地址 + 對齊大小 = 第一個可變參數地址。

三、手寫簡易 printf 驗證原理

void my_printf(const char* fmt, ...) {
    va_list ap; va_start(ap, fmt);
    while (*fmt) {
        if (*fmt != '%') { putchar(*fmt++); continue; }
        switch (*++fmt) {
            case 'd': printf("%d", va_arg(ap, int)); break;
            case 's': printf("%s", va_arg(ap, char*)); break;
            // ...
        }
        ++fmt;
    }
    va_end(ap);
}

四、進階場景與解決方案

1. 可變參數透傳（封裝自己的日誌函數）

void Log(const char* fmt, ...) {
    va_list ap; va_start(ap, fmt);
    vprintf(fmt, ap); // 標準庫提供 vprintf/vfprintf/vsprintf
    va_end(ap);
}

2. 可變參數在函數間傳遞

// 被調用者接收 va_list
void SubFunc(const char* fmt, va_list ap) {
    vprintf(fmt, ap);
}

// 調用者轉換
void MainFunc(const char* fmt, ...) {
    va_list ap; va_start(ap, fmt);
    SubFunc(fmt, ap); // 直接傳遞
    va_end(ap);
}

3. 提取函數指針類型參數

陷阱：va_arg(ap, int(*)()) 語法錯誤（函數指針類型無法直接放入宏）。

解決：typedef int (*FuncPtr)(); 然後 va_arg(ap, FuncPtr)。

4. float 類型參數提取

規則：可變參數中 float 自動提升為 double，char/short 提升為 int。

正確用法：va_arg(ap, double) 取原 float，va_arg(ap, int) 取原 char/short。

5. 至少一個固定參數限制

ANSI C 要求 va_start 需要最後一個固定參數作為定位錨點，故 int f(...) 非法，必須 int f(int fixed, ...)。

五、常見錯誤與避坑清單

六、C++ 現代替代方案

• 可變參數模板：template<typename... Args> void Log(Args&&... args)，類型安全、零開銷、支援任意類型。
• fmtlib / std::format (C++20)：fmt::print("{}: {}\n", "tag", 42)，編譯期格式檢查，性能優於 printf。
• std::initializer_list：同類型參數列表，void Log(std::initializer_list<int>)。