比爾·蓋茨曾在 1981 年斷言：「640K ought to be enough for everybody」（640KB 記憶體對每個人都夠用了）。歷史證明這是一句著名的「失言」，但也道出了記憶體管理始終是程式設計的核心難題。程式設計師在編寫記憶體管理程式碼時往往如履薄冰，唯有徹底掌握所有潛在陷阱，才能游刃有餘。本文將深入淺出地剖析 C++ 記憶體管理的核心機制、常見錯誤及應對策略，助你建立堅實的記憶體管理功力。
C++ 程式運行時，記憶體分配主要有三種方式，各有特點與適用場景：
記憶體在程式編譯階段就已分配完成，贯穿程式整個生命週期。典型例子包括全域變數與 static 變數。這類記憶體無需手動管理，但佔用固定資源，不宜過度使用。
函數執行時，區域變數的存儲單元在堆疊上自動創建；函數結束時自動釋放。堆疊分配指令內建於處理器指令集，效率極高，但容量有限，不適合大型資料結構。
程式運行時透過 malloc 或 new 申請任意大小記憶體，由程式設計師決定何時用 free 或 delete 釋放。動態記憶體生存期靈活可控，但也是問題最集中的領域，需格外謹慎。
記憶體錯誤隱蔽且難以重現，編譯器通常無法靜態檢測，往往在運行時才暴露。以下是五大經典錯誤類型與對應的「防錯鐵律」：
新手常忽略 malloc/new 可能返回 NULL。鐵律 1：使用前必須檢查指標是否為 NULL。函數參數用 assert(p != NULL)，動態分配用 if (p == NULL) 防禦。
誤以為記憶體預設為零，實則預設值無統一標準。鐵律 2：無論何種方式創建陣列或動態記憶體，務必賦初值（即使是零值），切勿嫌麻煩。
循環中「多 1」或「少 1」 是高發區。鐵律 3：嚴守邊界，特別警惕 for 循環的終止條件。
函數每被調用一次就丟失一塊記憶體，最終耗盡資源。鐵律 4：malloc 與 free、new 與 delete 必須配對使用，次數嚴格一致。
三大成因：物件管理混亂、返回棧記憶指標/引用、釋放後未置 NULL。鐵律 5：free/delete 後立即將指標設為 NULL，杜絕野指標。
五大防錯鐵律速查表
- 【規則 1】分配後即檢查
NULL- 【規則 2】務必為陣列與動態記憶體賦初值
- 【規則 3】嚴防下標越界，特別是「±1」錯誤
- 【規則 4】動態記憶體申請與釋放嚴格配對
- 【規則 5】釋放後立即置
NULL
C/C++ 中指標與陣列常可互換，易產生等價錯覺。實則本質不同：
char a[] = "hello";
a[0] = 'X'; // 合法：修改陣列內容
cout << a << endl; // 輸出 Xello
char *p = "world"; // p 指向常量字串（靜態區）
p[0] = 'X'; // 編譯通過，運行崩潰：試圖修改唯讀記憶體
cout << p << endl;
編譯器無法靜態檢測此錯誤，運行時才觸發段錯誤。
陣列名不可直接賦值/比較（編譯錯誤），需用 strcpy/strcmp。指標賦值 p = a 僅複製地址，複製內容需先 malloc 再 strcpy；比較同理需用 strcmp。
sizeof 的陷阱char a[] = "hello world";
char *p = a;
cout << sizeof(a) << endl; // 12 位元組（含結束符）
cout << sizeof(p) << endl; // 4 位元組（指標大小），非所指記憶體大小
關鍵點：陣列作函數參數時會退化為指標，sizeof 失去原意，僅得指標大小。
若函數參數是指標，直接在函數內 malloc 無法讓外部指標獲得記憶體，因為編譯器建立的是指標副本 _p，修改 _p 不影響原指標 p。解決方案有二：
void GetMemory2(char **p, int num) {
*p = (char *)malloc(sizeof(char) * num);
}
void Test2() {
char *str = NULL;
GetMemory2(&str, 100); // 傳址
strcpy(str, "hello");
free(str);
}
char *GetMemory3(int num) {
char *p = (char *)malloc(sizeof(char) * num);
return p;
}
void Test3() {
char *str = GetMemory3(100);
strcpy(str, "hello");
free(str);
}
char *GetString() {
char p[] = "hello world"; // 棧上陣列
return p; // 編譯器警告：返回區域變數地址
}
函數結束時棧記憶體自動銷毀，返回指標指向垃圾資料。正確做法：返回動態分配記憶體、靜態記憶體或常量字串地址。
野指標非 NULL，指向不可預知的「垃圾」記憶體，if 判斷無效，極度危險。三大成因與對策：
NULL 或合法地址）。free/delete 後指標成野指標。對策：釋放後立即 p = NULL。malloc/free 為何還要 new/delete？malloc/free 是標準庫函數，new/delete 是 C++ 運算符。對非內建類型物件，malloc/free 無法自動調用建構函式/解構函式，需手動管理（見下例），易出錯且繁瑣。
class Obj {
public:
Obj() { cout << "Initialization" << endl; }
~Obj() { cout << "Destroy" << endl; }
void Initialize() { cout << "Initialization" << endl; }
void Destroy() { cout << "Destroy" << endl; }
};
void UseMallocFree() {
Obj *a = (Obj *)malloc(sizeof(Obj));
a->Initialize(); // 手動初始化
// ...
a->Destroy(); // 手動清理
free(a);
}
void UseNewDelete() {
Obj *a = new Obj; // 自動分配並建構
// ...
delete a; // 自動解構並釋放
}
結論：動態物件必須用 new/delete；內建類型兩者等價。new/delete 功能涵蓋 malloc/free，但 C++ 保留後者為了相容 C 程式庫。嚴禁混用：free 釋放 new 物件會漏掉解構函式；delete 釋放 malloc 記憶體雖理論安全但可讀性極差。
動態分配失敗時 malloc/new 返回 NULL。三種處理策略：
NULL 後 return，適用單一分配點。NULL 後 exit(1)，適用多分配點，避免複雜釋放邏輯。_set_new_handler 設置自定義處理器。32 位系統的特殊現象：虛擬記憶體機制使「記憶體耗盡」極難觸發（硬碟自動頂替），但不可因此省略錯誤處理，否則程式品質大打折扣，甚至拖垮作業系統。
malloc/free 使用要點malloc 返回 void*，必須顯式轉型（如 (int*)）。sizeof 計算位元組數：int *p = (int*)malloc(sizeof(int) * length); 避免硬編碼型別大小，增強可移植性。sizeof(p) 陷阱：p 是指標，sizeof(p) 得指標大小而非所指記憶體大小。free 簡單安全：free(NULL) 無害；連續 free 非 NULL 指標會崩潰。new/delete 使用要點int *p2 = new int[length]; 內建 sizeof、型別轉換、型別安全檢查。Obj *b = new Obj(1); 可呼叫帶參數建構函式；陣列 new Obj[100] 僅能用無參數建構函式。[]：delete []objects; 正確釋放所有元素；delete objects; 僅釋放第一個，造成洩漏。作者親歷：初學懼怕指標，首個萬行專案全用陣列替代，代碼膨脹且笨拙。後重寫引入指標，代碼量減半。兩大感悟：
記憶體管理是 C/C++ 程式設計師的基本功，唯有深入原理、嚴守規範、善用工具，才能在「記憶體雷區」中安然穿行。
