C++ 記憶體分配深度解析：靜態區、堆疊與堆的完整指南

引言：為什麼要懂記憶體佈局？

程式執行時，記憶體分配策略直接決定效能、穩定性與安全性。C++ 將可程式化記憶體劃分為三大區域：**靜態儲存區**、**堆疊**與**堆**。理解它們的生命週期、分配方式與常見陷阱，是寫出健壯程式的前提。

一、三大記憶體區域詳解

1.1 靜態儲存區

• 分配時機：編譯連結階段確定，程式啟動前已就緒。
• 生命週期：贯穿整個程式執行期間。
• 存放內容：全域變數、static 變數（全域/區域/類靜態成員）、字串常值、const 全域常數。
• 特徵：自動初始化為 0，不可手動釋放。

1.2 堆疊

• 分配時機：函數呼叫時自動由編譯器指令（push/sub rsp）完成。
• 生命週期：隨函數進入/離開自動建構/解構，**極短**。
• 存放內容：區域變數、函數參數、回傳地址、暫存器溢出、區域物件。
• 特徵：分配極快（指令級），但空間有限（通常 1~8 MB），過深遞歸或大型區域陣列導致**堆疊溢位**。

1.3 堆

• 分配時機：運行期透過 new/malloc 顯式請求。
• 生命週期：由程式設計師掌控，delete/free 釋放前一直存在。
• 存放內容：動態分配的物件、陣列、長期存活資料。
• 特徵：空間大（虛擬記憶體限制），但分配較慢（需尋找空閒塊、鎖同步），易產生**記憶體洩漏**、**懸空指標**、**碎片化**。

二、經典陷阱與代碼剖析

2.1 字串常值 vs 字元陣列：唯讀記憶體陷阱

char* p  = "Hello World1";  // p 在堆疊，"Hello World1" 在靜態區（唯讀）
char  a[] = "Hello World2"; // a 在堆疊，內容複製到堆疊（可寫）
p[2] = 'A';  // 執行期崩潰：嘗試寫入唯讀記憶體
a[2] = 'A';  // 正常：修改堆疊副本

補充：相同字串常值可能合併儲存（編譯器最佳化），p 與 p1 指向同一地址。

2.2 回傳區域變數位址：懸空指標製造機

char* f1() {
    char a = 'x';
    return &a; // 錯誤：a 隨函數結束銷毀，回傳懸空位址
}

char* f2() {
    char* p = new char[4]; // 正確：堆記憶體存活，呼叫端負責 delete[]
    return p;
}

呼叫 f1() 後寫入回傳指標屬**未定義行為**（UB），除錯模式常偵測到，釋出模式可能沉默破壞資料。

2.3 記憶體洩漏：遺忘的 delete

void leak() {
    char* p = new char[100];
    // 無 delete[] p，函數結束 p 消失，100 bytes 永不可及
}

長期運行的服務程式若洩漏，最終耗盡記憶體導致 OOM Killer 終止進程。**鐵律：每個 new 對應 delete，每個 new[] 對應 delete[]。** 現代 C++ 推薦智慧指標（unique_ptr, shared_ptr）實現 RAII 自動管理。

三、三區對比總結表

四、現代 C++ 最佳實踐

1. 優先使用堆疊/值語意：區域變數、std::vector、std::string 內部自動管理堆記憶體，介面乾淨。
2. 需要動態分配時，用智慧指標：std::make_unique<T>()、std::make_shared<T>()，零洩漏風險。
3. 避免裸指標擁有權：觀察者用 T* 或 T&，擁有者用智慧指標。
4. 大型陣列/緩衝區：std::vector 或 std::unique_ptr<T[]>，勿手動 new[]。
5. 工具輔助：AddressSanitizer (ASan)、Valgrind、Visual Studio 診斷工具，CI 必掛。

結語

記憶體管理是 C++ 核心競爭力所在。掌握三大區域特性、生命週期與所有權模型，配合現代 RAII 慣用語，即能寫出高效且安全的系統級程式碼。