虚析构函数

 

析构函数的作用是在对象撤销之前做必要的 “ 清理现场 ” 的工作。当派生类的对象从内存中撤销时一般先调用派生类的析构函数，然后再调用基类的析构函数。但是，如果用 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 运算符的操作对象用了指向派生类对象的基类指针，则系统会调用相应类的析构函数。

虚析构函数的概念和用法很简单，但它在面向对象程序设计中却是很重要的技巧。专业人员一般都习惯声明虚析构函数，即使基类并不需要析构函数，也显式地定义一个函数体为空的虚析构函数，以保证在撤销动态分配空间时能得到正确的处理。

构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程，当然谈不上函数与类对象的绑定。