C語言深度解析：為什麼函數參數從右往左入棧？

呼叫慣例與棧框架：C語言參數傳遞的歷史與邏輯

C語言函數參數採用「從右往左」壓入棧中，這不是任意決定，而是為了支援可變參數而做的關鍵設計選擇。本文深入剖析其底層機制與歷史背景。

實驗驗證：參數在棧中的位址分佈

#include <stdio.h>

void foo(int x, int y, int z) {
    printf("x = %d at [%p]\n", x, (void*)&x);
    printf("y = %d at [%p]\n", y, (void*)&y);
    printf("z = %d at [%p]\n", z, (void*)&z);
}

int main() {
    foo(100, 200, 300);
    return 0;
}

典型輸出（x86，棧向下增長）

x = 100 at [0x7ffeefbff5ac]  // 最高位址
y = 200 at [0x7ffeefbff5a8]
z = 300 at [0x7ffeefbff5a4]  // 最低位址（最後壓入）

參數 z（最右邊）位於最低位址，證實「從右往左」入棧。

核心原因：支援可變參數

關鍵洞見：

• C 語言的 printf(fmt, ...) 中，fmt 是第一個參數，位置固定
• 執行時解析 fmt 字串，得知後續參數個數與類型
• 若採左→右，fmt 會被壓在棧底，無法透過固定偏移存取
• Pascal 不支援可變參數，故採左→右較直觀

主流呼叫慣例比較

歷史背景

• PDP-11 架構：早期 C 編譯器目標平台，棧向下增長，右→左自然契合
• K&R C：最初未標準化呼叫慣例，各編譯器自行實作
• ANSI C (C89)：標準化了可變參數 (stdarg.h)，鎖定右→左為事實標準
• 現代 ABI：x86-64 System V AMD64 ABI 前 6 個整數參數用暫存器 (RDI, RSI, RDX, RCX, R8, R9)，超出部分才用棧，仍保持右→左順序

實務影響

• 不可依賴參數求值順序：C 標準未規定引數求值順序，func(f(), g()) 中 f/g 呼叫順序未定義
• 混合語言呼叫：呼叫 Pascal/WinAPI 函數需聲明正確慣例
• 偵錯技巧：觀察棧框架可推斷呼叫慣例與參數傳遞

總結

C 語言參數右→左入棧，本質上是為了在編譯期不確定參數個數時，仍能以固定偏移存取第一個參數。這個設計決策直接成就了 printf、scanf 等可變參數函數，也深遠影響了後續的呼叫慣例標準化。