您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> 關於C

C 語言可變參數完整指南：stdarg.h 宏機制與實戰案例

編輯：關於C

前言

C 語言通過 `` 提供的宏機制實現可變參數函數（如 `printf`、`scanf`）。本文系統講解 `va_list`、`va_start`、`va_arg`、`va_end` 的工作原理、使用規範，並給出三個經典實戰案例。

核心類型與宏

名稱	類型	作用
`va_list`	類型	保存可變參數列表信息的不透明對象
`va_start(ap, last)`	宏	初始化 `ap`，使其指向第一個可變參數（`last` 為最後一個固定參數名）
`va_arg(ap, type)`	宏	按 `type` 取出下一個參數，並推進 `ap`
`va_end(ap)`	宏	清理 `ap`，函數返回前必須調用
`va_copy(dest, src)`	宏(C99)	複製 `va_list`，避免多次遍歷污染

使用規範（必須遵守）

函數原型至少有一個固定參數，後接 `...`：int func(int fixed, ...);
函數體內：聲明 `va_list ap;` → `va_start(ap, fixed);` → 循環 `va_arg(ap, type)` → `va_end(ap);`。
無法自動獲取參數個數/類型，需由固定參數（如格式字符串、計數器）約定。
每次 `va_start` 必須配對 `va_end`，否則未定義行為。

案例一：打印任意個 double（計數器約定個數）


#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;
}
// 輸出: Floats passed:   3.14  2.72  1.41

案例二：尋找可變參數中的最大值


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;
}

int main() {
    printf("Max: %d\n", FindMax(7, 702, 422, 631, 834, 892, 104, 772)); // 892
    return 0;
}

案例三：打印字符串列表（以 NULL 結束哨兵）


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);  // 以 NULL 指針作為結束標記
    va_end(ap);
}

int main() {
    PrintLines("First", "Second", "Third", "Fourth", NULL);
    return 0;
}

進階話題與避坑指南

1. 默認參數提升

`float` → `double`，`char`/`short` → `int`。因此 `va_arg(ap, float)` **錯誤**，必須用 `double`。

2. 參數類型不匹配導致 UB

調用端傳 `long long`，`va_arg(ap, int)` 取值會導致棧誤位、數據錯誤。必須嚴格匹配。

3. 結構體傳值 vs 指針

可變參數**不建議直接傳結構體**（ABI 差異大），改為傳指針 `va_arg(ap, struct Foo*)`。

4. `va_copy` 使用場景


void foo(int n, ...) {
    va_list ap, ap2;
    va_start(ap, n);
    va_copy(ap2, ap);  // 備份
    // 第一次遍歷...
    va_end(ap);
    // 第二次遍歷用 ap2...
    va_end(ap2);
}