C 語言 printf 可變參數與 const 參數無衝突

程式碼

const int N = 5;
printf("asd", N); // N 在可變參數位置，但 N 是常數，為何合法？

解析

1. 可變參數的「可變」：指函數可接受不定個數、不定型別的參數（由 `...` 表示），與參數本身是否為常數無關。
2. const 修飾的是變數：`const int N` 表示 `N` 的值在初始化後不可修改，但作為引數傳遞時，會將其值（5）複製到棧上/暫存器，傳給 `printf`。
3. printf 內部處理：`printf` 解析格式字串 `"asd"`，發現無 `%` 格式指示符，因此**完全忽略**後續可變參數。即使傳了 `N`，也只是棧上多佔幾個位元組，不影響輸出。
4. 型別匹配：若格式字串為 `"%d"`，`printf` 會用 `va_arg(ap, int)` 取值，此時傳入 `const int` 的值（`int`）完全符合，無任何衝突。

關鍵點

• 可變參數機制（`va_list`/`va_arg`）只關心**執行期棧上的位元組模式**，不關心編譯期變數是否 `const`。
• `const` 是編譯期約束，防止程式碼修改變數；傳值呼叫時複製的是值，`const` 屬性不會傳遞給被呼叫函數。
• 編譯器若啟用格式檢查（`-Wformat`），會警告 `printf("asd", N)` 中多餘參數，但這是**警告**而非錯誤，程式合法。

結論

可變參數與 `const` 變數正交無衝突。`printf` 忽略多餘參數是安全的（僅浪費棧空間），但良好習慣是格式字串與參數一一對應。