C語言可變參數列表（varargs）機制詳解：va_list/va_start/va_arg/va_end 實戰指南

核心概念

可變參數函數允許參數個數、類型在調用時確定。標準庫 printf、scanf、execl 皆基於此機制。C 語言通過 <stdarg.h> 提供四大工具：

標準使用流程

#include <stdarg.h>

返回類型 func(固定參數, ...) {
    va_list ap;
    va_start(ap, last_fixed);  // 1. 初始化
    while (還有參數) {
        type val = va_arg(ap, type); // 2. 逐個獲取
        // 處理 val
    }
    va_end(ap);                // 3. 清理
    return 結果;
}

關鍵規則與陷阱

1. 至少一個固定參數：`va_start` 需要最後一個固定參數作為定位錨點。`void f(...)` 非法（C 標準禁止）。
2. 類型自行約定：編譯器不檢查 `va_arg` 類型與實際傳入是否匹配。錯誤類型導致未定義行為（棧損壞、讀錯數值）。常見約定：
   • printf：格式字符串指示類型（`%d`→`int`，`%f`→`double`）。
   • execl：以 `NULL` 結束的 `char*` 列表。
   • 自定義：首參數傳計數，或特定哨兵值結束。
3. 默認參數提升：可變參數位置發生整數提升（`char`/`short`→`int`，`float`→`double`）。因此：
   • `va_arg(ap, float)` 錯誤，必須用 `double`。
   • `va_arg(ap, char)` / `short` 錯誤，用 `int`。
4. 多次遍歷需 va_copy：`va_arg` 消耗游標，二次遍歷前必須 `va_copy` 備份（C99）。
5. 不支持引用/類類型：C 無引用，C++ 可變參數模板（C++11）更安全，C 僅限 POD 類型。

實戰案例 1：類 printf 簡易實現

void my_printf(const char *fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    while (*fmt) {
        if (*fmt == '%') {
            switch (*++fmt) {
                case 'd': {
                    int val = va_arg(ap, int);
                    char buf[16];
                    int len = sprintf(buf, "%d", val);
                    fwrite(buf, 1, len, stdout);
                    break;
                }
                case 's': {
                    const char *s = va_arg(ap, const char *);
                    fwrite(s, 1, strlen(s), stdout);
                    break;
                }
                case 'f': {
                    double val = va_arg(ap, double); // float 提升為 double
                    char buf[32];
                    int len = sprintf(buf, "%.6f", val);
                    fwrite(buf, 1, len, stdout);
                    break;
                }
                default: putchar(*fmt);
            }
        } else {
            putchar(*fmt);
        }
        ++fmt;
    }
    va_end(ap);
}

實戰案例 2：計算平均值（首參數傳計數）

double average(int count, ...) {
    va_list ap;
    va_start(ap, count);
    double sum = 0;
    for (int i = 0; i < count; ++i)
        sum += va_arg(ap, double); // 實參傳 double 或 int（提升為 double）
    va_end(ap);
    return count ? sum / count : 0;
}

// 調用
printf("%.2f\n", average(3, 1.0, 2.0, 3.0)); // 2.00
printf("%.2f\n", average(5, 10, 20, 30, 40, 50)); // 30.00 (int 提升為 double 後轉換)

實戰案例 3：動態字符串拼接（以 NULL 結束）

char *str_concat(const char *first, ...) {
    va_list ap, ap2;
    va_start(ap, first);
    va_copy(ap2, ap); // 備份用於二次遍歷
    
    // 第一遍：計算總長度
    size_t total = strlen(first);
    const char *p;
    while ((p = va_arg(ap, const char *)) != NULL)
        total += strlen(p);
    va_end(ap);
    
    // 分配內存
    char *result = malloc(total + 1);
    if (!result) { va_end(ap2); return NULL; }
    
    // 第二遍：拷貝
    char *dst = stpcpy(result, first);
    while ((p = va_arg(ap2, const char *)) != NULL)
        dst = stpcpy(dst, p);
    va_end(ap2);
    
    return result; // 調用者負責 free
}

// 調用
char *s = str_concat("Hello", " ", "World", "!", NULL);
puts(s); // Hello World!
free(s);

進階：結構體傳遞與對齊陷阱

結構體作可變參數傳遞時，按值壓棧，可能涉及對齊填充。建議傳指針：

void draw_shapes(int count, ...) {
    va_list ap;
    va_start(ap, count);
    for (int i = 0; i < count; ++i) {
        const struct Shape *s = va_arg(ap, const struct Shape *);
        // 繪製 s
    }
    va_end(ap);
}

總結

• 可變參數是 C 語言運行期多態的基石，但類型不安全，需嚴格約定協議（格式串、計數、哨兵）。
• 掌握 va_start/arg/end/copy 四件套，注意默認提升（float→double, char/short→int）。
• 現代 C++ 優先使用可變參數模板（类型安全、零開銷），C 代碼維護時才用 varargs。
• 調試技巧：對照汇編查看棧佈局，或用 __builtin_va_arg_pack() (GCC/Clang) 輔助。