C語言棧與堆深度解析：從函數調用幀到 alloca 自動管理

一、棧：函數調用的優雅舞者

1. 為什麼是棧？

棧實現遞歸是唯一優雅方式。雖編譯器優化將熱點變量放入寄存器，但棧管理幀（局部變量、參數、返回地址、前幀指針）是通用基礎。x86 棧向低地址增長，PUSH 先修改 ESP 再寫入（286 除外）。

2. 棧幀結構

高地址
├── 參數 N
├── ...
├── 參數 1
├── 返回地址 (EIP)
├── 舊 EBP (調用者幀基址)
├── 局部變量 1
├── 局部變量 2
├── ...
└── 局部變量 N  ← 當前 ESP (棧頂)
低地址

EBP 鏈接形成調用鏈，GDB bt 即沿此鏈遍歷。

3. 實戰技巧：手寫 backtrace

int backtrace(void** buffer, int size) {
    int n = 0;
    int* p = &n;
    int ebp = p[1];  // 調用者 EBP
    int eip = p[2];  // 返回地址
    for (int i = 0; i < size; i++) {
        buffer[i] = (void*)eip;
        p = (int*)ebp;
        ebp = p[0];  // 上一幀 EBP
        eip = p[1];  // 上一幀返回地址
    }
    return size;
}

配合 addr2line -e exe addr 解析源碼行號。

4. alloca：棧上動態分配，自動釋放

alloca(size) 直接移動棧頂指針分配內存，函數返回時隨幀銷毀自動釋放，無需 free。適用於：

• 變長數組 (VLA) 替代
• 臨時緩衝區，生命周期綁定函數
• 避免堆分配開銷與碎片

警告：大分配導致棧溢出；不要在循環中調用；返回指針極其危險。

二、堆：靈活但昂貴的自由地

1. 堆 vs 棧

2. 堆內存管理器核心職責

• 向 OS 申請大塊 (brk/mmap)，二次切分
• 管理空閒塊鏈表/樹，最佳/首次適配
• 合併相鄰空閒塊抑制碎片
• 對齊、元數據保護、調試輔助

3. 常見堆錯誤

• 洩露：分配無釋放
• 雙重釋放：free(p); free(p);
• 使用已釋放內存 (UAF)
• 緩衝區溢出破壞元數據

三、進階：棧與堆的協作邊界

• 逃逸分析：編譯器將不逃逸對象棧分配（Go、JVM、LLVM）
• 小對象優化：C++ std::string SSO、std::function SBO 利用棧空間避免堆分配
• 自定義分配器：區域分配器、池分配器、棧分配器，按業務特性優化

總結

棚是調用的舞臺，堆是數據的倉庫。理解幀佈局能寫出 backtrace、alloca 等黑科技；掌握堆管理原理能規避洩露、碎片、UAF。高手總在「棧上能解決就不上堆，堆上必須管好生命周期」。