8.6 虚析构函数

 

8.6 虚析构函数

在C++中，析构函数前面加上关键字 virtual 进行说明，就称该析构函数为虚析构函数。例如：

class B {
public:
    virtual ~B();
};

如果一个基类的析构函数被声明为虚析构函数，则其派生类的析构函数也是虚析构函数，不管它是否使用关键字 virtual 进行说明。虚析构函数的主要目的是确保在使用 delete 运算符删除一个对象时，能够正确调用析构函数，从而采用动态联编的方式选择析构函数，确保对象的删除更彻底。

示例：虚析构函数

以下是一个关于虚析构函数的例子：

#include <iostream>
using namespace std;

class A {
public:
    virtual ~A() {
        cout << "A::~A() called." << endl;
    }
};

class B : public A {
public:
    B(int i) {
        buf = new char[i];
    }
    ~B() {
        delete[] buf;
        cout << "B::~B() called." << endl;
    }

private:
    char* buf;
};

void fun(A* a) {
    delete a;
}

int main() {
    A* a = new B(15);
    fun(a);
    return 0;
}

说明

执行该程序，输出结果如下：

B::~B() called.
A::~A() called.

如果类 A 中的析构函数没有声明为虚函数，则输出结果如下：

A::~A() called.

解析

1. 虚析构函数的作用：当声明析构函数为虚函数时，执行 delete a; 会采用动态联编，首先调用派生类的析构函数，然后再调用基类的析构函数。因此，在上述程序中，正确调用了 B 类和 A 类的析构函数。
2. 非虚析构函数的行为：如果没有声明基类的析构函数为虚函数，则在执行 delete a; 时，只会调用基类 A 的析构函数，而不会调用派生类 B 的析构函数。这会导致派生类 B 的资源未被正确释放，从而可能引发内存泄漏。

虚析构函数的必要性

在面向对象编程中，基类的析构函数通常被设计为虚函数，特别是在涉及多态性时。这是因为通过基类指针或引用操作派生类对象时，如果没有虚析构函数，析构过程将无法正确完成，导致资源泄露。

示例：资源管理

以下是一个更复杂的例子，展示虚析构函数在资源管理中的重要性：

#include <iostream>
using namespace std;

class Base {
public:
    virtual ~Base() {
        cout << "Base Destructor" << endl;
    }
    virtual void show() = 0;
};

class Derived : public Base {
public:
    Derived(int size) {
        data = new int[size];
        cout << "Derived Constructor" << endl;
    }
    ~Derived() {
        delete[] data;
        cout << "Derived Destructor" << endl;
    }
    void show() override {
        cout << "Derived show()" << endl;
    }

private:
    int* data;
};

void process(Base* base) {
    base->show();
    delete base;
}

int main() {
    Base* obj = new Derived(5);
    process(obj);
    return 0;
}

说明

执行该程序，输出结果如下：

Derived Constructor
Derived show()
Derived Destructor
Base Destructor

在这个例子中，通过基类指针 Base* 操作派生类对象 Derived，并在函数 process 中调用 delete 释放对象。在析构过程中，正确调用了派生类 Derived 的析构函数，释放了动态分配的资源，然后再调用基类 Base 的析构函数。这体现了虚析构函数在资源管理中的关键作用。

结论

虚析构函数是C++中确保对象删除正确性的重要工具。在涉及多态性的编程中，基类的析构函数应被声明为虚函数，以确保通过基类指针或引用操作派生类对象时，能够正确调用派生类的析构函数，从而避免资源泄漏和未定义行为。希望本文对虚析构函数的理解有所帮助，为编写更安全、更健壮的C++程序提供支持。