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

什麼是可變參數？

當函數參數個數不固定時，即為可變參數。經典案例是 printf：

int printf(const char *format, ...);

核心機制：三個宏與一個類型

定義於 <stdarg.h>，包含：

• va_list：參數列表指針類型
• va_start(va_list ap, paramN)：初始化，定位至首個可變參數
• va_arg(va_list ap, type)：按指定類型取出下一個參數
• va_end(va_list ap)：清理，將 ap 置空

標準使用四步驟

1. 函數內定義 va_list ap;
2. 呼叫 va_start(ap, 最後一個固定參數)
3. 循環呼叫 va_arg(ap, 期望類型) 取值
4. 呼叫 va_end(ap) 收尾

完整範例：計算以 -1 結尾的整數序列之和

#include <stdio.h>
#include <stdarg.h>

#define END -1

int va_sum(int first_num, ...) {
    va_list ap;
    va_start(ap, first_num);
    int result = first_num;
    int temp;
    while ((temp = va_arg(ap, int)) != END) {
        result += temp;
    }
    va_end(ap);
    return result;
}

int main() {
    printf("%d\n", va_sum(1, 2, 3, 4, 5, END)); // 輸出 15
    return 0;
}

底層原理解析（以 x86 為例）

• va_list 本質是 char*，指向棧上參數區
• va_start 利用固定參數地址加上其對齊後大小，定位首個可變參數
• va_arg 先將指針前移下一參數大小，再回退取值
• va_end 將指針置零，防止誤用
• _INTSIZEOF(n) 宏確保參數按 int 倍數對齊

六大避坑指南

1. 務必 #include <stdarg.h>
2. 自行約定結束標記（如範例的 END 或 printf 的格式字串），va_arg 無法自動檢測結尾
3. 類型必須嚴格匹配，否則未定義行為
4. 參數個數與類型完全由程式碼控制，編譯器不做檢查
5. 若只需轉發參數，改用 vsprintf/vprintf 族函數
6. 避免將可變參數聲明為 register、函數或陣列類型