C/C++ 記憶體管理核心：堆疊 vs 堆 完整深度解析

前言：為什麼必須搞懂堆疊與堆？

記憶體配置錯誤是 C/C++ 程式崩潰、記憶體洩漏、安全性漏洞的首要根因。理解堆疊與堆的差異、生命週期、配置機制，是寫出健壯、高效能程式的基石。

一、程式記憶體佈局五大區

二、經典程式碼逐行解析

int a = 0;           // 全域初始化區
char *p1;            // 全域未初始化區 (BSS)

main() {
    int b;                    // 堆疊
    char s[] = "abc";         // 堆疊 (陣列內容複製自常數區)
    char *p2;                 // 堆疊 (指標變數本身)
    char *p3 = "123456";      // "123456\0" 在常數區，p3 在堆疊
    static int c = 0;         // 全域/靜態初始化區
    p1 = (char *)malloc(10);  // 堆區配置 10 bytes
    p2 = (char *)malloc(20);  // 堆區配置 20 bytes
    strcpy(p1, "123456");     // 複製常數區字串到堆區
}

三、核心差異深度對比

1. 申請方式

• 堆疊：自動。int b; 編譯器自動在堆疊預留空間
• 堆：手動。C 用 malloc，C++ 用 new，需指定大小

2. 系統響應與資料結構

• 堆疊：連續記憶體，向低位址增長。剩餘空間足夠即配置，否則 Stack Overflow
• 堆：不連續，向高位址增長。OS 維護空閒鏈結串列，尋找足夠大的區塊，分割後配置，並在區塊頭部記錄大小供 free/delete 使用

3. 大小限制

• 堆疊：Windows 預設 1MB~2MB (編譯期固定)，空間小，不宜放大型陣列/結構體
• 堆：受限於虛擬記憶體上限 (32-bit 程式約 2~3GB)，空間大、彈性高

4. 配置效率

• 堆疊：極快 (指標遞增/遞減)，零碎片
• 堆：較慢 (尋找/分割/合併區塊)，易產生記憶體碎片
• 進階：Windows VirtualAlloc 直接在進程位址空間保留/提交頁面，繞過堆管理器，速度最快、最彈性，但使用最複雜

5. 存取效率

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

a = c[1]; // 反組譯：直接 [ebp-offset] 位址存取
a = p[1]; // 反組譯：先載入 p 到暫存器，再 [reg+offset] 間接存取 → 較慢

堆疊陣列存取為直接位址運算，指標間接存取需額外載入指標值，故堆疊略快。

6. 存放內容

• 堆疊：呼叫慣例 — 回傳位址 → 參數 (右至左) → 區域變數。static 區域變數不入堆疊
• 堆：區塊頭記錄大小，內容由程式設計師安排

四、經典比喻：餐廳 vs 自煮

• 堆疊 = 餐廳吃飯：點菜 (申請) → 付錢/吃 (使用) → 走人 (釋放)。快速、省心，但自由度低 (菜單固定、份量固定)
• 堆 = 自煮：買菜、洗菜、切菜、炒菜、洗碗 (全自管)。麻煩、易出錯 (忘記洗碗=記憶體洩漏)，但自由度極高 (想吃什麼做什麼、份量隨意)

五、實務守則

1. 區域變數預設用堆疊；大型資料結構、生命週期超出函式、大小執行期才知 → 用堆
2. 每個 malloc 必配 free，每個 new 必配 delete (或智慧指標 RAII)
3. 避免傳回區域指標/參考 (指向已銷毀的堆疊記憶體)
4. 嵌入式/即時系統常禁用堆，改用靜態記憶體池 (Memory Pool) 確保確定性