在C++程序开发时,用作基类的类的析构函数一般要定义为虚函数,为什么要这样做呢?先看一个例子,代码如下:
#include <iostream>
using namespace std;
class ClsBase //定义基类
{
public:
ClsBase(){cout<<"Base class is Constructed"<<endl;}
virtual ~ClsBase(){cout<<"Base class is deconstructed"<<endl;}
virtual void Clue(){cout<<"this is a member function in ClsBase"<<endl;}
};
class ClsDerived:public ClsBase//派生类
{
public:
ClsDerived(){cout<<"Derived class is Constructed"<<endl;}
~ClsDerived(){cout<<"Derived class is deconstructed"<<endl;}
void Clue(){cout<<"this is a member function in ClsDerived"<<endl;}
};
void main()
{
ClsBase *pClsBase=new ClsDerived;
pClsBase->Clue();
delete pClsBase;
}
运行结果:
可以看出,在新建派生类对象的时候,先构建基类对象,然后再构建派生类的对象。在删除由基类指针指向的派生类对象时,先删除派生类对象,然后再删除基类对象。如果把基类中析构函数前的virtual关键字去掉,输出结果如下:
结果说明,派生类ClsDerived的析构函数根本没有被调用!(因为动态联编,对于由基类指针指向的派生类对象,在运行时会检查派生类对象有无重载析构函数,有则调用之,然后调用基类的析构函数,否则直接调用基类的析构函数)
一般情况下,类的析构函数都是用来释放内存资源的,如果析构函数没有被调用的话,会造成内存泄露,这是很危险的。
所以,在基类中把析构函数定义为虚函数的作用就是:当通过基类指针删除一个派生类的对象时,派生类的析构函数能够被调用。
当然,并不需要把所有的类的析构函数都写成虚函数。因为当类里面有虚函数时,编译器会给类添加一个虚函数表,里面存放虚函数指针,这样会增加类的存储空间。所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数。
但是对于一般成员函数,如果基类中没有定义为虚函数,即使在派生类中对其重写,在调用时也只会调用基类中的函数。