要弄清楚“为什么基类的析构函数要声明为虚函数”,首先要清楚基类、子类构造函数和析构函数的执行顺序。构造函数的执行顺序为先执行基类的构造函数、再执行子类的构造函数;析构函数的执行顺序为先执行子类的析构函数,再执行基类的析构函数。
如果在基类的析构函数没有声明为虚函数,则在下面这种情况,会有问题
#include <iostream>
#include <windows.h>
using namespace std;
class CBase
{
public:
CBase()
{
std::cout << "CBase" << endl;
}
~CBase()
{
std::cout << "~CBase" << endl;
}
private:
int m_iPara;
};
class CChild : public CBase
{
public:
CChild()
{
std::cout << "CChild" << endl;
}
~CChild()
{
std::cout << "~CChild" << endl;
}
private:
int m_iPara;
};
int main()
{
CBase* p = new(std::nothrow) CChild();
if (nullptr != p)
{
delete p;
p = nullptr;
}
system("pause");
}
运行结果为
可以看到,子类的析构函数没有执行。一个类的析构函数往往和构造函数相对应,构造函数负责一些初始化,析构函数进行反初始化操作,而子类的析构函数没有执行的话,子类析构函数的反初始化操作(往往是一些内存等资源的释放等)就没有执行,从而造成程序异常。
基类的析构函数声明为虚函数后
#include <iostream>
#include <windows.h>
using namespace std;
class CBase
{
public:
CBase()
{
std::cout << "CBase" << endl;
}
virtual ~CBase()
{
std::cout << "~CBase" << endl;
}
private:
int m_iPara;
};
class CChild : public CBase
{
public:
CChild()
{
std::cout << "CChild" << endl;
}
~CChild()
{
std::cout << "~CChild" << endl;
}
private:
int m_iPara;
};
int main()
{
CBase* p = new(std::nothrow) CChild();
if (nullptr != p)
{
delete p;
p = nullptr;
}
system("pause");
}
运行结果为
可以看到子类及基类的析构函数都被正常执行了