深度解析棧幀：函數調用的底層運作機制

深度解析棧幀：函數調用的底層運作機制

什麼是棧幀？

棧幀，又稱過程活動記錄，是編譯器為實現函數/過程調用而在用戶棧（或內核棧）上分配的數據結構。每一次函數調用都會創建一個棧幀，函數返回時銷毀。它記錄了函數執行所需的所有上下文信息。

棧幀的核心組成

一個典型的棧幀包含以下關鍵字段（由高地址向低地址增長）：

1. 函數參數：調用者壓入的實參（右到左順序）。
2. 返回地址：調用指令下一條指令的地址（由 CALL 指令自動壓入）。
3. 舊幀指針 (EBP/RBP)：調用者的幀基址，用於恢復調用者棧幀（由 PUSH EBP; MOV EBP, ESP 建立）。
4. 局部變量：函數內部定義的自動存儲期變量。
5. 暫存/寄存器保存區：編譯器為寄存器溢出或調用約定保存的臨時值。

棧幀的生命周期：以 x86 為例

; 函數序言
push ebp          ; 保存調用者 EBP
mov  ebp, esp     ; 建立新幀基址
sub  esp, N       ; 分配局部變量空間 (N 字節)

; 函數體 ... 通過 [ebp+offset] 訪問參數，[ebp-offset] 訪問局部變量

; 函數尾聲
mov  esp, ebp     ; 釋放局部變量空間
pop  ebp          ; 恢復調用者 EBP
ret               ; 彈出返回地址跳轉

關鍵作用

• 支持遞歸與重入：每次調用獨立棧幀，互不干擾。
• 實現調試器回溯：通過 EBP 鏈串聯所有棧幀，獲取調用堆疊。
• 異常處理/長跳轉：setjmp/longjmp、C++ 異常展開依賴棧幀鏈。

延伸閱讀建議

• 《計算機系統：一個程序員的視角》第 3 章「程序的機器級表示」
• Agner Fog 的《Calling Conventions》手冊（各平台 ABI 詳解）
• GDB 實戰：bt、info frame、disassemble 觀察棧幀佈局

理解棧幀是掌握「函數調用本質」、調試崩潰現場、編寫高性能/安全代碼的基石。