深入理解函數調用棧與棧幀：從硬體架構到軟體約定

什麼是 Call Stack？

Call Stack（呼叫堆疊）是執行期記錄「尚未返回的函數」資訊的資料結構。每個未完成的函數調用佔用一個 Stack Frame（棧幀），棧幀包含參數、返回位址、暫存器備份、區域變數等。現代 CPU 多以「向下增長」的記憶體模型管理堆疊，Stack Pointer (SP) 指向棧底。

Stack Frame 的雙重契約

1. 呼叫約定：定義參數如何傳遞（暫存器 vs. 堆疊）、返回值放哪、哪些暫存器由呼叫者/被呼叫者保存。例如 MIPS O32 規定前 4 參數用 $4-$7，其餘入堆疊且須預留空間。
2. 幀內布局：被呼叫者如何使用自己的幀存放區域變數、溢位參數、暫存器溢出區、返回位址（RA）等。

典型 MIPS O32 棧幀圖解

高位址
| 先前幀殘留        | ← 較舊的呼叫者
|------------------|
| 參數 6..1          | ← 呼叫者幀：溢位參數區
|------------------| ← previous SP
| 返回位址 (RA)      |
|------------------|
| 被呼叫者保存暫存器  | ← $16-$23 等 callee-saved
|------------------|
| 區域變數           |
|------------------|
| 下一層調用參數區    | ← 當前 SP
低位址

圖中 SP 指向幀底部。進入函數時 SP 向下移動 N bytes 完成配置；期間 SP 不再移動，所有存取以固定偏移完成。這與 x86 的 push/pop 動態移動 SP 截然不同。

關鍵機制解析

暫存器保存與還原

RISC 架構指令長度固定（≤32 bits），無法直接編碼 32-bit 絕對位址，故需 RA (Return Address, $31) 暫存器實現返回。非葉子函數必須將 RA 存入自身幀，防止後續呼叫覆蓋。

Function Prologue / Epilogue

• Prologue：移動 SP、保存 callee-saved 暫存器、存 RA。
• Epilogue：還原暫存器、取回 RA、恢復 SP、跳轉返回。

無 Frame Pointer (BP) 架構的特點

MIPS 等無專用 BP 的架構，進入函數一次性配置整個幀，後續皆用 SP + offset 定址。優點是釋放一個通用暫存器；缺點是偏移計算較複雜，除非編譯器最佳化極佳。

對開發者的啟示

• 遞迴深度直接對應堆疊消耗，嵌入式系統須嚴格限制。
• 內聯函數可消除幀開銷，但會增加代碼體積。
• 變長參數、alloca()、大型區域陣列皆會動態擴大幀，需防範堆疊溢位。

理解棧幀不僅是編譯器作者的必修課，對除錯最佳化代碼、分析核心傾印、編寫高效能系統程式同樣關鍵。