c++ - 何时使用虚拟析构函数？

Question

我对大多数面向对象理论有扎实的了解，但令我困惑的一件事是虚拟析构函数。

我以为析构函数总是被调用，无论链中的每个对象是什么。

您打算何时将它们虚拟化？为什么？

Answer 1

当您可能通过指向基类的指针删除派生类的实例时，虚拟析构函数很有用：

class Base 
{
    // some virtual methods
};

class Derived : public Base
{
    ~Derived()
    {
        // Do some important cleanup
    }
};

在这里，您会注意到我没有将Base的析构函数声明为 virtual。现在，让我们看一下以下代码片段：

Base *b = new Derived();
// use b
delete b; // Here's the problem!

由于Base的析构函数不是 virtual，并且 b是指向 Base*对象的 Derived，因此 delete b具有 undefined behaviour：


  [在 delete b中]，如果静态类型为
  要删除的对象与其动态类型（静态）不同
  type应该是要作为对象的动态类型的基类
  删除，并且静态类型应具有虚拟析构函数或
  行为是不确定的。


在大多数实现中，对析构函数的调用将像任何非虚拟代码一样进行解析，这意味着将调用基类的析构函数，但不会调用派生类之一，从而导致资源泄漏。

综上所述，在需要对基类的析构函数进行多态操作时，请始终使其为 virtual。

如果要防止通过基类指针删除实例，则可以使基类的析构函数受保护且是非虚拟的。这样，编译器将不允许您在基类指针上调用 delete。

您可以在 this article from Herb Sutter中了解有关虚拟性和虚拟基类析构函数的更多信息。