析构函数的作用是在对象撤销之前做必要的清理现场的工作。当派生类的对象从内存中撤销时一般先调用派生类的析构函数,然后再调用基类的析构函数。但是,如果用new运算符建立了临时对象,若基类中有析构函数,并且定义了一个指向该基类的指针变量。在程序用带指针参数的delete运算符撤销对象时,会发生一个情况: 系统会只执行基类的析构函数,而不执行派生类的析构函数。
 
例: 基类中有非虚析构函数时的执行情况。
为简化程序,只列出最必要的部分。
#include <iostream>
using namespace std;
class Point//定义基类Point
{public:
  Point( ){ }                                                   //Point类构造函数
  ~Point(){cout<<executing Point destructor<<endl;}//Point类析构函数
};
class Circle:public Point                                     //定义派生类Circle
{public:
  Circle( ){ }                                                 //Circle类构造函数
  ~Circle( ){cout<<executing Circle destructor<<endl;}//Circle类析构函数
 private:
  int radius;
};
int main( )
{ Point *p=new Circle;                             //new开辟动态存储空间
delete p;                                        //delete释放动态存储空间
return 0;
}
这只是一个示意的程序。p是指向基类的指针变量,指向new开辟的动态存储空间,希望用detele释放p所指向的空间。但运行结果为
executing Point destructor
表示只执行了基类Point的析构函数,而没有执行派生类Circle的析构函数。原因是以前介绍过的。如果希望能执行派生类Circle的析构函数,可以将基类的析构函数声明为虚析构函数,如
virtual ~Point(){cout<<executing Point destructor<<endl;}
程序其他部分不改动,再运行程序,结果为
executing Circle destructor
executing Point destructor
 
先调用了派生类的析构函数,再调用了基类的析构函数,符合人们的愿望。当基类的析构函数为虚函数时,无论指针指的是同一类族中的哪一个类对象,系统会采用动态关联,调用相应的析构函数,对该对象进行清理工作。
如果将基类的析构函数声明为虚函数时,由该基类所派生的所有派生类的析构函数也都自动成为虚函数,即使派生类的析构函数与基类的析构函数名字不相同。
最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数。这样,如果程序中显式地用了delete运算符准备删除一个对象,而delete运算符的操作对象用了指向派生类对象的基类指针,则系统会调用相应类的析构函数。
虚析构函数的概念和用法很简单,但它在面向对象程序设计中却是很重要的技巧。专业人员一般都习惯声明虚析构函数,即使基类并不需要析构函数,也显式地定义一个函数体为空的虚析构函数,以保证在撤销动态分配空间时能得到正确的处理。
构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程,当然谈不上函数与类对象的绑定。