面试时被问到了虚析构函数的使用,特此记录
首先我们写两个类:
#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运算符的操作对象用了指向派生类对象的基类指针,则系统会调用相应类的析构函数。
虚析构函数的概念和用法很简单,但它在面向对象程序设计中却是很重要的技巧。
专业人员一般都习惯声明虚析构函数,即使基类并不需要析构函数,也显式地定义一个函数体为空的虚析构函数,以保证在撤销动态分配空间时能得到正确的处理。
构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程,当然谈不上函数与类对象的绑定。