C語言可變參數完整指南：va_list、va_start、va_arg、va_end 實戰詳解

編輯：關於C語言

核心機制

<stdarg.h> (C89) / <cstdarg> (C++) 提供一組宏，讓函數以統一介面訪問數量/類型不固定的參數列表（...）。

可變參數**必須位於參數列表末尾**，前面至少有一個固定命名參數（用於 va_start 定位）。
調用者負責傳遞正確數量/類型，**編譯器不檢查** 可變部分類型匹配。

四大核心宏/類型

名稱	類型	作用
`va_list`	類型	保存可變參數掃描狀態的不透明對象
`va_start(ap, last)`	宏	初始化 `ap` 指向 `last` 之後的第一個可變參數
`va_arg(ap, type)`	宏	按 `type` 取出下一個參數，並推進 `ap`
`va_end(ap)`	宏	清理 `ap`，函數返回前必須調用
`va_copy(dest, src)`	宏(C99/C++11)	複製 `va_list`，避免多次遍歷失效

使用規範流程


void func(int fixed, ...) {
    va_list ap;
    va_start(ap, fixed);  // 1. 初始化
    // ... 多次 va_arg(ap, type) 獲取參數 ...
    va_end(ap);           // 3. 必須清理 (匹配 va_start)
}

鐵律：每個 va_start 必須配對一個 va_end，否則行為未定義（棧損壞、內存洩漏）。

經典實戰案例

案例 1：打印任意個 double — `PrintFloats`

第一個參數 amount 指明後續參數個數（約定俗成做法）。


#include 
#include 

void PrintFloats(int amount, ...) {
    va_list ap;
    va_start(ap, amount);
    printf("Floats passed: ");
    for (int i = 0; i < amount; i++) {
        double val = va_arg(ap, double); // 注意：float 傳遞會自動提升為 double
        printf("\t%.2f", val);
    }
    va_end(ap);
    printf("\n");
}

int main() {
    PrintFloats(3, 3.14159, 2.71828, 1.41421);
    return 0;
}

案例 2：尋找最大值 — `FindMax`

同樣用首參數傳遞個數，首個可變參數作為初始最大值。


int FindMax(int amount, ...) {
    va_list ap;
    va_start(ap, amount);
    int max = va_arg(ap, int); // 至少有一個參數
    for (int i = 1; i < amount; i++) {
        int val = va_arg(ap, int);
        if (val > max) max = val;
    }
    va_end(ap);
    return max;
}

案例 3：哨兵結束 — `PrintLines`

不傳個數，用 NULL 指針作為結束標記（類似 execl）。


void PrintLines(char *first, ...) {
    va_list ap;
    va_start(ap, first);
    char *str = first;
    do {
        printf("%s\n", str);
        str = va_arg(ap, char *);
    } while (str != NULL);
    va_end(ap);
}
// 調用: PrintLines("First", "Second", "Third", NULL);

進階話題與避坑指南

類型安全：va_arg 完全信任你傳的 type，傳錯導致未定義行為。float 傳入時會提升為 double，取值必須用 double。
參數個數協議：必須約定機制（首參數計數、格式字符串如 printf、哨兵值），C 語言無法自動獲取 ... 參數數量。
va_list **不可重用**：遍歷後狀態在末尾，需 va_copy 備份或重新 va_start。
默認參數提升：char/short → int, float → double。va_arg(ap, char) **錯誤**，必須用 int。
現代替代：C++11 可變參數模板 (variadic templates) 提供類型安全、編譯期展開，優於 stdarg。