兩個程序員遇到的最普遍并且最難處理的問題是覆蓋分配內(nèi)存的尾部以及內(nèi)存泄露(在他們不需要內(nèi)存的時候不能釋放內(nèi)存)。
DEBUG
堆提供了強大的工具來解決這類內(nèi)存分配的問題。
?
堆函數(shù)的調(diào)試版本
?
堆函數(shù)的調(diào)試版本調(diào)用
Release
創(chuàng)建中的標(biāo)準(zhǔn)的或基礎(chǔ)版本。當(dāng)你請求一個內(nèi)存塊的時候,調(diào)試堆管理器從基礎(chǔ)堆中分配一個稍微比你請求大一點的內(nèi)存快,并且返回一個指針指向你的塊的部分。例如,如果你的程序包含調(diào)用:
malloc(10)
,在
Release
創(chuàng)建的時候,
malloc
將調(diào)用基礎(chǔ)堆分配程序來請求分配
10
個字節(jié)的空間;在
Debug
版本中,
malloc
將調(diào)用
malloc_dbg
,它將調(diào)用基礎(chǔ)堆來分配一個你請求的
10
個字節(jié)再加
36
個字節(jié)的額外內(nèi)存。所有的在
debug
堆中的內(nèi)存塊用一個單一的鏈表來連接,順序是按照分配的順序。
調(diào)試堆程序分配的額外內(nèi)存用來保存信息,用于將調(diào)式內(nèi)存塊連接在一起的指針和在你數(shù)據(jù)另一邊的小緩沖區(qū)來捕獲分配區(qū)域的越界。
當(dāng)前,塊頭結(jié)構(gòu)用來存儲調(diào)試堆的輔助信息定義為下面的形式(
DBGINT.H
):
typedef struct _CrtMemBlockHeader
{
// Pointer to the block allocated just before this one:
?? struct _CrtMemBlockHeader *pBlockHeaderNext;
// Pointer to the block allocated just after this one:
?? struct _CrtMemBlockHeader *pBlockHeaderPrev;
?? char *szFileName;??? // File name
?? int nLine;?????????? // Line number
?? size_t nDataSize;??? // Size of user block
?? int nBlockUse;?????? // Type of block
?? long lRequest;?????? // Allocation number
// Buffer just before (lower than) the user's memory:
?? unsigned char gap[nNoMansLandSize];
} _CrtMemBlockHeader;
?
/* In an actual memory block in the debug heap,
?* this structure is followed by:
?*?? unsigned char data[nDataSize];
?*?? unsigned char anotherGap[nNoMansLandSize];
?*/
?
NoMansLan
緩沖區(qū)在用戶數(shù)據(jù)區(qū)域的任意一邊是
4
個字節(jié)的大小,填充一個已知的值,用于調(diào)試堆程序來驗證用戶的內(nèi)存沒有被越界的限制。調(diào)試堆也用已知的值來填充新的內(nèi)存塊;如果你選擇將
FREED
塊保存在堆的連表中(如下面解釋),這些塊也會被填充已知的值。當(dāng)前,實際字節(jié)值如下:
NoMansLand(0XFD)
這種緩沖區(qū)在內(nèi)存的任意一邊,當(dāng)前填充為
0XFD
,應(yīng)用程序使用
Freed blocks(0XDD)
該塊在
_CRTDBG_DELAY_FREE_MEM_DF
標(biāo)志被設(shè)置的時候始終保持在堆的連接連表中不使用;當(dāng)前填充
0XDD
。
New object(OXCD)
當(dāng)他們被分配的時候填充
0XCD