C語言可變參數函數實現原理：va_list、va_start、va_arg、va_end 深度解析

可變參數函數原型

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

省略號 ... 表示參數個數與類型不固定，由格式串運行時解析決定。

標準宏機制

<stdarg.h> 提供四個核心宏：

• va_list ap; —— 參數列表指針（實為 char*）
• va_start(ap, last_fixed_param); —— 初始化指向首個可變參數
• va_arg(ap, type); —— 取出下一參數並推進指針
• va_end(ap); —— 清理（通常為空）

簡易 printf 實現演示

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

void myprintf(const char *fmt, ...) {
    va_list ap;
    va_start(ap, fmt);

    char buf[64];
    while (*fmt) {
        if (*fmt == '%') {
            fmt++;
            switch (*fmt) {
                case 'd':
                case 'u': {
                    int val = va_arg(ap, int);
                    sprintf(buf, "%d", val);
                    write(STDOUT_FILENO, buf, strlen(buf));
                    break;
                }
                case 'f': {
                    double val = va_arg(ap, double); // float 會提升為 double
                    sprintf(buf, "%f", val);
                    write(STDOUT_FILENO, buf, strlen(buf));
                    break;
                }
                default:
                    write(STDOUT_FILENO, fmt-1, 2); // 原樣輸出 %?
            }
        } else {
            write(STDOUT_FILENO, fmt, 1);
        }
        fmt++;
    }
    va_end(ap);
}

int main(void) {
    myprintf("int=%d, uint=%u, float=%f\n", -1, 5, 0.2);
    return 0;
}

輸出：int=-1, uint=5, float=0.200000

Linux 內核宏實現原理 (include/acpi/platform/acenv.h)

typedef char *va_list;

#define _AUPBND (sizeof(acpi_native_int) - 1)  // 對齊邊界
#define _ADNBND (sizeof(acpi_native_int) - 1)

#define _bnd(X, bnd) (((sizeof(X)) + (bnd)) & (~(bnd))) // 向上對齊

#define va_start(ap, A) (void)((ap) = ((char *)&(A) + _bnd(A, _AUPBND)))
#define va_arg(ap, T) (*(T *)(((ap) += _bnd(T, _AUPBND)) - _bnd(T, _ADNBND)))
#define va_end(ap) (void)0

核心邏輯圖解

1. va_start：取最後一個固定參數 A 的地址，加上其對齊後大小，得到首個可變參數地址 → ap。
2. va_arg：
   1. ap += _bnd(T, _AUPBND)：指針前移至下一參數起始位置（已對齊）。
   2. - _bnd(T, _ADNBND)：回退到當前參數實際數據起始處。
   3. *(T*)：按類型 T 解引用讀取。
3. 對齊關鍵**：x86 棧參數按 4 字節對齊；double 佔 8 字節，va_arg(ap, double) 會一次跨越兩個棧槽。

為何 cdecl 纔能支援可變參數？

1. 右→左壓棧：首個固定參數位置固定（相對 EBP 固定偏移），可變參數在其上方，va_start 能精確定位。
2. 調用者清棧：只有調用者知道實際參數總大小，能正確恢復 ESP。

若為左→右或被調用者清棧，均無法滿足上述條件。

最佳實踐與陷阱

• 類型匹配：va_arg(ap, float) 錯誤！float 會默認提升為 double，必須用 va_arg(ap, double)。
• 無類型安全：格式串與實參不匹配導致未定義行為，編譯器僅能靜態分析格式串字面量時警告。
• 必須有至少一個固定參數：C 標準要求，作為 va_start 定位錨點。
• 拷貝 va_list：需二次遍歷時用 va_copy(dest, src) (C99)，而非直接賦值。