heap corruption_heap block at_policecorruption(2)

{

// 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];

*/

结构中的_CrtMemBlockHeader结构两个指针就不用解释是干嘛的了，szFileName是存储的发起分配操作的那行代码所在的文件的路径和名称，而nLine则是行号。nDataSize是请求分配的大小，我们的例子里当然就是10了，nBlockUse是类型，而lRequest 是请求号。最后一项gap，又称NoMansLand，是4byte（nNoMansLandSize=4）大小的一段区域，注意看最后几行注释就明白了，在这个结构后面跟的是用户真正需要的10byte数据区域，而其后还跟了一个4byte的Gap，那么也就是说用户申请分配的区域是被一个头结构，和一个4byte的gap包起来的。在释放这10byte空间的时候，会检查这些信息。Gap被分配之后会被以0xFD填充。heap corruption检查中如果gap中的变化了，就会以Assert fail的方式报错。不过vc6中提示的比较难懂，DAMAGE ：after Normal block（#dd） at 0xhhhhhhhh，而vs2005里面会提示Heap Corruption Detected!而如果你是release版本，那么这个错误就会潜伏直到它的破坏力发生作用。也许其后的区域存储着一个除数，而你的heap corruption把它改写成了0，那么会怎么样呢？ :P

至于其他的C/C编译器中是否会有这样的机制，我就不是很清楚了，或许知道的朋友可以给我做些补充。

下面是我的见解：

我的出错程序：

unsigned int tLength=strlen(inSrcString);

char* tString=new char[tLength]; //注意这里！！！分配的数组大小应为tLength1,因为最后还有一个'\0'

...

strcpy(tString,inSrcString); //也要小心！如果inSrcString的长度大于tString的长度，会越界，显然Bug!本例先取inSrcString长度

/*附上strcpy大概实现，想然你会明白我的意思。

char* strcpy(char* pDest,const char* pSrc)

{

assert(pDest!=NULL&&pSrc!=NULL);

char* addr=pDest;

while((*pDest=*pSrc)!='\0');

retrun addr;

*/

...

delete[] tString; //字符数组，所以用delete[]，就是这里报错！！！

我想C的字符串操作，我是说像我这么原始的，而不是string类，一定要千万小心！！！祝你好运！

好了，我想我已经说明白了。如果你还不明白，再仔细琢磨琢磨吧。

为防自己忘记，特记之。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-49189-2.html