您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> 關於C

C語言可變參數函數完整指南：從原理到實現自定義printf

編輯：關於C

前言

可變參數函數（Variadic Functions）是C語言實現printf、scanf等格式化輸入輸出的核心機制。通過<stdarg.h>提供的宏，開發者可以編寫參數數量不固定的函數。本文系統講解原理、API用法、實戰範例及常見陷阱。

核心機制：棧幀與參數傳遞

C語言調用約定（如 x86 cdecl）下，參數從右向左壓棧，調用者負責清理棧。函數內部通過首個固定參數的地址計算偏移，定位後續可變參數。stdarg.h宏封裝了這種指針算術運算。

`<stdarg.h>` 四大宏詳解

宏	原型	作用
`va_start`	`void va_start(va_list ap, last_param);`	初始化 `ap` 指向首個可變參數
`va_arg`	`type va_arg(va_list ap, type);`	按 `type` 取出參數並推進 `ap`
`va_end`	`void va_end(va_list ap);`	清理 `ap`（某些架構需釋放資源）
`va_copy`	`void va_copy(va_list dest, va_list src);`	複製參數列表（C99），支持多次遍歷

關鍵規則

必須有至少一個固定參數（作為 va_start 的 last_param）
va_arg 不檢查類型安全：傳入 double 卻用 int 取出會導致未定義行為
va_start/va_end 必須成對出現，且在同一函數作用域
默認參數提升：float→double、char/short→int，取出時需用提升後類型

實戰一：簡易 `myprintf` 實現

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

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

    while (*fmt) {
        if (*fmt != '%') {
            putchar(*fmt++);
            continue;
        }
        fmt++;  // 跳過 '%'
        switch (*fmt++) {
            case 'd': {
                int val = va_arg(ap, int);
                printf("%d", val);
                break;
            }
            case 'f': {
                double val = va_arg(ap, double);  // 注意：float 提升為 double
                printf("%f", val);
                break;
            }
            case 's': {
                const char *val = va_arg(ap, const char *);
                printf("%s", val);
                break;
            }
            case 'c': {
                int val = va_arg(ap, int);  // char 提升為 int
                putchar(val);
                break;
            }
            default:
                putchar('%');
                putchar(fmt[-1]);
        }
    }
    va_end(ap);
}

int main() {
    myprintf("整數: %d, 浮點: %f, 字符串: %s, 字符: %c\n", 42, 3.14, "Hello", 'X');
    return 0;
}

實戰二：求和函數 `sum(int count, ...)`

int sum(int count, ...) {
    va_list ap;
    va_start(ap, count);
    int total = 0;
    for (int i = 0; i < count; i++) {
        total += va_arg(ap, int);
    }
    va_end(ap);
    return total;
}

// 調用
sum(3, 10, 20, 30);  // 返回 60
sum(5, 1, 2, 3, 4, 5);  // 返回 15

此模式通過首參數指定後續參數個數，解決了「何時停止取參」的問題。

進階話題

1. 類型安全問題

C語言無泛型，編譯器無法檢查va_arg類型與實際參數是否匹配。現代編譯器（GCC/Clang）提供-Wformat檢查 printf 族函數，但對自定義可變參函數無能為力。

2. `va_copy` 實現多次遍歷

void print_twice(const char *fmt, ...) {
    va_list ap1, ap2;
    va_start(ap1, fmt);
    va_copy(ap2, ap1);  // 複製

    // 第一次遍歷
    vprintf(fmt, ap1);
    // 第二次遍歷
    vprintf(fmt, ap2);

    va_end(ap1);
    va_end(ap2);
}

3. 結構體傳遞陷阱

不可直接傳遞結構體作為可變參數（ABI 差異導致未定義行為），應傳遞指針：

// 錯誤
log_event("ERROR", large_struct);

// 正確
log_event("ERROR", &large_struct);

標準庫擴展：`vprintf` 族函數

標準庫提供以 va_list 為參數的版本，便於封裝：

vprintf、vfprintf、vsprintf、vsnprintf
vscanf 族

void log_error(const char *fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    fprintf(stderr, "[ERROR] ");
    vfprintf(stderr, fmt, ap);  // 直接轉發
    fprintf(stderr, "\n");
    va_end(ap);
}

常見錯誤與避坑指南

錯誤	後果	正確做法
漏掉 `va_end`	某些架構棧損壞/內存洩漏	配對使用，甚至用 `goto cleanup` 保證
類型不匹配 `va_arg(ap, int)` 取 `double`	未定義行為（數據解讀錯誤/崩潰）	嚴格對應：`float→double`、`char→int`
無終止條件盲目循環 `va_arg`	讀取垃圾數據/崩潰	用計數參數、格式字符串、哨兵值（如 NULL）終止
傳遞非 POD 類型（C++ 類、含虛函數結構體）	ABI 不兼容，行為未定義	傳指針/引用，或序列化後傳遞