为什么c++析构函数需要添加virtual

在C++中，当你使用继承时，通常会涉及到基类指针（或引用）指向派生类对象的情况。在这种情况下，如果通过基类指针（或引用）删除派生类对象，就需要确保调用正确的析构函数以避免资源泄露。这就是为什么在C++中，如果一个类可能会被继承，那么它的析构函数通常需要声明为虚函数（virtual）。下面详细解释为什么需要这样做：

多态性与虚析构函数

多态性允许我们通过基类的指针或引用来操作派生类的对象。当使用基类的指针或引用删除派生类的对象时，如果基类的析构函数不是虚的，那么它将不会调用派生类的析构函数。这将导致派生类中分配的资源没有被正确释放，从而引发资源泄露问题。

正确的资源清理

为了确保不论是通过基类还是派生类的指针或引用删除对象时，都能调用到正确的析构函数来做资源的清理工作，我们需要将基类的析构函数声明为虚函数。这样，C++的运行时系统就会根据对象的实际类型来调用正确的析构函数，无论是基类还是派生类的。

虚析构函数的实现

当我们声明一个虚析构函数时，C++编译器会在对象的虚函数表（vtable）中为析构函数创建一个入口。当删除一个对象时，运行时系统会查看对象的vtable，找到析构函数的入口，并调用正确的析构函数。

示例

考虑以下示例：

class Base {
public:
    virtual ~Base() { 
        // 基类的虚析构函数
    }
};

class Derived : public Base {
public:
    ~Derived() {
        // 派生类的析构函数
    }
};

int main() {
    Base* b = new Derived();
    delete b; // 如果Base的析构函数不是虚的，这里只会调用Base的析构函数
              // 因为Base的析构函数是虚的，所以会先调用Derived的析构函数，然后是Base的析构函数
    return 0;
}

在这个例子中，如果Base的析构函数不是虚的，那么delete b;将只会调用Base的析构函数，而不会调用Derived的析构函数。这可能会导致Derived中分配的资源泄露。声明Base的析构函数为虚函数可以确保Derived的析构函数被正确调用，从而避免资源泄露。

结论

总之，当你设计一个类并且这个类预期会被其他类继承时，你应该将析构函数声明为虚函数。这确保了多态性能正确工作，并且无论通过哪种类型的指针或引用删除对象，都能保证资源被正确清理。这是良好的面向对象设计和资源管理的重要方面。