Delete 多态类数组

来源:互联网 发布:php图片一句话木马 编辑:程序博客网 时间:2024/05/23 00:06

下面这段代码:

#include<iostream>class Base{    public:Base(){}virtual ~Base(){}};class Derive : public Base{    public:Derive():i(1){}virtual ~Derive(){}        private:        int i;};int main( void ){    Base *p = new Derive[10];    delete[] p;    return 0;}

编译能通过,但运行时会出现段错误!

原因:编译器遇到这样的代码

delete[] p;//隐藏着指针算法
它肯定象这样生成代码:
// 以与构造顺序相反的顺序来 解构数组里的对象
for ( int i = 数组元素的个数 1; i >= 0;--i){      Derive[i].Base::~Base();// 调用Derive[i]的析构函数}
因为在做数组析构的时候,编译器会对每个元素都做一次析构,由于代码中写的是基类的指针,因此,编译器在计算每个元素的偏移的时候,是按照基类的大小来计算的。因此,第一个元素的析构函数可以被正常调用,而第二个是不可以的,因为此时已经指向了错误的内存区域。如果基类大小和子类大小是一样的,那么这段代码就不会core掉。

解决方法:

1. delete[] (Derived*)p;   不过,这样不是很好的处理方式,因为必须知道它的真实类型。

2. base扩展为和derived一样的属性和方法,不需要的方法改为virtual.这种方法会增加基类的大小,浪费存储空间

3.在class Base中重新定义operator new[]和operator delete[]。