如果一个类中定义了虚函数,那么析构函数也应说明为虚函数。
当delete运算符和析构函数一起工作时,使用delete删除一个对象,会隐藏着对析构函数的一次调用。
先假设基类不使用虚析构函数,看一下下面的例子:
基类:
class Base
{
public:
Base(){}
~Base(){cout << "Base destructor is called!" << endl;} // 非虚析构函数
};
派生类:
class Subclass:public Base
{
public:
Subclass(){ptr = new int;}
~Subclass()
{
cout << "Subclass destructor is called!" <<endl;
delete ptr;
}
private:
int *ptr;
};
用派生类初始化一个基类对象:Base * b = new Subclass;
主函数:
int main()
{
Base * a = new Subclass;
delete a;
return 0;
}
运行结果:
Base destructor is called!
可以看到:用delete删除对象时,只调用了基类的析构函数,尾调用派生类的析构函数,会造成对象ptr分配的内存没有得到释放。
将 ~Base 声明为 virtual ~Base,重新运行程序。
运行结果:
Subclass destructor is called!
Base destructor is called!
将基类的析构函数设置为虚函数后,在使用指针引用时可以动态联编,实现运行时的多态性。
这样在析构函数执行时,会先调用派生类的析构函数,再调用基类的析构函数。