C++基类的析构函数为何要声明为虚函数

C++的类中，构造函数用于初始化对象及相关操作，构造函数是不能声明为虚函数的，因为在执行构造函数前对象尚未完成创建，虚函数表还不存在。

析构函数用于销毁对象完成时相应资源的释放工作，析构函数可以被声明为虚函数。在继承层次中，基类的析构函数一般建议声明为虚函数。

下面通过一个例子来说明下基类析构函数声明为虚函数的必要性。

#include <iostream>
using namespace std;

class base {
public:
    base() {
        cout << "base constructor" << endl;
        int *b = new int[5];
    }
    ~base() {
        cout << "base destructor" << endl;
        delete[] b;
    }
private:
    int *b;
};

class derived : public base {
public:
    derived() {
        cout << "derived constructor" << endl;
        int *d = new int[8];
    }
    ~derived() {
        cout << "derived destructor" << endl;
        delete[] d;
    }
private:
    int *d;
};

int main()
{
    base *pBase = new derived;
    cout << "---" << endl;
    delete pBase;
    return 0;
}

运行结果：

base constructor
derived constructor
---
base destructor

上面定义了两个类：一个基类base，一个派生类derived。基类和派生类都分别定义了各自的构造函数和析构函数。

基类和派生类中各有一个int型指针成员变量：

• 在基类的构造函数中，给指针变量b分配了5个int型空间；基类的析构函数用于将b所指的空间释放掉；
• 在派生类的构造函数中，给指针成员变量d分配了8个int型空间；派生类的析构函数用于释放掉d指针所指向的存储空间。

在主函数中创建一个基类类型的指针pBase，指向一个派生类对象，之后释放掉pBase指针所指向的对象的存储空间。

观察程序的运行结果，：

• 首先，基类的构造函数被调用（base constructor）；
• 其次，派生类的构造函数也被调用（derived constructor）；
• 最后，基类的析构函数被调用（base destructor）。

但是最后却没有调用派生类的析构函数，这样会导致d指针所指向的整型存储空间不会被释放，从而造成内存泄漏。

为了解决这个问题，需要将基类的析构函数声明为虚函数。修改如下：

virtual ~base() {
    cout << "base destructor" << endl;
    delete[] b;
}

运行结果：

base constructor
derived constructor
---
derived destructor
base destructor

将基类的析构函数声明为虚函数之后，派生类的析构函数也自动成为虚析构函数，在主函数中基类指针pBase指向的是派生类对象，当delete释放pBase指针所指向的存储空间时，

• 首先执行派生类的析构函数（derived destructor）；
• 然后执行基类的析构函数（base destructor）。