C語言函數調用棧幀分析：為什麼兩個同名局部陣列能「巧合」共享資料？

前言

經典面試題：兩個函數各自定義同名陣列 int array[20]，第一個函數賦值，第二個函數打印，居然輸出正確？加一個 printf 就亂了？本文從棧幀佈局、寄存器約定、編譯器優化三個維度，徹底揭開這個「巧合」背後的記憶體真相。

一、現象重現

void input() {
    int array[20];
    for (int i = 0; i < 20; i++) array[i] = i;
}

void output() {
    int array[20];
    for (int i = 0; i < 20; i++) printf("%d\n", array[i]); // 輸出 0..19！
}

int main() {
    input();
    output(); // 正確輸出
    // 若在中間加 printf("any string"); 再呼叫 output() → 輸出亂碼
}

二、棧幀機制核心原理

1. 棧增長方向

• x86架構：棧從高地址向低地址增長。
• EBP（幀指標/基址指針）指向棧底（當前函數棧幀基址）。
• ESP（棧指針）指向棧頂（下一個可用位置），隨入棧/出棧移動。

2. 函數調用棧幀切換流程（Caller → Callee）

1. 保存舊EBP：push ebp（將調用者EBP入棧）。
2. 建立新EBP：mov ebp, esp（當前ESP成為新棧底）。
3. 分配區域變數空間：sub esp, N（N為區域變數所需位元組，含對齊填充）。
4. 執行函數體：區域變數相對 EBP 負偏移訪問（如 [ebp-80] 為 array[0]）。
5. 返回清理：mov esp, ebp（恢復ESP）→ pop ebp（恢復舊EBP）→ ret。

3. 為什麼「巧合」發生？

• input() 返回後，其棧幀空間邏輯上釋放，但物理記憶體內容殘留（未被覆寫）。
• output() 被調用時，編譯器分配的棧幀大小、佈局與 input() 完全相同（同樣 int array[20]，同樣對齊）。
• 因此 output() 的 array 落在同一塊物理記憶體，讀取到殘留值 → 「正確」輸出。

4. 為什麼加 printf 就亂了？

• printf 內部有自己的區域變數、格式化緩衝區、浮點處理等，會大量使用棧空間，覆寫殘留資料。
• 後續 output() 讀取到的就是 printf 留下的「垃圾」。

三、編譯器差異：Debug vs Release vs Turbo C

四、正確做法：參數傳遞或全域/靜態儲存

// 方案1：陣列作為參數傳遞（指標退化）
void input(int *array, int n) { ... }
void output(const int *array, int n) { ... }

// 方案2：靜態/全域儲存（生命週期覆蓋整個程式）
static int shared_array[20];
void input() { ... }
void output() { ... }

五、總結

「同名局部陣列跨函數共享資料」是未定義行為（UB）的經典體現：依賴棧幀佈局巧合、編譯器實現細節、優化策略。專業C開發者絕不依賴此類巧合，而是通過顯式參數傳遞、所有權清晰的記憶體管理編寫可移植、可維護、無驚喜的代碼。

1. 上一篇文章： Objective-C 字典類全解析：NSDictionary 與 NSMutableDictionary
2. 下一篇文章： C語言 int 型別大小由什麼決定？從字長、寄存器、總線到硬體架構的完整鏈路

關於C

C 語言資料結構實戰：用鏈式堆疊實現程式碼符號匹配檢測 (編譯器前端核心邏輯)

前言：編譯器如何檢查括號匹配？ 編譯器前端的詞法/語法分析階

JCFXBL 輔助類：C# WinForms 數據綁定與數據庫交互封裝庫

項目定位 JCFXBL.API.Helper 是專為 C#

C語言深度解析：數組與指針的微妙關係

在C語言編程中，數組看似簡單，實則暗藏玄機。早期寫代碼時，我

C 語言 sscanf/sprintf 進階用法、strlen 與 memset 陷阱完全解析

sscanf：從字串解析格式化資料 原型：int sscan