C/C++ 可變參數完整指南：va_list 機制原理與實戰應用

一、為什麼需要可變參數？

許多庫函數（printf、scanf、execl 等）參數個數不固定、類型不固定。C 語言通過 <stdarg.h> 提供一套標準機制實現這一功能。

二、核心四大宏/類型詳解

三、參數在棧上的佈局模型（x86 為例）

高地址
+------------------+
|  可變參數 N      |  ← va_arg 依次向上取
|  ...             |
|  可變參數 2      |
|  可變參數 1      |  ← va_start 後 ap 指向此處
+------------------+
|  固定參數 last   |  ← last 參數地址作為基準
|  ...             |
|  固定參數 1      |
|  返回地址        |
|  舊 EBP          |
+------------------+
低地址

關鍵洞察：編譯器將固定參數與可變參數連續壓棧，va_start 利用 last 參數地址計算出可變參數起始位置。

四、經典實現：簡易 my_printf

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

void my_printf(const char* fmt, ...) {
    va_list ap;
    va_start(ap, fmt);           // 1. 初始化
    
    for (const char* p = fmt; *p; p++) {
        if (*p != '%') {
            putchar(*p);
            continue;
        }
        p++;  // 跳過 %
        switch (*p) {
            case 'd': {
                int val = va_arg(ap, int);  // 2. 取 int 參數
                printf("%d", val);
                break;
            }
            case 's': {
                char* val = va_arg(ap, char*);  // 取 char*
                printf("%s", val);
                break;
            }
            case 'f': {
                double val = va_arg(ap, double); // 注意：float 會提升為 double
                printf("%f", val);
                break;
            }
            default:
                putchar(*p);
        }
    }
    
    va_end(ap);  // 3. 清理
}

五、進階主題與陷阱

1. 類型提升規則（默認參數提升）

• float → double
• char/short → int
• 調用 va_arg(ap, float) 是未定義行為，必須用 double

2. 無固定參數的限制（C89）

// 錯誤：C89 要求至少一個固定參數
void bad(...) { }  

// 正確：至少一個固定參數作為 va_start 基準
void good(int count, ...) { }

C99 引入 va_copy 支持多次遍歷，但仍需固定參數。

3. 類型安全缺失

編譯器不檢查va_arg 類型與實際參數是否匹配

// 危險：結構體傳遞方式因 ABI 而異（寄存器/棧/引用）
va_arg(ap, MyStruct);  // 可能出錯

// 推薦：傳遞指針
va_arg(ap, MyStruct*);