堆疊 vs 堆積：C/C++ 記憶體分配兩大核心區域深度圖解與效能對比

一、 進程記憶體佈局全景

高位址
+-------------------+
|  核心空間         | (用戶程式不可訪問)
+-------------------+
|  使用者棧         | ← 向下增長 (堆疊區)
|      ↓            |
|      .            |
|      .            |
|      ↑            |
|  堆積區           | ← 向上增長 (動態分配)
+-------------------+
|  BSS 段           | 未初始化全域/靜態變數
|  Data 段          | 已初始化全域/靜態變數
|  Text 段          | 程式碼、唯讀常數
+-------------------+
低位址

二、 核心差異對比表

三、 分配與釋放機制圖解

堆疊：連續分配，指標遞減

char c;           // 編譯器檢查剩餘空間 → 移動 ESP → 完成
char *p = new char[3]; // p 在堆疊，指向堆積記憶體

函式呼叫時：返回位址 → 參數 (右至左) → 區域變數 → 舊 EBP。返回時逆序彈出。

堆積：鏈結串列管理，首次適配

• 空閒塊鏈結串列：大小 | 狀態 | 下一塊指標
• malloc 遍歷鏈結串列找第一塊滿足大小的區塊，分割、標記、回傳位址。
• free 標記釋放，嘗試與相鄰空閒塊合併 (防碎片)。

四、 存取效能實測 (匯編視角)

char a = 1;
char c[] = "1234567890"; // 堆疊陣列
char *p = "1234567890";  // 指向常數區/堆積

a = c[1]; // mov cl, [ebp-0Fh] ; mov [ebp-4], cl  (直接位址存取)
a = p[1]; // mov edx, [ebp-14h] ; mov al, [edx+1] ; mov [ebp-4], al (間接: 先取指標再取值)

堆疊陣列：單指令直接存取。指標：雙指令 (載入基址 + 位移存取)。差異在緊迴圈中會被放大。

五、 進階：Windows VirtualAlloc

繞過堆積分配器，直接向作業系統申請頁面對齊的虛擬記憶體區域。
優點：速度快、無碎片、可設定保護屬性 (PAGE_READWRITE, PAGE_GUARD 等)。
缺點：粒度大 (最小 4KB/64KB)、介面複雜、需手動管理。

六、 經典比喻

• 堆疊 = 餐廳用餐：點菜 (申請) → 吃 (使用) → 走人 (自動清理)。快速、省心、但菜單固定、份量有限。
• 堆積 = 自己做菜：買食材 (malloc) → 處理 (使用) → 洗碗收拾 (free)。麻煩、易出錯 (忘洗碗=洩漏、碗沒洗乾淨=野指標)，但想吃什麼做什麼、量無上限。

七、 最佳實踐原則

1. 優先堆疊：小型、生命週期短、大小固定的物件 (區域陣列、結構體)。
2. 必要才用堆積：大型物件、動態大小、跨函式/模組共享、生命週期不確定。
3. RAII 封裝：C++ 必用智慧指標 (unique_ptr, shared_ptr) 或容器 (vector, string) 管理堆積資源。
4. 防堆疊溢位：避免巨大區域陣列、深度遞迴；必要時增大棧大小 (連結器 /STACK)。
5. 防堆積洩漏/碎片：嚴格配對、釋放即置空、長期運行考慮記憶體池/自定義分配器。

總結

堆疊與堆積是記憶體管理的雙支柱。理解其空間佈局、分配演算法、存取指令差異、失敗模式，並遵循「能用堆疊不用堆積、用堆積必用 RAII」原則，是寫出高效、穩健 C/C++ 程式的核心功力。