delete p 为何导致程序卡死

[Icedmilk]

为了测试delete与delete[]的区别
写了段代码，可是执行到delete p1程序就卡死了。
帮忙看一下是啥原因。
代码如下：

#include <iostream>
using namespace std;

class CdeleteTest
{
public:
    CdeleteTest()
    {
        cout << "constructor" << endl;
    }
    ~CdeleteTest()
    {
        cout << "destructor" << endl;
    }
};

void main()
{
    CdeleteTest* p1 = new CdeleteTest[3];
    delete p1;

    CdeleteTest* p2 = new CdeleteTest[3];
    delete[] p2;
}

[bragi523]

delete p1;
本身是不对的啊

[Icedmilk]

对，这个程序就是测试用的

就算错了，delete p也不该卡死啊

[blpluto]

delete p1删除一个元素，估计是维护数据的堆出问题了

[rendao0563]

平台,编译器? `~

[jingzhongrong]

其原因可能是堆被损坏，这样的测试本来就是有问题的。

[Icedmilk]

VC2008 windows2003

[伊吹萃香]

和你使用的平台和编译器也有关系，此程序在我这里的运行结果是这样：
constructor
constructor
constructor
destructor
constructor
constructor
constructor
destructor
destructor
destructor

[WizardK]

卡死是不一定的，语法错是一定的。

[zhdf189]

不同编译器得到的效果不同,卡死也是一种错误状态

[Icedmilk]

引用 8 楼 wizardk 的回复:

卡死是不一定的，语法错是一定的。

我没问你这个

[Icedmilk]

引用 7 楼 masm32v9 的回复:

和你使用的平台和编译器也有关系，此程序在我这里的运行结果是这样：
constructor
constructor
constructor
destructor
constructor
constructor
constructor
destructor
destructor
destructor

多谢，你是什么编译器？

[cdsnpeter]

你值得是不是会弹出一个Assertion failed的对话框？

《Effective C++》中说过，使用 new Type[]形式申请的内存。
编译器会给你的Buffer前加上一个 size_t 类型，用以保存对象个数。

所以其实此Buffer要比实际申请的长一些。

Debug下，delete调用时，有一个判断buffer有效性的动作。因为是用数组new的形式申请的内存。
其Buffer中包含有对象个数，实际要比new 申请的内存多一个size_t,所以用普通delete就会让这个断言失效。

[rendao0563]

debug版一般会做对应的堆栈检测. 换release就好了.

[cdsnpeter]

我这里是VC6+ Win XP SP2
Release版本就不会有此问题。但是《Effective C++》说过，你这样的操作，会导致未定义错误。

[WizardK]

引用 10 楼 icedmilk 的回复:

引用 8 楼 wizardk 的回复:
卡死是不一定的，语法错是一定的。
我没问你这个

DELETE是操作符，在堆上释放空间，不同编译器对操作符的实现是不一样的。

[伊吹萃香]

引用 11 楼 icedmilk 的回复:

引用 7 楼 masm32v9 的回复:和你使用的平台和编译器也有关系，此程序在我这里的运行结果是这样： constructor constructor constructor destructor constructor constructor constructor destructor destructor destructor
多谢，你是什么编译器？

我测试用的是GCC编译器。

[Icedmilk]

release还是错误
到那里程序就卡住了

[cdsnpeter]

给new的地方设断点，F11进去看看。基本如我在12楼所说。

CdeleteTest* p1 = new CdeleteTest[1];//这里总共申请的Buffer是5.
CdeleteTest* p2 = new CdeleteTest; //这里总共申请的Buffer是1.

所以，数组new和普通的对象new申请到的Buffer其长度不一样。

delete和delete[] 对Buffer有一个Validate的一个动作，Debug下会弹出Assertion Failed的对话框。
release下，我这里没有弹出那个对话框。

但是，这里的做法是错误的，未定义错误。什么叫未定义错误，就是不晓得会发生什么样的错误。
访问违规？抛出异常？各个不同的编译器都有不同实现，因此我个人认为，纠结于这样的语言细节意义不大。

楼主你可以参考下。

[Icedmilk]

结贴了吧，应该就是编译器的问题。