Linux C++ 內存洩漏檢測深度實踐：重載 new/delete、動態快照、錯誤刪除識別、多線程同步完整方案

Linux 下 C++ 缺乏類似 MSVC `_CrtDumpMemoryLeaks()` 的內置洩漏報告機制。本文系統闡述**自研內存檢測子系統**的設計與實現：重載全局 `operator new/delete` 截獲分配釋放、利用 `__FILE__/__LINE__` 定位源碼、構建線程安全的分配映射表、程序退出時輸出洩漏報告、動態快照監控長期運行洩漏、識別 `new[]/delete` 不匹配等高級主題，並提供一個高性能互斥體實現。

1. 設計動機

• Windows/MSVC：DEBUG 模式自動報告堆洩漏（文件、行號、大小）。
• Linux/GCC：僅能用 `top` 觀察進程 RSS 增長，退出時零信息。
• 目標：在 Linux 下實現同等級的**源碼級洩漏定位**、**零侵入編譯開關控制**、**生產環境零開銷**。

2. new/delete 底層原理回顧

• new operator：計算大小 → 調用 operator new(size_t) 分配原始內存 → 調用構造函數。
• delete operator：調用析構函數 → 調用 operator delete(void*) 釋放內存。
• 可重載的四個全局函數：
  operator new、operator new[]、operator delete、operator delete[]
• 編譯器對象/數組分配使用 **Cookie 技術** 在塊頭/尾記錄大小，釋放時依賴 Cookie 定位塊邊界。

3. 基礎檢測實現：映射表 + 宏替換

3.1 重載 operator new 記錄分配信息

void* operator new(size_t nSize, const char* pszFileName, int nLineNum) {
    void* p = ::operator new(nSize);          // 調用全局分配
    g_allocMap.insert({p, {pszFileName, nLineNum, nSize}}); // 記錄
    return p;
}
void* operator new[](size_t nSize, const char* pszFileName, int nLineNum) { ... }

3.2 重載 operator delete 清理映射

void operator delete(void* p) noexcept {
    auto it = g_allocMap.find(p);
    if (it != g_allocMap.end()) {
        g_allocMap.erase(it);
    }
    ::operator delete(p);
}
void operator delete[](void* p) noexcept { ... }

3.3 宏替換注入文件行號

頭文件 MemRecord.h：

#define DEBUG_NEW new(__FILE__, __LINE__)
#if defined(MEM_DEBUG)
#define new DEBUG_NEW
#define delete DEBUG_DELETE   // 見下文
#endif

用戶代碼編譯時加 -DMEM_DEBUG 即啟用檢測，發布版去掉開關零開銷。

3.4 全局管理對象生命週期

定義全局對象 CMemoryTracker g_tracker，構造函數初始化映射表與鎖，析構函數遍歷殘留映射輸出洩漏報告。保證**先於用戶代碼構造、後於用戶代碼析構**。

4. 錯誤刪除識別：new[]/delete 不匹配檢測

難點

• 編譯器 Cookie 導致 `operator new` 返回指針 ≠ `new operator` 返回給用戶的指針。
• 不匹配刪除時，傳入 `operator delete` 的指針可能無法在映射表中找到原記錄。
• 程序可能直接崩潰，全局對象析構函數不執行，無法事後報告。

解決方案：實時警告 + 全局變量傳遞調用點

// 全局變量記錄 delete 調用位置
char g_deleteFile[256] = {0};
int  g_deleteLine = 0;
CMutex g_deleteLock;

// 宏替換 delete
#define DEBUG_DELETE \
    g_deleteLock.Lock(); \
    strncpy(g_deleteFile, __FILE__, 255); \
    g_deleteLine = __LINE__; \
    delete

// operator delete 內部
void operator delete(void* p) {
    g_deleteLock.Lock();
    const char* file = g_deleteFile;
    int line = g_deleteLine;
    g_deleteFile[0] = 0; g_deleteLine = 0;
    g_deleteLock.Unlock();

    if (g_allocMap.find(p) == g_allocMap.end()) {
        // 找不到原分配記錄 → 疑似不匹配刪除
        LogWarning("Mismatched delete at %s:%d ptr=%p", file, line, p);
    }
    // ... 正常清理
}

原則：**寧可誤報，不可漏報**。第三方庫無宏定義時不觸發警告（全局變量為零）。

5. 動態內存快照：捕獲長期運行「隱性洩漏」

場景

• 線程持續分配、指針存入容器、從未釋放，退出時才批量釋放 → 退出檢測為零，但運行中內存單調增長導致 OOM。
• 生產者消費者速度不匹配，隊列積壓內存未釋放。

實現架構

• 檢測進程：`operator new/delete` 將分配/釋放事件寫入 **System V 消息隊列**（Key 基於 PID）。
• 監控進程 MemSnapShot：讀取消息隊列，維護內存分配統計表（Key：文件:行號，Value：當前未釋放字節數、佔比）。
• 定時分析線程：每隔 N 秒輸出「增長最快的分配點」Top 列表，連續多輪增長未回落即判定為洩漏點。

6. 線程安全互斥體：自旋 + 信號量混合實現

為避免 `pthread_mutex_t` 在高併發分配下的內核態切換開銷，實現 CCommonMutex：

• 用戶態自旋 N 次（適應短臨界區）。
• 自旋失敗調用 sem_wait 進入內核等待。
• 釋放時 sem_post 喚醒。
• 性能優於純互斥量，適用於高頻 `operator new/delete` 埋點。

7. 使用總結

1. 所有業務 `.cpp` 頂部包含 MemRecord.h 並啟用宏。
2. Debug 編譯加 -DMEM_DEBUG，Release 不加。
3. 程序運行結束自動輸出洩漏報告（文件、行號、大小、調用棧可選）。
4. 長期服務啟動 MemSnapShot 旁路監控，定期導出動態增長報告。

結語

通過**編譯期宏注入、運行期映射跟蹤、消息隊列旁路監控**三層機制，在不修改業務邏輯、生產版零開銷的前提下，賦予 Linux C++ 項目企業級的內存洩漏檢測能力。核心代碼約 500 行，可直接集成至項目公共庫。