您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C++ >> 關於C++

C++ 專案記憶體缺陷預防與檢測全方位策略：編碼規範、靜態分析、執行期工具、除錯技巧與崩潰報告

編輯：關於C++

1. 編碼規範與慣用法：源頭預防

核心規則

基類或含虛函數類別 → 虛擬解構函數
建構函數中分配資源失敗 → 無洩漏 (RAII)
new 配 delete，new[] 配 delete[]
指標使用前初始化，釋放後置 nullptr
管理資源的類別 → 三大法則/五大法則 (拷貝建構、賦值、移動、解構)

RAII 與智慧指標


// 現代 C++ 首選
std::unique_ptr p = std::make_unique();
std::shared_ptr sp = std::make_shared();

// 自訂刪除器
auto fp = std::unique_ptr(fopen("a.txt","r"), fclose);

Boost 智慧指標 (專案若未 C++11) 提供 shared_ptr (執行緒安全、可放 STL 容器)、scoped_ptr 等。

靜態分析工具整合

工具	特色	VS 整合
CodeWizard	500+ 內建規則，即時提示違規行	工具列整合，專案層級啟用
PC-Lint	深度語義分析，1000+ 常見錯誤模式	需手動配置，Jon Zyzyck 報表產生器輔助

2. 執行期記憶體錯誤檢測

C Runtime Library (CRT) 偵測洩漏


// 非 MFC 專案 StdAfx.h 頂端
#define _CRTDBG_MAP_ALLOC
#include 
#include 
#define DEBUG_NEW new(_NORMAL_BLOCK, __FILE__, __LINE__)

// 每個 .cpp 頂端
#ifdef _DEBUG
#define new DEBUG_NEW
#undef THIS_FILE
static char THIS_FILE[] = __FILE__;
#endif

// 程式進入點啟用
_CrtSetDbgFlag(_CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF);

MFC 專案僅需 .cpp 標頭區塊，MFC 已處理其餘。

進階：用戶區塊轉儲物件內容

繼承 CObject：重載 Dump()，afxDump.SetDepth(1)
非 CObject：自訂 _CLIENT_BLOCK 子類型、重載 operator new、註冊 _CrtSetDumpClient

商業級工具：Purify / Insure++

Rational Purify：陣列越界、未初始化讀取、釋放後存取、洩漏
Parasoft Insure++：源碼插桿 + 指標追蹤，精確定位源碼行與呼叫堆疊，測試 98 個含錯程式 100% 偵測

3. Visual Studio 除錯器記憶體診斷

堆疊錯誤

堆疊溢位：區域變數過大 / 遞歸過深 → 調整 Linker → System → Stack Reserve Size
返回位址損毀：區域緩衝區上溢 / 呼叫慣例不匹配 → 開啟 /GS (緩衝區安全檢查) 、/RTCs (執行期檢查)

堆積錯誤特徵

錯誤類型	偵錯版輸出	斷言
寫入越界 (上溢)	Damage: after block...	_BLOCK_TYPE_IS_VALID
寫入越界 (下溢)	Damage: before block...	_BLOCK_TYPE_IS_VALID
刪除非堆指標	_CrtIsValidHeapPointer 失敗	_CrtIsValidHeapPointer
重複釋放	_BLOCK_TYPE_IS_VALID 失敗	_BLOCK_TYPE_IS_VALID

預防：delete p; p = nullptr;

4. 發布版崩潰捕獲與事後分析 (SEH + MiniDump)


// 崩潰回呼
LONG WINAPI CrashHandler(EXCEPTION_POINTERS* ep) {
    MINIDUMP_EXCEPTION_INFORMATION mei = { GetCurrentThreadId(), ep, FALSE };
    HANDLE hFile = CreateFile("crash.dmp", GENERIC_WRITE, 0, NULL,
                              CREATE_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);
    MiniDumpWriteDump(GetCurrentProcess(), GetCurrentProcessId(), hFile,
                      MiniDumpNormal, &mei, NULL, NULL);
    CloseHandle(hFile);
    return EXCEPTION_EXECUTE_HANDLER;
}

// 初始化
SetUnhandledExceptionFilter(CrashHandler);