下面这段代码:
#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[]。