记得有一次在面试的时候被问到虚析构函数的作用,当时回答得不是很好,故现在想重新整理下。
先看下下面的代码:
using namespace std;
class Base
{
public :
Base(){cout << " Base::constructor is called! " << endl;}
~ Base(){cout << " Base::destructor is called! " << endl;} // 大家关键是看这句
virtual void f(){cout << " Base::f() is called! " << endl;};
};
class Derived: public Base
{
public :
Derived(){cout << " Derived::constructor is called! " << endl;}
~ Derived(){cout << " Derived::destructor is called! " << endl;}
virtual void f(){cout << " Derived::f() is called! " << endl;}
};
int main()
{
Base * pBase;
pBase = new Derived();
cout << " ************************************* " << endl;
pBase -> f();
cout << " ************************************* " << endl;
delete pBase;
system( " pause " );
return 0 ;
}
大家猜猜输出结果如何?
以下是输出结果:
Base::constructor is called!
Derived::constructor is called!
*************************************
Derived::f() is called!
*************************************
Base::destructor is called!
请按任意键继续. . .
没错,也许你已经看出问题的所在了。C++明确指出,当一个继承类经由一个基类的指针删除时,而该基类包含的是一个非虚析构函数,其结果是未定义的(实际执行时通常发生的是继承类的独有成分没有被销毁。这个后果很严重,会造成内存泄漏。
不过解决这个问题的方法也很简单。只要你在Base类的析构函数~Base()前加上一个virtual就行了。这时通过基类指针删继承类会得到你期望的结果。
如下是使用了虚析构函数后的输出结果:
Base::constructor is called!
Derived::constructor is called!
*************************************
Derived::f() is called!
*************************************
Derived::destructor is called!
Base::destructor is called!
请按任意键继续. . .
哈哈,有意思吧。以后在通过基类指针删继承类时你可要注意了啊!别忘了在基类声明一个虚析构函数!
问题还没有结束。我们知道,如果定义了一个普通的纯虚(pure-virtual)函数的话,这个纯虚(pure-virtual)函数是可以不带函数体的。但这并对纯虚(pure-virtual)析构函数来说并不成立。如果我们在基类中将析构函数定义为pure-virtual类型,那么我们也必须为这个函数提供一份实现。
下面是代码说明:
{
public :
Base(){cout << " Base::constructor is called! " << endl;}
virtual ~ Base() = 0 ; // 这里是会出现问题的,如果这个函数确实什么也不想做,
// 那么至少定义为virtual ~Base()=0{}。
virtual void f(){cout << " Base::f() is called! " << endl;};
};
好了,就说到这吧!虚析构函数的用法虽然简单,但它在面向对象程序设计中却是一个重要的技巧。那我们以后在这方面也要多加注意了哦!