C++ 記憶體儲存區域完整解析：堆疊、堆、全域、常數與程式碼區

理解 C++ 程式記憶體佈局，是撰寫高效、安全、無記憶體洩漏程式的前提。C++ 將執行期記憶體劃分為五大區域，各有分配機制、生命週期、管理責任與用途。本文系統解析五大區域特性、初始化規則差異、常見錯誤與現代最佳實踐。

五大記憶體儲存區域

關鍵特性深度解析

堆疊：高效但有限

• 操作類似資料結構堆疊（LIFO），分配/釋放極快（指標移動）
• 大小有限（通常 1-8MB），避免大型區域陣列、深度遞迴導致堆疊溢位
• 區域變數可用任意型別相容運算式初始化

堆：靈活但需手動管理

• new/delete、malloc/free 手動控制
• 未釋放導致記憶體洩漏，程式結束由作業系統回收
• 分配方式類似鏈結串列，易產生碎片
• 現代建議：使用智慧指標（unique_ptr, shared_ptr）、容器（vector, string）自動管理

全域/靜態區：分段儲存

• 已初始化全域/靜態變數 → .data 區
• 未初始化全域/靜態變數 → .bss 區（載入時歸零）
• 程式結束由系統釋放

常數區：唯讀保護

• 字串常數 "hello"、const 修飾物件常駐此區
• 嘗試修改導致未定義行為（通常崩潰）

初始化規則關鍵差異

合法與非法範例

// 全域變數
double pi = 3.14 + 0.0016;      // 合法：常數運算式
double pi = acos(-1.0);         // 非法：acos 非 constexpr（C++17 前）

// 區域變數
double pi = acos(-1.0);         // 合法：執行期計算

鐵律：區域變數使用前必須賦值，否則引入不可預測 Bug。

現代 C++ 記憶體管理最佳實踐

1. 優先使用自動儲存期：區域變數、std::vector、std::string、std::array 自動管理生命週期
2. 動態記憶體用智慧指標：std::make_unique、std::make_shared 替代裸 new
3. 避免全域狀態：單例模式、依賴注入替代全域變數
4. 常數正確性：constexpr、const 讓編譯器優化並防護修改
5. RAII 原則：資源獲取即初始化，建構函式獲取、解構函式釋放

總結

五大記憶體區域各司其職：堆疊高效服務函式呼叫，堆提供靈活動態空間，全域/靜態/常數區支撐程式級狀態。理解初始化規則差異、生命週期邊界、現代管理工具，是從 C++ 初學者邁向系統級工程師的必經之路。