C語言可變參數函數底層實現：堆疊幀佈局與 va_* 巨集展開

函數呼叫堆疊模型（x86 __cdecl）

參數由右向左壓棧，呼叫者清理堆疊。記憶體連續分佈：

高位址
+----------------+
| 參數 3 (最右)   |  ← 最高位址
| 參數 2         |
| 參數 1         |
| 參數 0 (最左)   |  ← 最低位址（固定參數）
+----------------+
低位址

固定參數定位

void fixed(int a, int b, int c, int d) {
    // &a < &b < &c < &d（位址遞增）
    // d = *(&a + 3)  // 以 a 為基準推導
}

可變參數定位原理

至少一個固定參數作為「錨點」，透過指標運算遍歷後續參數。

手動實現 va_* 巨集

// 簡化版（假設 32 位、4 位元組對齊）
#define va_list char*

#define va_start(ap, last) \
    (ap = (char*)&last + sizeof(last))

#define va_arg(ap, type) \
    (*(type*)((ap += sizeof(type)) - sizeof(type)))

#define va_end(ap) ((void)0)

// 使用範例
void var_func(int fixed, ...) {
    va_list ap;
    va_start(ap, fixed);
    int p1 = va_arg(ap, int);
    double p2 = va_arg(ap, double);
    char *p3 = va_arg(ap, char*);
    va_end(ap);
}

真實世界對齊處理

// 考慮型別對齊需求
#define _ALIGN_SIZE(type) (((sizeof(type) + 3) / 4) * 4)  // 4 位元組對齊

#define va_arg(ap, type) \
    (*(type*)((ap += _ALIGN_SIZE(type)) - _ALIGN_SIZE(type)))

Linux 核心實現（ACPI 子系統）

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_list = char* 指向參數區
2. va_start：固定參數位址 + 對齊位移 → 首個可變參數
3. va_arg：先推進指標（含對齊），再回溯取值
4. 對齊邊界 _AUPBND/_ADNBND 依機器字長而定

呼叫慣例差異影響

可移植性建議

• 永遠使用 <stdarg.h> 標準巨集
• 不依賴特定堆疊佈局或對齊假設
• float 傳遞提升為 double，va_arg 必須用 double
• 避免在可變參數中傳遞結構體（複製語義複雜）

1. 上一篇文章： C語言 FAQ 精選：整數類型選擇、64位類型、全域變數最佳實踐
2. 下一篇文章： 1057: 有假幣 - 邏輯推理與分支限界求解

關於C語言

COM 組件設計實戰：多介面實作與版本升級策略

本文實戰演示如何使用 ATL 實作支援多個自訂介面的 COM

Visual C# 常用排序演算法（五）：堆積排序原理、堆定義與建堆過程圖解

基本思想 堆積排序屬樹形選擇排序，將陣列視為完全二元樹，利用

C# 開發 WPF/Silverlight 動畫與遊戲系列教程（九）2D 遊戲角色在地圖上移動（四）—— 斜度地圖驗證與總結

代碼與上節差異不大，修改處以黃底標示（..... 表未變）。

C 語言字串分割利器：strtok 函數深度解析與替代方案

前言 在 C 語言中處理字串分割一直是初學者的痛點。標準庫提