malloc/free 失效常見四大成因與跨模組記憶體管理正確姿勢

大型專案中 malloc/free 崩潰往往難以定位，實際多源於模組邊界記憶體管理不一致。本文歸納四大典型失效模式與架構級解決方案。

一、指標未初始化即 free

void foo() {
    int* p;      // 未初始化，值隨機
    free(p);     // 崩潰：傳遞野指標給釋放器
}

鐵律：指標宣告即初始化 int* p = nullptr;，free(nullptr) 安全無害。

二、指標被修改後再 free

int* p = (int*)malloc(100);
p++;             // 指標偏移
free(p);         // 崩潰：傳遞非區塊起始位址

對策：保留原始指標 void* orig = p;，運算用副本，釋放用 orig。

三、DLL 與主程式混用 malloc/free（核心架構錯誤）

現象：DLL 內 malloc 回傳指標，主程式 free 崩潰。
原因：各模組連結獨立 CRT 堆積（Debug Multithreaded DLL vs Debug Multithreaded），堆積管理結構不共享。

解決方案（按推薦順序）

1. 改為靜態庫：同一 CRT 實例，單一堆積，問題根除。
2. DLL 提供配對釋放函式：
   DLL_API void FreeMyBuffer(void* p) { free(p); }
   主程式呼叫此函式，確保同一 CRT free。
3. 使用進程堆積 API（不推薦，僅作過渡）：
   HeapAlloc(GetProcessHeap(), 0, size) / HeapFree(GetProcessHeap(), 0, p)
   全系統共享進程堆積，但失去 CRT 偵錯功能（記憶體洩漏偵測、守護頁等）。

四、模組間 CRT 版本/設定不一致

強制規範：專案群組內所有模組 必須 統一 Runtime Library 設定（皆 MDd 或皆 MD）。

架構級最佳實務

• 誰配置，誰釋放：API 設計遵循擁有權轉移語意，文件明確標註。
• 跨邊界傳遞資料：優先用 std::string/std::vector/std::shared_ptr（同 CRT 版本），或定義 allocate/free 配對介面。
• 禁止：malloc 在 DLL，free 在 EXE；new 在 DLL，delete 在 EXE。