有如下类:
class point_ty{
private:
int x;
int y;
int z;
public:
point_ty(int a, int b,int c) :x(a), y(b),z(c)
{
}
point_ty() :x(0), y(0),z(0)
{
}
void show()
{
cout << this << " x:" << x << " y:" << y << endl;
}
~point_ty()
{
cout <<"~point_ty"<< endl;
}
};
如下使用:
void main()
{
point_ty *ptr = new point_ty(1, 2,3);
ptr->show();
delete ptr;
ptr = NULL;
system("pause");
}
其实编译器将point_ty *ptr = new point_ty(1, 2);
转化为如下语句:
1)void *pTmp = ::operator new[sizeof(point_ty)];
2) ptr = static_cast<point_ty *>(pTmp);
3) ptr->point_ty::point_ty(1,2);//注意只有编译器才可以这样调用构造函数
貌似这种单个指针的使用,只要细心大家都不太会出问题,接下来讲解一下另一种情况(对象数组)
如下使用
void main()
{
int *pa = new int[10];
delete pa;
system("pause");
}
我相信,工作中有很多人这样写代码,的确对于普通类型来说没有问题,因为它的内存布局类似如下:
这样是不会造成内存泄漏的,但如果是类对象呢?如下使用方法:
void main()
{
point_ty *ptr = new point_ty[3];
delete ptr;
ptr = NULL;
system("pause");
}
结果:
这个结果对于初学者来说是很出乎意料的。到底是什么原因造成这种结果的呢?其实只需要知道申请内存是对象数组的内存模型就可以知道原因,下面我画图示意一下。
单一对象的内存布局不同于数组的内存布局,明确点说:数组所用的内存通常还包括“数组的大小”的记录,这个记录用于执行几次析构函数,上述使用过程造成的奔溃就是因为漏掉了“3”所占用的那部分空间,造成布局不同了。那该如何解决奔溃的问题呢?其实很简单,就是使用 delete []ptr.因为这样使用,在释放内存的时候,会自动将ptr的指针指向带有记录数量的地址处,从而可以正确释放内存。接下来给出正确释放对象数组的内存布局示意图。
总结
如果你在new表达式中使用[],必须在相应的delete表达式中也使用[],如果你在new表达式中不使用[],一定不要在相应的delete表达式中使用[].
有兴趣的同学可以测试,使用new,然后再使用 delete []。结果如果使用对象,且定义了析构函数当然奔溃。