new可以开辟单个对象,也可以开辟一组对象,如下面代码段所示:
class Object
{
private:
int value;
public:
Object(int x=0) :value(x)
{
cout << "construct object" << this << endl;
}
~Object()
{
cout << "deconstruct object" << this << endl;
}
void Print() const
{
cout << value << endl;
}
};
int main()
{
int n=10;
Object *op=new Object[n];
op->Print();
delete []op;
op=nullptr;
return 0;
}
问题:系统怎么知道申请的一组对象有多少个?
答:new一组对象时,在堆区第一个对象空间的上部多开辟了4个字节来记录有多少个对象。
因此以[]的形式开辟,就要以[]的形式释放。如果按delete op删除,上越界标记上部头部信息(包含申请空间大小)读取不完整,会存在内存读的错误使程序崩溃;
如果是new单个对象,以delete []op删除,会导致把上越界标记当成记录有多少个对象的空间,也会导致程序崩溃。