C 語言可變參數 va_list 深度解析：從原理到 Redis 實戰應用

核心機制：va_list 如何在棧幀中「尋址」

C 語言通過 <stdarg.h> 提供 va_list、va_start、va_arg、va_end 四巨頭實現可變參數。其本質是基於調用約定的棧內存布局計算：

1. 固定參數作為錨點：函數必須至少有一個固定參數（如 printf(const char *fmt, ...) 的 fmt），編譯器保證其在棧幀固定偏移。
2. va_start 定位起始地址：以最後一個固定參數地址為基準，計算首個可變參數的棧地址。
3. va_arg 按類型推進：根據傳入類型大小（對齊後）遞增指針，實現參數依次取值。
4. va_end 清理：重置 va_list，某些架構需釋放臨時緩衝區。

簡化棧幀模型（x86 cdecl 約定）：

高地址
+------------------+
|  可變參數 N      |  ← va_arg 依次向上取值
|  ...             |
|  可變參數 1      |
+------------------+
|  固定參數 2      |
|  固定參數 1      |  ← va_start 以此為錨點
+------------------+
|  返回地址        |
|  舊 EBP          |  ← EBP 指向此處
+------------------+
低地址

基礎用法：可變參數求和示例

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

int sum(int count, ...) {
    va_list ap;
    int total = 0;
    va_start(ap, count);           // 以 count 為錨點
    for (int i = 0; i < count; i++) {
        total += va_arg(ap, int);  // 每次取 int，指針自動推進 sizeof(int)
    }
    va_end(ap);
    return total;
}

int main() {
    printf("%d\n", sum(5, 20, 30, 40, 50, 20)); // 輸出 160
    return 0;
}

關鍵約束：調用方必須保證傳入參數數量與類型與格式字符串/計數參數一致，否則導致未定義行為（棧破壞、數據誤讀）。

進階場景：格式化字符串解析——以 Redis redisvFormatCommand 為例

Redis 命令構建函數 redisvFormatCommand 展示了 va_list 在復雜格式化解析中的實戰模式：

int redisvFormatCommand(char **target, const char *format, va_list ap) {
    const char *c = format;
    char *cmd = NULL;
    // ... 變量定義 ...
    while (*c != '\0') {
        if (*c != '%' || c[1] == '\0') { /* 普通字符處理 */ }
        else {
            char *arg; size_t size;
            switch (c[1]) {
                case 's': // 字符串 %s
                    arg = va_arg(ap, char *);
                    size = strlen(arg);
                    // ... 拼接 ...
                    break;
                case 'b': // 二進制安全字符串 %b
                    arg = va_arg(ap, char *);
                    size = va_arg(ap, size_t); // 額外取長度參數
                    // ... 拼接 ...
                    break;
                case '%': // 轉義 %%
                    // ... 處理 ...
                    break;
                default:  // 檢測 printf 風格格式符
                    // 解析標志、寬度、精度、長度修飾符
                    va_list cpy;
                    va_copy(cpy, ap);        // 複製 va_list 供試探
                    if (is_integer_fmt) { va_arg(ap, int); goto fmt_valid; }
                    if (is_float_fmt)   { va_arg(ap, double); goto fmt_valid; }
                    // ... 處理 hh/h/l/ll 等長度修飾符 ...
                    fmt_valid:
                    // 使用 sdscatvprintf 格式化
                    va_end(cpy);
                    break;
            }
        }
        c++;
    }
    // ... 構建最終 Redis 協議命令 ...
}

核心技巧解析

1. va_copy 實現「預讀不消費」：解析格式符時需先判斷類型再決定如何取值，va_copy 創建副本用於試探，保護原 ap 位置不變。
2. 多參數協同：%b 格式需連續取兩個參數（指針 + 長度），體現協議設計對可變參數協議的約定。
3. 類型提升規則：char/short 傳入時提升為 int，float 提升為 double，va_arg 必須匹配提升後類型。

避坑指南與最佳實踐

總結

va_list 是 C 語言實現多態調用接口的基石，掌握其棧幀定位原理、類型提升規則、va_copy 複製語義，結合格式化解析實戰模式，即可設計出類似 printf、Redis 命令構建器這樣靈活高效的 API。記住：可變參數威力大，契約約束更重要。