C 語言可變參數函數實作與 stdarg.h 使用詳解

利用堆疊幀走訪實現不定參數介面

C 語言無函數多載，stdarg.h 提供的 va_list、va_start、va_arg、va_end 四巨集，讓函數能在執行期走訪呼叫者堆疊上的可變參數。本文解析底層原理、標準使用流程、終止條件設計與型別安全陷阱。

標準四步驟流程

#include <stdarg.h>

void demo(int fixed, ...) {          // 至少一個固定參數
    va_list ap;                      // 1. 宣告迭代器
    va_start(ap, fixed);             // 2. 定位至第一個可變參數
    while (/* 條件 */) {
        int val = va_arg(ap, int);   // 3. 取值並推進
        // 處理 val
    }
    va_end(ap);                      // 4. 清理（部分實作為空巨集）
}

巨集底層原理 (x86 呼叫慣例)

// 簡化版定義
#define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )
#define va_start(ap, v) (ap = (va_list)&v + _INTSIZEOF(v))
#define va_arg(ap, t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define va_end(ap) (ap = (va_list)0)

• 參數在堆疊上依序排列（右到左壓入），固定參數 v 之後即為可變參數。
• _INTSIZEOF 將大小對齊至 sizeof(int) 倍數（呼叫慣例要求）。
• va_arg 先推進指標再回傳原位址內容，實現「取值並前進」。

終止條件設計三種模式

完整範例：哨兵值求和

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

long vsum(int first, ...) {          // 以 -1 為結束哨兵
    va_list ap;
    va_start(ap, first);
    long sum = first;
    int val;
    while ((val = va_arg(ap, int)) != -1)
        sum += val;
    va_end(ap);
    return sum;
}

int main() {
    printf("Sum = %ld\n", vsum(10, 20, 30, -1));  // 60
    return 0;
}

型別安全與可攜性陷阱

• 預設實參提升：float → double、char/short → int。va_arg(ap, float) **錯誤**，必須用 double。
• 可變參數**無型別檢查**，傳錯型別導致堆疊誤對齊、讀取錯誤位元組。
• va_list 在某些 ABI (如 x64) 為結構體而非指標，**不可直接複製**，需用 va_copy (C99)。
• C++ 建議改用 std::initializer_list、Variadic Templates 或 fmt 庫。

進階：va_copy 使用

va_list ap, ap2;
va_start(ap, fmt);
va_copy(ap2, ap);   // 複製迭代器狀態
// 先用 ap2 掃描一次計算長度
// 再用 ap 實際格式化
va_end(ap2);
va_end(ap);

掌握 stdarg.h 機制，能實作類 printf、日誌框架、動態陣列建構器等彈性 API，但務必嚴守型別對齊與終止條件契約，避免難以重現的堆疊損毀錯誤。

1. 上一篇文章： C 語言自增運算符副作用與序列點深度解析
2. 下一篇文章： C 語言基姆拉爾森公式實作萬年曆輸出

關於C

C語言求解兩個陣列元素差值的最小絕對值

本文示範如何使用 C 語言找出兩個整數陣列中所有元素兩兩配對

C Primer Plus 筆記：C程序結構、預處理與關鍵字核心概念

整理自《C Primer Plus》核心基礎章節：典型程序結

C語言字元圖形：單一雙重迴圈列印等腰三角形（星號圖六）

程式碼特色 不同於前幾例的「上下分段」，本程式單一雙重迴圈完

Objective-C 委託模式完整範例：牛仔救父記

委託模式核心概念 **委託** 是一對一通訊機制：委託者持有