C 語言函數參數入棧順序深度解析：為什麼是「從右向左」？

現象觀察：實測驗證

void func(int x, int y, int z) {
    printf("x = %d at [%p]\n", x, &x);
    printf("y = %d at [%p]\n", y, &y);
    printf("z = %d at [%p]\n", z, &z);
}
int main() { func(100, 200, 300); }

輸出 (x86, 棧高→低)：

x = 100 at [00BFE28760]  // 高地址
y = 200 at [00BFE28764]
z = 300 at [00BFE28768]  // 低地址 (棧頂)

地址遞增說明：參數 z 最後入棧，位於棧頂 (低地址)；x 最先入棧，位於棧底 (高地址)。即 從右向左 (Right-to-Left) 入棧。

本質原因：支持可變參數 (Variadic Functions)

這是 C 語言區別於 Pascal (左→右) 的關鍵設計決策。

場景對比

核心邏輯推演

1. C 語言要求支持 printf("format", ...) 等可變參函數。
2. 格式化字符串 (format) 是**第一個參數**，必須在固定、可計算的位置被找到。
3. 若左→右入棧，format 在棧底，被後續不定數量參數「蓋住」，無法直接定位。
4. 右→左入棧時，format 最後入棧，位於 **EBP+8** (假設標準幂框架)，地址固定不變。
5. 運行時解析 format 確定後續參數個數/類型，再按順序向高地址偏移訪問。

編譯器實現細節與擴展

• 非標準行為：C 標準未強制規定入棧順序，僅要求可變參工作。理論上編譯器可選擇其他實現 (如寄存器傳參 + 陰影空間)，但 x86 歷史慣例固化為右→左。
• 修飾符控制：MSVC 支持 __cdecl (右→左, 調用者清理)、__stdcall (右→左, 被調用者清理)、__fastcall (前兩參寄存器) 等，均保持右→左語義以兼容可變參邏輯。
• x64 違例：x64 呼叫約定 (Windows x64 / System V AMD64) 大量使用寄存器 (RCX, RDX, R8, R9 / RDI, RSI, RDX, RCX) 傳參，棧僅用於溢出參數，**不再單純依賴右→左棧序**，但「首參數固定位置」原理在寄存器分配中延續。

總結

C 語言參數從右向左入棧，本質是為了**在棧上為首參數預留固定地址**，從而實現可變參數這一核心特性。這是 C 語言在系統編程領域靈活性與效率平衡的經典設計證明。