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