C++编程规范,第50条:将基类析构函数设为公用且虚拟的,或者保护且非虚拟的。
在实际的项目中,经常会需要通过基类的指针来删除派生类,如果不加注意就会出错。之前就遇到通过delete来删除基类指针时,只有基类的析构函数被调用,派生类被未被删除,直觉上的第一个解决办法就是将基类指针强转为派生类指针,然后再删除。后来在阅读<<C++编程规范:101条规则、准则与最佳实践>>时,看到了第50条,特别适合这种场景,于是写了段代码来测试:(下面的代码其实很简单)
// BaseDeconstruct.cpp : 定义控制台应用程序的入口点。
//
#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
public:
Base(void)
{
cout << "Base()" << endl;
}
virtual ~Base(void)
{
cout << "~Base()" << endl;
}
virtual void what()
{
cout << "class Base" <<endl;
}
};
class Child1 :public Base
{
public:
Child1(void)
{
cout << "Child1()" << endl;
}
~Child1()
{
cout << "~Child1()" << endl;
}
void what()
{
cout << "class Child1" <<endl;
}
};
int main()
{
Base* base = new Child1();
delete base;
return 0;
}
在上面的代码中,Base是基类,Child1是派生类。将基类的析构函数定义为虚函数,同时在其实现中打印西沟函数名。然后派生类中也定义自己的析构函数,同样打印自己的析构函数名,这样当我们通过delete来删除base指针时,通过打印信息就能够看到是否调用了派生类的析构函数。
代码执行结果如下:
从截图中还可以看到,在构造的时候,首先调用的是基类的构造函数,然后才是派生类的构造函数,这个好理解,因为只有当基类完成初始化之后,派生类才可以初始化,否则如果派生类依赖于基类中的某些数据,则导致初始化失败。而析构函数的调用刚好相反,首先是派生类的析构函数被调用,然后才是基类的析构函数。
其实,这里将基类的析构函数定义为虚拟的,也是利用了多态机制,即使我们只有基类的指针,我们也能够安全的删除派生类。