C語言可變參數函數實現：va_list、va_start、va_arg、va_end 詳解

關鍵規則與陷阱

1. 必須有至少一個固定參數，作為 va_start 的第二參數（定位棧幀）。
2. 呼叫端不傳遞參數個數/型別資訊，被呼叫端必須透過協定得知（如 printf 格式字串、首參數計數）。
3. 型別匹配嚴格：va_arg(ap, int) 取 float 會導致未定義行為（預設參數提升：float→double, char/short→int）。
4. 不可逆向遍歷：va_list 為單向，需重複使用時須 va_copy (C99) 或重新 va_start。
5. 預設參數提升：傳入 char/short 實際為 int，float 為 double，取參時需用提升後型別。

實現原理（簡述）

大多數架構下，參數在棧上連續分佈。va_list 實為 char* 指向第一個可變參數。va_arg 根據型別大小遞增指標並解引用。結構體參數可能按值傳遞（複製到棧）或傳址，取決於 ABI。

進階：va_copy

va_list ap, aq;
va_start(ap, count);
va_copy(aq, ap);   // 複製狀態，可二次遍歷
// ... 使用 aq ...
va_end(aq);
va_end(ap);

最佳實踐

• 優先考慮 結構體/陣列封裝 替代變參，型別安全且可擴展。
• 若必須用變參（如日誌庫），提供 vxxx 版本接受 va_list，方便包裝。
• 嚴格檢查格式字串與參數對應，開啟編譯器警告 -Wformat。

變參函數是 C 語言靈活性的體現，但也帶來型別不安全風險，理解其棧幀操作機制與標準宏用法，是系統程式開發的必備技能。