C++ 記憶體管理深度解析：堆疊與堆積

C/C++ 程式記憶體布局分為五大區域，理解其特性對寫出高效、安全的程式至關重要。

記憶體五大區

程式碼範例對照

int g_init = 10;        // 全域初始化區
int g_uninit;           // 全域未初始化區 (BSS)
const char* g_str = "hello"; // 常數區 (字串), 指標在全域區

void Func() {
    int a = 20;         // 堆疊
    static int s = 30;  // 全域靜態區 (初始化)
    char buf[] = "abc"; // 堆疊 (陣列內容複製自常數區)
    char* p = "123";    // p 在堆疊, "123" 在常數區
    char* q = new char[10]; // q 在堆疊, new 分配在堆積
    delete[] q;
}

堆疊 vs 堆積 詳細比較

1. 申請方式

• 堆疊：int a; 自動
• 堆積：int* p = new int; 或 malloc 手動

2. 系統響應

• 堆疊：剩餘空間足夠即分配，否則堆疊溢位
• 堆積：遍歷空閒鏈表尋找足夠塊，分割並回收餘塊，失敗拋 bad_alloc / 回傳 nullptr

3. 空間限制

• 堆疊：Windows 預設 1MB~2MB，向低位址增長，連續空間
• 堆積：理論上限為虛擬記憶體大小，向高位址增長，不連續 (鏈表管理)

4. 效率比較

• 堆疊：指標遞增/遞減極快，CPU 快取友好
• 堆積：尋找合適塊、分割、合併有開銷，易產生記憶體碎片
• Windows VirtualAlloc：直接保留位址空間，速度最快、最彈性，但使用最複雜

5. 存取效率實測

char arr[] = "1234567890"; // 堆疊陣列
char* ptr = "1234567890";  // 指向常數區

char c1 = arr[1]; // 直接位址偏移: mov cl, [ebp-0Fh]
char c2 = ptr[1]; // 間接: mov edx, [ebp-14h] / mov al, [edx+1]

堆疊陣列存取比指標間接存取快 (少一次載入指標值)。

6. 記憶體佈局圖解

高位址
+------------------+
|    堆積          | 向上增長
|   (動態分配)     |
+------------------+
|    ...           |
+------------------+
|  共用函式庫      |
+------------------+
|    ...           |
+------------------+
|    堆疊          | 向下增長
|  (函數框架)      |
+------------------+
|  環境變數/參數   |
+------------------+
低位址

經典比喻

堆疊像去餐廳吃飯：點菜(申請)、吃(使用)、走人(釋放)，全程服務好、快，但自由度低。
堆積像自己做菜：買食材、切菜、烹飪、洗碗，麻煩但自由度高、想吃什麼做什麼。

最佳實踐建議

• 優先使用堆疊 (區域變數、std::vector/std::string 等 RAII 容器)
• 大型物件、生命週期超出作用域、大小執行期才知 → 堆積 (std::unique_ptr/shared_ptr 管理)
• 避免在堆疊放置大型陣列/結構 (導致堆疊溢位)
• 每個 new 對應 delete，new[] 對應 delete[]
• 善用智慧指標、標準容器，實現 RAII，杜絕記憶體洩漏