C++基类空析构函数设为虚函数的疑问求解

你提到的误解很关键：virtual关键字确实是让析构函数成为虚函数的必要条件，文中所说的“拥有空析构函数”指的是析构函数的函数体为空，而非不需要virtual关键字。

核心原因拆解 #

基类之所以需要这种“空的虚析构函数”，本质是为了保证多态场景下的正确析构：

• 当用基类指针/引用指向派生类对象时，若基类析构函数不是虚函数，delete指针时只会调用基类的析构函数，派生类中需要手动清理的资源（比如动态分配的内存、打开的文件句柄）会无法释放，造成内存泄漏。
• 如果基类本身没有需要手动清理的资源（比如无动态内存、无外部资源句柄），它的析构函数不需要执行任何实际操作——也就是函数体为空，但必须加上virtual关键字，才能让派生类的析构函数被正确调用。

结合原文的经验法则例外 #

通常C++里有个经验法则：如果类需要自定义析构函数，那么它也需要自定义拷贝构造函数和赋值运算符（因为这类类通常要管理资源）。但这种为了实现虚析构而写的空析构函数是例外：

• 它的存在只是为了满足多态析构的要求，不是因为基类需要管理资源，所以不需要额外定义拷贝构造和赋值运算符。

代码示例 #

// 基类：仅为了虚析构而定义的空析构函数
class Base {
public:
    virtual ~Base() {} // 空函数体 + virtual关键字，构成虚析构函数
    // 无需拷贝构造、赋值运算符，因为无资源需要管理
};

class Derived : public Base {
private:
    int* dynamic_data;
public:
    Derived() : dynamic_data(new int(20)) {}
    ~Derived() { delete dynamic_data; } // 派生类需要清理动态内存
};

int main() {
    Base* ptr = new Derived();
    delete ptr; // 因为Base的析构是虚函数，会依次调用Derived和Base的析构，正确释放资源
    return 0;
}

内容的提问来源于stack exchange，提问作者yapkm01