C/C++ 可變參數完整指南：va_start、va_arg、va_end 深度解析

在 C/C++ 程式設計中，printf、scanf 等函式能接受不定數量的參數，這得益於 <stdarg.h> 提供的可變參數機制。本文將從原理、用法、底層實現到進階應用，全方位解析 va_list、va_start、va_arg、va_end 的核心機制。

基本語法與使用流程

可變參數函式至少需要一個固定參數，後接省略號 ...：

void foo(int fixed, ...);  // 正確
void bar(...);             // C++ 不允許，C99 允許但極少使用

標準四步驟：

1. 宣告 va_list ap; 變數
2. va_start(ap, last_fixed_param); 初始化
3. 循環呼叫 va_arg(ap, type); 取得參數
4. va_end(ap); 清理

經典範例：簡易 printf 實現

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

void my_printf(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    
    for (const char* p = fmt; *p; ++p) {
        if (*p != '%') {
            putchar(*p);
            continue;
        }
        switch (*++p) {
            case 'd': {
                int val = va_arg(args, int);
                printf("%d", val);
                break;
            }
            case 's': {
                const char* str = va_arg(args, const char*);
                printf("%s", str);
                break;
            }
            // 可擴充更多格式...
        }
    }
    va_end(args);
}

int main() {
    my_printf("Hello %s, number: %d\n", "World", 42);
    return 0;
}

底層原理：堆疊與記憶體佈局

以 x86 平台為例，參數由右至左壓入堆疊：

// 簡化版 stdarg.h 宏定義
typedef char* va_list;
#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1))
#define va_start(ap, v) (ap = (va_list)&v + _INTSIZEOF(v))
#define va_arg(ap, t) (*(t*)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)))
#define va_end(ap) (ap = (va_list)0)

關鍵點：

• va_start 讓 ap 指向第一個可變參數
• va_arg 根據型別大小移動指標並取值
• va_end 將指標歸零（部分平台為空操作）
• 記憶體對齊（_INTSIZEOF）確保參數正確存取

進階主題與常見坑點

1. 參數型別與數量的「約定俗成」

編譯器無法自動檢查可變參數的型別與數量，必須由程式設計師透過格式字串（如 printf）或約定（如哨兵值 -1）自行處理。錯誤的型別會導致未定義行為。

2. 重複遍歷參數列表

每次遍歷都必須重新 va_start / va_end，va_list 不可重複使用：

va_list args;
va_start(args, fmt);
// 第一次遍歷...
va_end(args);

va_start(args, fmt);  // 必須重新初始化
// 第二次遍歷...
va_end(args);

3. 相容性：ANSI C vs System V

• ANSI C：va_start(ap, last_param)（兩個參數）
• System V：va_start(ap)（單參數，需 <varargs.h>）

現代程式碼統一使用 ANSI C 標準（<stdarg.h>）。

4. C++ 可變參數模板（C++11 現代替代方案）

C++11 引入 variadic templates，提供型別安全的替代方案：

template<typename... Args>
void safe_print(Args... args) {
    (std::cout << ... << args) << '\n';  // C++17 折疊表達式
}

總結

可變參數機制雖然強大，但缺乏型別安全，需謹慎使用。現代 C++ 開發建議優先考慮 variadic templates 或 std::format (C++20)，僅在與 C API 互動或舊代碼維護時使用 <stdarg.h>。理解其底層堆疊運作原理，有助於除錯與效能優化。