C/C++ 記憶體管理深度解析：分配機制、常見錯誤與最佳實務

前言

記憶體管理是 C/C++ 程式設計師的核心基本功，也是面試必考重點。本文系統整理三種分配方式、五大常見錯誤、指標與陣列差異、參數傳遞陷阱、new/delete 與 malloc/free 區別、記憶體耗盡處理等核心知識，並給出可直接落地的防錯清單。

一、三種記憶體分配方式

二、五大常見記憶體錯誤與對策

1. 分配失敗仍使用：malloc/new 可能回傳 nullptr。
   → 使用前必檢查指標是否為 nullptr。
2. 未初始化就讀取：新分配記憶體內容不定（非保證為 0）。
   → 分配後立即初始化，即使歸零也要顯式寫入。
3. 越界存取：陣列下標「多 1」或「少 1」，迴圈邊界錯誤。
   → 使用 std::vector、std::array 並啟用邊界檢查（at()），慎用裸陣列。
4. 忘記釋放導致洩漏：malloc 與 free、new 與 delete 次數必須配對。
   → 採用 RAII：std::unique_ptr、std::shared_ptr、std::vector 自動管理生命週期。
5. 釋放後繼續使用（野指標）：free/delete 僅釋放記憶體，指標值不變。
   → 釋放後立即將指標設為 nullptr；避免返回區域物件指標/參考。

三、指標 vs 陣列：本質差異

程式碼示範

char a[] = "hello"; a[0] = 'H';        // OK
char *p = "world"; p[0] = 'W';         // 編譯通過，執行期崩潰（修改唯讀區）

char b[10]; strcpy(b, a);              // 正確複製
// b = a;                               // 編譯錯誤

char *q = (char*)malloc(strlen(a)+1);
strcpy(q, a);                          // 正確：先分配再複製
// q = a;                               // 錯誤：僅複製位址，且記憶體洩漏

四、指標參數傳遞動態記憶體：三種正確模式

錯誤示範

void GetMemory(char *p, int n) { p = (char*)malloc(n); } // 形參修改不影響實參
void Test() { char *str = NULL; GetMemory(str, 100); strcpy(str, "hi"); } // 崩潰

正確模式 1：指標的指標

void GetMemory(char **p, int n) { *p = (char*)malloc(n); }
void Test() { char *str = NULL; GetMemory(&str, 100); /* 用完 free(str) */ }

正確模式 2：函數回傳值

char* GetMemory(int n) { return (char*)malloc(n); }
void Test() { char *str = GetMemory(100); /* 用完 free(str) */ }

正確模式 3：C++ 參考傳遞

void GetMemory(char* &p, int n) { p = new char[n]; }
void Test() { char *str = nullptr; GetMemory(str, 100); /* 用完 delete[] str */ }

鐵律：永遠不要返回指向「堆疊記憶體」的指標/參考，函數結束時該記憶體已銷毀。

五、free/delete 之後的指標狀態

• 指標位址不會自動變為 nullptr，成為「野指標」。
• if (p != nullptr) 無法防禦野指標。
• 唯一安全做法：free(p); p = nullptr; / delete p; p = nullptr;

六、動態記憶體會隨程式結束自動釋放嗎？

• 現代作業系統（Windows/Linux/macOS）會在進程結束時回收所有記憶體。
• 但解構函數不會被呼叫，資源（檔案控制代碼、Socket、鎖、共享記憶體）可能洩漏。
• 嵌入式/裸機環境無 OS 回收，洩漏會導致系統重啟才能恢復。
• 結論：養成精確配對釋放的習慣，不可依賴 OS 清理。

七、野指標成因總結

1. 指標未初始化（隨機值）。
2. free/delete 後未置 nullptr。
3. 指標指向已銷毀物件（如返回區域物件位址、物件生命週期結束）。

八、malloc/free vs new/delete

原則：C++ 類別物件必須用 new/delete；內建型別兩者皆可，推薦 new/delete 保持風格一致。嚴禁混用（free(new T) 漏呼解構函數，delete malloc(...) 行為未定義）。

九、記憶體耗盡處理策略

1. 檢查 nullptr 並返回錯誤碼：適用於單一分配點，需手動釋放已分配資源。
2. 直接 exit(1) 終止程式：簡潔，避免錯誤擴散，適合多分配點的關鍵路徑。
3. 設定新處理器：std::set_new_handler 註冊回調（記錄日誌、釋放快取、嘗試回收）。

現代 64 位系統虛擬記憶體極大，bad_alloc 極難觸發，但錯誤處理不可省略，體現程式碼品質。

十、malloc/free 進階細節

• void* malloc(size_t size)：僅關心位元組數，不識別型別。
• 慣用 sizeof(T) * count 計算大小，避免硬編碼位元組數。
• free(nullptr) 安全無效果；free 同一指標兩次 → 未定義行為（通常崩潰）。

十一、new/delete 進階用法

• int* p = new int[100]; delete[] p; —— 陣列必須配對 []，否則僅釋放首元素。
• 多建構函數：new T、new T(arg)、new T{arg}（C++11 列表初始化）。
• 陣列只能使用預設建構函數：new T[100] 不能帶參數。
• 定位 new：new (buffer) T(args) 在預先分配的緩衝區建構物件，常用於記憶體池、嵌入式開發。

十二、總結：記憶體管理黃金法則

1. 越怕指標，越要精通指標 —— 不會正確使用指標，稱不上合格 C/C++ 工程師。
2. 養成「除錯器逐步追蹤」習慣，唯有動態觀察記憶體狀態，才能看透問題本質。
3. 現代 C++ 首選 std::unique_ptr/shared_ptr/vector/string，讓編譯器幫你管記憶體，專注業務邏輯。

參考資源：《C++ 物件模型》、《Effective Modern C++》、ISO C++ Core Guidelines (github.com/isocpp/CppCoreGuidelines)