C/C++ 記憶體管理核心：堆疊 vs 堆積完整解析與效能實測

前言：記憶體分配是系統程式效能的關鍵

在 Visual C++ 6.0 時代至今，理解堆疊與堆積的差異仍是 C/C++ 開發者的必修課。本文系統整理申請方式、系統響應、大小限制、效率比較、儲存內容五大維度，並補充 Windows 虛擬記憶體 VirtualAlloc 進階用法，助你精準選擇分配策略。

一、申請方式對比

二、系統響應機制

堆疊

• 剩餘空間 > 申請量 → 直接遞減堆疊指標 (ESP/RSP)，O(1) 极快。
• 不足 → Stack Overflow 例外 (Windows: EXCEPTION_STACK_OVERFLOW)，通常不可恢復。

堆積

• 作業系統維護空閒區塊鏈表 (Free List)。
• 分配演算法：First-Fit / Best-Fit / Segregated Free Lists (現代分配器如 jemalloc、tcmalloc、Windows Heap Manager)。
• 配置時遍歷鏈表、分割區塊、更新元資料；釋放時合併相鄰空閒區塊 (Coalescing)。
• 區塊頭部通常記錄大小，供 free/delete 正確釋放。

三、大小限制

四、效率比較與實測建議

• 堆疊：指標遞增/遞減，零系統呼叫開銷，最快。但不可控、空間小。
• 堆積：需鎖同步 (多執行緒)、元資料操作、可能觸發系統呼叫擴展堆積，**較慢**，且長期運行易產生記憶體碎片。
• Windows 進階選項：VirtualAlloc/VirtualFree 直接向 OS 申請/釋放頁面對齊的虛擬記憶體區域，繞過 CRT Heap，適合大塊、對齊敏感、需鎖定實體頁面 (如 DMA、巨大陣列) 場景。缺點：粒度 4KB/64KB，管理複雜。

五、儲存內容詳解

堆疊幀 (Stack Frame) 佈局 (x86 cdecl 範例)

高位址
+------------------+
| 呼叫者保存暫存器  |
+------------------+
| 參數 N ... 參數 1 |  ← 右至左壓入
+------------------+
| 返回位址 (EIP)   |  ← CALL 指令壓入
+------------------+
| 呼叫者 EBP       |  ← prologue: push ebp; mov ebp, esp
+------------------+  ← EBP 指向此處 (幀基址)
| 區域變數         |  ← 負位移存取
| ...              |
+------------------+
| 暫存器暫存/對齊   |
+------------------+
低位址 (ESP 指向棧頂)

• 靜態/全域變數：儲於 .bss/.data 區，**不在堆疊**。
• 函式返回：leave (mov esp, ebp; pop ebp) → ret (pop eip)，自動彈出區域變數。

堆積區塊結構

+------------------+  ← 回傳給使用者的指標
| 使用者資料       |
+------------------+
| 配置器元資料     |  ← 大小、旗標、前後鏈指標 (通常位於區塊頭部或腳部)
+------------------+

具體佈局視配置器而定 (Windows Heap、glibc malloc、jemalloc 皆不同)。

六、最佳實踐清單

1. 優先使用堆疊：小型固定大小陣列、結構體、RAII 物件 (std::vector 內部緩衝仍在堆積，但物件本身在堆疊)。
2. 大型/動態資料用堆積：搭配智慧指標 (unique_ptr, vector, string) 自動管理。
3. 避免在迴路中頻繁 new/delete：預先 reserve、物件池 (Object Pool)、std::pmr::memory_resource (C++17)。
4. 檢查配置失敗：new (std::nothrow) 或嘗試捕獲 std::bad_alloc。
5. 偵測洩漏/越界：Visual Studio _CrtDumpMemoryLeaks、AddressSanitizer (Clang/GCC)、Valgrind (Linux)。

七、總結

堆疊與堆積並非對立，而是互補：堆疊負責控制流與暫態資料，堆積負責動態資料與長生命週期物件。現代 C++ 應盡量以標準容器與 RAII 封裝堆積操作，僅在極致效能或特殊對齊需求時直接呼叫 VirtualAlloc 或自訂分配器。理解底層機制，才能寫出高效、穩健的系統級程式碼。