C++明确指出:当派生类对象是由一个基类指针释放的,而基类中的析构函数不是虚函数,那么结果是未定义的。其实我们执行时其结果就是:只调用最上层基类的析构函数,派生类及其中间基类的析构函数得不到调用。
#include <iostream> using namespace std; class TimeKeeper
{
public:
TimeKeeper();
~TimeKeeper();
};
TimeKeeper::TimeKeeper()
{
cout << "Construct TimeKeeper" << endl;
}
TimeKeeper::~TimeKeeper()
{
cout << "Destruct TimeKeeper" << endl;
} class WristWatch : public TimeKeeper
{
public:
WristWatch();
~WristWatch();
};
WristWatch::WristWatch()
{
cout << "Construct WristWatch" << endl;
}
WristWatch::~WristWatch()
{
cout << "Destruct WristWatch" << endl;
} int main()
{
TimeKeeper* pt = new WristWatch;
38 delete pt; // 仅调用TimeKeeper::~TimeKeeper return ;
}
现在我们将基类的析构函数变为虚析构,代码只改动一行,在~TimeKeeper()前面加上virtual,那么用基类指针释放派生类对象时,就会先调用WristWatch::~WristWatch,然后调用TimeKeeper::~TimeKeeper。
注意:
1> 如果在定义一个类时可以确保该类不会作为多态的基类,那么不要为其定义虚析构函数。因为虚函数的实现机制会增大对象的空间(必须保存一个指向vtable的vptr指针,会占用32bit或者64bit的存储空间)。因此,经验是:只有当一个class中至少含有一个virtual函数,才为其定义virtual析构函数。
2> 不要从non-virtual析构函数的类型继承。
有时候让一个类带有pure virtual析构函数更便利一些:
class Base
{
public:
virtual ~Base() = ; // pure virtual destructor
};
Base::~Base() // definition
{ }
主要有两方面的好处:
1> 你想拥有一个抽象类(接口),但还没找到任何有用的virtual函数可供使用
2> 同时解决了多态的析构调用问题。
但此时你必须注意:必须为这个pure virtual析构函数提供一个实现。因为在析构过程中,编译器会在派生类的析构函数中调用基类的析构函数,如果没定义,则必然发生错误。
总结:
- 多态基类必须声明一个virtual析构函数。
- 如果一个类中至少有一个virtual函数,说明该类的目的是作为多态基类存在,它就必须拥有一个virtual析构函数。
- 如果设计一个类的目的不是作为基类使用,或者是基类但不具有多态性,那么不要声明virtual析构函数。