可變參數 (...) 讓函數能接受不定數量參數，printf、scanf 即經典應用。本文以「計算任意個整數的最大值」為例，逐行拆解 stdarg.h 四大宏的標準調用流程，建立正確的可變參數編程肌肉記憶。
#include // 必須包含
#include
int max(int count, ...) {
// 1. 定義參數列表指針
va_list ap;
// 2. 初始化：ap 指向第一個可變參數
// last_fixed_param = count (緊鄰 ... 前的固定參數)
va_start(ap, count);
// 3. 遍歷獲取參數
int maximum = -1; // 假設均為正整數，否則用 INT_MIN
int temp;
for (int i = 0; i < count; i++) {
// 從 ap 當前位置取出 int 類型值，並推進 ap 到下一個參數
temp = va_arg(ap, int);
if (maximum < temp) maximum = temp;
}
// 4. 清理：將 ap 置為無效 (良好習慣，某平台必須)
va_end(ap);
return maximum;
}
int main(void) {
// 調用：第一個參數傳遞「後續參數個數」
int ret_max = max(9, 1, 6, 21, 32, 5, 68, 15, 32, 62);
printf("Max is %d\n", ret_max); // 輸出 68
return 0;
}
| 步驟 | 宏/操作 | 核心作用 | 關鍵注意點 |
|---|---|---|---|
| 1. 定義 | va_list ap; |
聲明一個「參數列表游標」 (不透明類型，實為指針/結構體) | 僅聲明，不初始化 |
| 2. 初始化 | va_start(ap, last_fixed) |
讓 ap 指向**第一個可變參數**的內存位置 |
last_fixed 必須是 ... **前最後一個**固定參數 (此處為 count) |
| 3. 獲取 | va_arg(ap, type) |
按 type 解讀當前位置內存，返回值，並**推進 ap 到下一個參數** (按類型大小對齊) |
調用者必須知道類型順序，無類型檢查。float 會提升為 double，需用 va_arg(ap, double) |
| 4. 清理 | va_end(ap) |
將 ap 置為無效 (NULL/0)，釋放可能分配的內部資源 |
必須成對調用，即使提前 return 也要 va_end (可用 goto cleanup 或 RAII 保證) |
va_start 計算固定參數地址偏移，va_arg 按類型大小遞增指針。va_list 為結構體，包含寄存器保存區指針、棧溢出區指針、當前索引。va_arg 先消耗寄存器區，再轉棧區。**手動指針算術在 x64 完全失效**，必須用標準宏。
void print_twice(int count, ...) {
va_list ap1, ap2;
va_start(ap1, count);
va_copy(ap2, ap1); // C99: 複製副本，獨立遍歷
printf("First pass: ");
for (int i = 0; i < count; i++) printf("%d ", va_arg(ap1, int));
printf("\n");
printf("Second pass: ");
for (int i = 0; i < count; i++) printf("%d ", va_arg(ap2, int));
printf("\n");
va_end(ap1);
va_end(ap2);
}
va_arg(ap, float) → ✅ va_arg(ap, double) (默認參數提升)。va_end → 未定義行為/資源洩漏。va_list 二次遍歷未 va_copy → 指針已到末尾，讀垃圾。long long 卻 va_arg(ap, int) → 截斷/讀亂碼。count)、格式字符串 (fmt)、終止標記 (NULL/-1)。-Wformat -Wvarargs 編譯器警告。可變參數的標準化流程是：**va_list 定義 → va_start 定位 → va_arg 逐個取值 (按類型) → va_end 清理**。掌握這四步，理解 last_fixed 定位作用、類型提升規則、va_copy 多遍歷需求、x64 寄存器傳參差異，即可安全、可移植地使用 C 可變參數。**現代 C++ 優先選擇可變參數模板 / std::format，C 項目堅守 stdarg.h 規範用法。**
