虚析构函数的使用

面试时被问到了虚析构函数的使用，特此记录

 

首先我们写两个类：

#ifndef CLX_H
#define CLX_H

#include <iostream>

class ClxBase {
public:
	ClxBase() {std::cout << "clx_base has been created" << std::endl;}
	virtual ~ClxBase() {std::cout << "clx_base has been destroyed" << std::endl;}
	virtual void dosomething() {std::cout << "clx_base dosomething..." << std::endl;}
};

class ClxDerived : public ClxBase {
public:
	ClxDerived() {std::cout << "clx_derived has been created" << std::endl;}
	~ClxDerived(){std::cout << "clx_derived has been destroyed" << std::endl;}
	void dosomething() {std::cout << "clx_derived dosomething..." << std::endl;}
};

#endif

 

指明了，父类的析构函数是虚类型。

 

调用代码：

ClxBase *clx = new ClxDerived;
clx->dosomething();
delete clx;

 

运行结果如下：

 

注意类加载时的顺序和析构的顺序是刚好相反的。析构是总是从子类开始，然后再回收父类，符合编程要求。

 

如果将父类中规定的虚类型去掉，即

class ClxBase {
public:
	ClxBase() {std::cout << "clx_base has been created" << std::endl;}
	~ClxBase() {std::cout << "clx_base has been destroyed" << std::endl;}
	virtual void dosomething() {std::cout << "clx_base dosomething..." << std::endl;}
};

这样，只会执行基类的析构函数，而派生类的析构函数不会执行。 相当于没有重载。

运行效果如下：

 

当基类的析构函数为虚函数时，无论指针指的是同一类族中的哪一个类对象，系统会采用动态关联，调用相应的析构函数，对该对象进行清理工作。

如果将基类的析构函数声明为虚函数时，由该基类所派生的所有派生类的析构函数也都自动成为虚函数，即使派生类的析构函数与基类的析构函数名字不相同。

最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数。这样，如果程序中显式地用了delete运算符准备删除一个对象，而delete运算符的操作对象用了指向派生类对象的基类指针，则系统会调用相应类的析构函数。

虚析构函数的概念和用法很简单，但它在面向对象程序设计中却是很重要的技巧。

专业人员一般都习惯声明虚析构函数，即使基类并不需要析构函数，也显式地定义一个函数体为空的虚析构函数，以保证在撤销动态分配空间时能得到正确的处理。

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