1. <span style="font-size:16px;">//程序A
2. struct text_data_t
3. {
4. int i;
5. };
6. int _tmain(int argc, _TCHAR* argv[])
7. {
8. text_data_t *pdata=new text_data_t[5];
9. char *pi=new char[5];
10. for(int k=0;k<5;k++)
11. pdata[k].i=k;
12. delete pdata;
13. delete pi;
14. //内存泄露检测函数。若检测到内存泄漏那么就会输出宽里输出?"Detected memory leaks!....等信息"
15. _CrtDumpMemoryLeaks();
16. }
17. </span>

2）对象数组不能用delete,只能用delete[];

输出结果

在release下运行，没有出现上面那个错误提示窗口！但是输出结果是一样的！数组里5个对象只有第一个对象，运行了析构函数！事实证明2的断言同样也是正确的！OK！

那么我就要问了，

           delete 结构体数组----都不会出问题！而delete 对象数组----报错。为什么呢？？？

如果你深深的被这个疑问所困恼，那么接下来让我们一起来解放这个疑惑！这个痛苦！

有些人有这样的误解：

我在网上看了很多帖子，很多人说，程序B：delete  pas;只释放了pas[0]其他的都没有释放;因为根据程序运行结果，我们可以看出，他只调用pas[0]的虚构函数！那么你怎么看呢？你觉得呢？

有人认为可以如下来释放数组所有空间：

那么你，怎么看待程序C；你觉得这样子可以吗？答案你自己去需找！看看运行结果你就会知道！异或是看完全文，那么你也会明白！

Ok！debug模式运行程序B，弹出上面错误提示框!按下重试，进入出错函数里

Google找到pHead 的类型CrtMemBlockHeader数据结构的解释
参考资料
1） http://msdn.microsoft.com/en-us/library/bebs9zyz(v=vs.71).aspx
2） http://hi.baidu.com/6908270270/blog/item/46b854248e0992358644f928.html#0

typedefstruct _CrtMemBlockHeader
{
      // Pointer to the block allocatedjust before this one:指向前一块数据块的指针?
     struct _CrtMemBlockHeader *pBlockHeaderNext;
     // Pointer to the block allocatedjust after this one:指向下一块数据块的指针
     struct _CrtMemBlockHeader *pBlockHeaderPrev;
     char *szFileName; // File name存储的发起分配操作的那行代码所在的文件的路径和名称，但实际上是空指针?
     int nLine; // Line number则是行号?，也就是存储的启发分配操作代码的行号?
     size_t nDataSize; // Size of user block请求分配的大小?（对象数组为sizeof（数组元素个数-----这里也就是个unsigned int类型）+ sizeof（<You Data>））
      int nBlockUse; // Type of block 类型
      long lRequest; // Allocation number请求号 
      // Buffer just before (lower than)the user's memory:lRequest
      unsigned char gap[nNoMansLandSize];//这个数据是干嘛的呢，查下单词gap是什么意思，你就知道了！
} _CrtMemBlockHeader;

这里解释下Gap[]吧：

<your data>前后各有4个字节的 gap[],前后的gap都为 0xFD. 如果你在自己的Data里写, 不小心越了界(前面或者后面), 系统在delete的时候通过检查 gap 的数据是否还为0xFD，就知道你有没有越界. 当然了, 如果你恰好写的都是0xFD, 那就没法知道了.

函数_CrtDumpMemoryLeaks();就是通过检查分配链表（pBlockHeaderNext和pBlockHeaderPrev为双链表的双链）, 来查找是否有泄漏。

我搜索了很多量资料，做了很多实验,得出结论：

对于普通数据存储空间的分配形式：

公式1）_CrtMemBlockHeader + <Your Data> +gap[nNoMansLandSize];这类数据用delete和delete[]都一样！

通常我们的指针都是指向<your data>的首地址！

而对于对象数组则是：

公式2）_CrtMemBlockHeader +数组元素个数+ <Your Data> +gap[nNoMansLandSize];

举个例子说：

int *pis=new int[5];

当我们的程序执行到这么一条语句时，你觉得系统会给他分配多少内存空间，20？如果你的答案是20那么我可以告诉你，亲，你太单纯了，想得太简单了！那么请再仔细理解前面两个公式！

实际上系统分配sizeof（CrtMemBlockHeader）+20+sizeof（gap[nNoMansLandSize]）大小的空间！

而CTextClassA*pas=new CTextClassA[5];

则分配sizeof（CrtMemBlockHeader）+4（该空间，用来存储数组中元素数目大小，占用4Byte）+20+sizeof（gap[nNoMansLandSize]）大小的空间！

OK，也许你不相信我得出的这个结论！我早有准备！

调试运行如下代码，并打开内存窗口观察pis：

内存窗口有关pis内存数据的内容：

1. <span style="font-size:16px;">//程序E:
2. CTextClassA *pa=new CTextClassA;
3. CTextClassA *pas=new CTextClassA[5];
4. CTextClassA *pas_arr[5];
5. for(int i=0;i<5;i++)
6. {
7. pas[i].SetNum(i);
8. pas_arr[i]=&pas[i];
9. cout<<"pas"<<i<<":"<<pas[i].m_num<<"\t";
10. }
11. delete pa;
12. delete[] pas;//修改部分
13. </span>

程序E的pHead->pBlockHeaderPrev==程序B的pHead->pBlockHeaderNext；

程序E的pHead->szFileName==程序B的pHead->pBlockHeaderPrev；

程序E的pHead->nLine==程序B的pHead->szFileName；

程序E的pHead->nDataSize==程序B的pHead->nLine；

……

再想想四位，四位不刚好是sizeof（数组元素个数）吗？恩，不错，确实如此，delete pas;在调用voidoperatordelete(void*pUserData)时会将<yourdata>的首地址传给pUserData，那么程序会将<your data>的前8*4Byte数据当成_CrtMemBlockHeader，也就是说（_CrtMemBlockHeader::pBlockHeaderPrev开始到  数组元素个数）数据当成CrtMemBlockHeader的数据；

还记得程序B的中断处吗？_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));该函数是检查，你的数据的数据类型的！而pHead->nBlockUse值已经完全变了，而且变化很大，原本应该是1的可现在是b2！当然要报错了！不报错才怪！然而delete[] pas;则会将 (数组元素个数+<yout data>)整个数据当成pUserData！数组元素个数数据，前8*4Byte当成_CrtMemBlockHeader，写入到pHead！

恩看到这里相信你明白了，是肿么回事了吧！

那么回过头来，想想，我们之前的“程序C：”！那么，相信答案就在你心中！

哈哈……我发现没事可以自己动手实践，这些程序哦！有很多意外收获！