C語言**無運行時類型信息 (RTTI)**。可變參數實現依賴：**調用約定 (Caller-cleanup) + 棧/寄存器參數佈局 + 程序員協議 (格式字符串/哨兵/計數)**。編譯器**不檢查**可變參數類型/個數，**完全由程序員保證正確**。
<stdarg.h> (C89, ANSI C)typedef /* 實現定義 */ va_list;
void va_start(va_list ap, last_fixed_param); // 初始化 ap 指向第一個可變參數
type va_arg(va_list ap, type); // 獲取當前參數值，推進 ap 到下一個
void va_end(va_list ap); // 清理 (某些ABI需釋放資源)
void va_copy(va_list dest, va_list src); // C99: 複製 va_list (多次遍歷必須)RDI, RSI, RDX, RCX, R8, R9 寄存器。XMM0-XMM7 寄存器。AL 寄存器** = 向量寄存器參數個數 (0-8)，供可變參數函數判斷是否需從 XMM 保存區讀取。va_list 內部結構 (GCC/Clang)typedef struct __va_list_tag {
unsigned int gp_offset; // 下一個整數參數在通用寄存器保存區偏移 (0-48, 48=耗盡)
unsigned int fp_offset; // 下一個浮點參數在向量寄存器保存區偏移 (0-112, 112=耗盡)
void *overflow_arg_area; // 棧上可變參數區指針 (遞增)
void *reg_save_area; // 寄存器保存區基址 (函數序言分配)
} __va_list_tag[1];va_start / va_arg 工作流程va_start(ap, last)：計算 last 在棧/寄存器中的位置，初始化 ap 指向**第一個可變參數**。若固定參數已耗盡寄存器槽位，後續可變參數在棧上；否則先從寄存器保存區讀取。va_arg(ap, type)：
type 分類：整數類 (指針、整數、結構體≤16B) → 用 gp_offset 從 reg_save_area 讀取，gp_offset += 8；超出48 → 用 overflow_arg_area 讀取，指針遞增。float/double/__m128) → 用 fp_offset 從 reg_save_area 讀取，fp_offset += 16；超出112 → 棧上讀取。va_arg 取指針再解引用。va_end(ap)：x86-64 通常為空操作 (無動態分配)；某些ABI (如IA64) 需釋放資源。**良習：必須調用**。va_copy(dest, src)：逐字節拷貝結構體，**多次遍歷參數列表必須先 copy**，因 va_arg 會修改 ap 內部指針/偏移。<varargs.h> (K&R C, UNIX System V)varargs.h: va_list, va_start(ap), va_arg(ap, type), va_end(ap)
// 無 last_fixed_param，va_start 直接初始化 ap 指向第一個參數 (假設函數無固定參數)
// 不支持 va_copy，非標準，**現代代碼嚴禁使用**。
編譯器不檢查，**必須建立協議**：
printf(fmt, ...) — fmt 解析決定類型/個數。**風險**：格式字符串攻擊、類型不匹配 UB。現代編譯器 -Wformat 靜態檢查字面量格式串。void foo(int count, ...) — 首參數給出後續個數。**風險**：計數錯誤導致越界讀取。execl(path, arg0, arg1, ..., (char*)NULL) — 以特定值結束。**風險**：哨兵值可能作合法參數出現。struct Arg { enum Type t; union {int i; double d; char *s;} v; }; — 類型安全，但調用繁瑣。// C++17: 類型安全、編譯期展開、零開銷、支持任意可調用對象
template
void log(Args&&... args) {
(std::cout << ... << std::forward(args)) << '\n'; // 折疊表達式
}
log("Value: ", 42, ", pi: ", 3.14159); // 完美轉發，類型推導
C++ 核心指南：優先使用變參模板，避免 C 風格可變參數。需兼容 C 接口 (如 printf、sqlite3、pthread_create) 時，封裝邊界層內部用 va_list，外部暴露類型安全 API。
| 代碼 | 問題 | 後果 |
|---|---|---|
va_arg(ap, float) | float 默認提升為 double 傳遞 | 讀取 8 字節當 4 字節用，棧/寄存器對齊錯亂，後續參數全亂 |
va_arg(ap, int) 實傳 long long | 類型大小不匹配 (32 vs 64 bit) | 同上，且符號擴展錯誤 |
未調用 va_end | 某些 ABI 洩漏資源 | 內存洩漏、棧損壞 |
多次遍歷未 va_copy | va_arg 修改內部狀態 | 第二次遍歷從錯誤位置開始 |
va_start(ap, param) param 是寄存器參數但非最後固定參數 | ABI 要求 last_fixed_param 必須是**最後一個固定參數** | 定位錯誤，參數讀取亂套 |
| 可變參數傳遞非 POD 類 (C++ 類含構造/析構/虛函數) | C++ 標準禁止 (條件支持: trivially copyable) | UB，對象生命周期/拷貝語義破壞 |
-Wformat -Wformat-security -Wvarargs (GCC/Clang)。-fsanitize=undefined 捕獲 va_arg 類型不匹配 (運行時檢查)。info args 查看參數、手動解析棧內存 x/20gx $rsp、調用 printf 格式化輸出可變參數區。vlog(const char *fmt, va_list ap) 核心，log(fmt, ...) 只做 va_start/va_end，便於測試/重定向/過濾。C可變參數是**ABI層面的協議**，以**極簡機制**換取**極大靈活性**，代價是**類型安全全賴程序員**。理解其**棧/寄存器佈局、va_list 狀態機、ABI差異**，是編寫健壯系統庫、解釋器、日誌框架、FFI 綁定的必修課。**現代 C++ 以變參模板徹底解決類型安全問題**，C 代碼則需嚴守協議、善用靜態分析/動態檢測工具、封裝邊界、最小化可變參數使用範圍。
