C 語言 printf 可變參數原理深度解析

核心問題

編譯器如何檢查 printf 參數個數？為何格式字串與參數不匹配時編譯器不報錯（僅警告）？

可變參數實現機制

C 語言透過 stdarg.h 宏實現可變參數：

• va_list：參數指標，指向棧上第一個可變參數。
• va_start(ap, last_fixed)：初始化 ap 指向第一個可變參數。
• va_arg(ap, type)：取得當前參數並移動指標到下一個。
• va_end(ap)：清理。

printf 內部運作

1. 解析格式字串（format），掃描 % 格式指示符。
2. 根據格式指示符（%d、%s 等）決定預期參數型別與個數。
3. 依序呼叫 va_arg 從棧上取出對應大小的資料。
4. 若格式字串與實際參數不符，屬於未定義行為，編譯器僅能靜態分析給出警告（-Wformat），無法在編譯期強制阻止。

簡易 printf 實現範例

void myprintf(const char* fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    while (*fmt) {
        if (*fmt == '%') {
            fmt++;
            switch (*fmt) {
                case 'd': printf("%d", va_arg(ap, int)); break;
                case 's': printf("%s", va_arg(ap, char*)); break;
                // ...
            }
        } else {
            putchar(*fmt);
        }
        fmt++;
    }
    va_end(ap);
}

關鍵觀念

• 可變參數的「可變」指參數個數與型別可變，而非參數值可變。
• 格式字串是執行期解析的「協定」，編譯器無法完全驗證（除非啟用格式檢查警告）。
• 參數在棧上依右至左壓入，va_start 利用最後一個固定參數位址計算第一個可變參數位址。

實務建議

• 編譯時開啟 -Wall -Wformat=2（GCC/Clang）或 /W4（MSVC）捕捉格式不匹配。
• 使用 C++11 可變參數模板或 fmt 庫替代 printf，獲得型別安全。