C 語言可變參數函數實作：stdarg.h 完整教學與實戰

C 語言可變參數函數實作指南

可變參數函數允許參數個數在編譯期不確定，printf、scanf 即為典型例子。C 語言透過 <stdarg.h> 提供的巨集實現參數遍歷，本文詳細解析其機制與使用規範。

核心巨集與流程

完整範例：計算多個整數總和

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

// 第一個固定參數 args 指定後續參數個數
int get_number_total(int args, ...) {
    va_list ap;
    va_start(ap, args);  // 從 args 之後開始

    int total = 0;
    for (int i = 0; i < args; ++i) {
        total += va_arg(ap, int);  // 依序取出 int
    }

    va_end(ap);
    return total;
}

int main() {
    printf("Total: %d\n", get_number_total(3, 11, 15, 9));      // 35
    printf("Total: %d\n", get_number_total(2, 11, 9));          // 20
    printf("Total: %d\n", get_number_total(5, 11, 9, 5, 13, 7)); // 45
    return 0;
}

關鍵規則與限制

1. 至少一個固定參數：va_start 需要最後一個固定參數作為定位基準
2. 型別嚴格匹配：va_arg(ap, int) 若實際傳入 double，行為未定義（棧對齊、大小不符）
3. 無法自動獲取參數個數：必須透過以下方式之一：
   • 固定參數傳遞計數（如上例 args）
   • 格式字串解析（如 printf 的 %d 計數）
   • 哨列值結束（如 execl 以 NULL 結尾）
4. 預設引數提升：float → double, char/short → int。取值時用提升後型別（va_arg(ap, double) 取 float）

進階範例：自訂格式化輸出

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

    // 這裡簡單示範，實際需完整解析 fmt
    vprintf(fmt, ap);  // 直接委給 vprintf

    va_end(ap);
}

int main() {
    my_log("User: %s, Age: %d, Score: %.2f\n", "Alice", 25, 98.5);
    return 0;
}

vprintf/vsnprintf 等 v* 系列函數接受 va_list，是實作自訂格式化函數的標準做法。

變參模板 vs C 可變參數

C++11 引入變參模板（Variadic Templates），提供型別安全、編譯期展開、支援非 POD 型別，優於 C 風格可變參數。C 語言場景下仍以 stdarg.h 為主。

除錯技巧

• 編譯開啟 -Wvarargs 檢查格式字串與參數匹配
• 使用 __builtin_va_arg_pack (GCC/Clang) 進行靜態分析
• 關鍵路徑加入斷言驗證參數個數上下界