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

class Base 
{
    // some virtual methods
};

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

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

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

由于Base的析构函数不是虚拟的，而b是指向派生对象的Base*，因此删除b具有未定义的行为：

[在delete b]中，如果要删除的对象与其动态类型不同，静态类型应为对象的动态类型的基类删除，静态类型应具有虚拟析构函数或行为未定义。

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

总之，当基类的析构函数要以多态方式操作时，请始终将其设为虚拟。

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

在本文中，您可以从HerbSutter了解更多关于虚拟性和虚拟基类析构函数的信息。

还要注意，在没有虚拟析构函数时删除基类指针将导致未定义的行为。我最近学到的东西：

C++中重写删除应该如何操作？

我已经使用C++多年了，但我还是设法自杀了。

在多态基类中声明虚拟的析构函数。这是Scott Meyers的有效C++中的第7项。Meyers接着总结道，如果一个类有任何虚拟函数，那么它应该有一个虚拟析构函数，而不是设计为基类或不是设计为多态使用的类不应该声明虚拟析构器。

虚拟基类析构函数是“最佳实践”——您应该始终使用它们来避免（难以检测）内存泄漏。使用它们，可以确保类的继承链中的所有析构函数都被调用（按正确的顺序）。使用虚拟析构函数从基类继承也会使继承类的析构函数自动虚拟化（因此不必在继承类析构函数声明中重新键入“virtual”）。

将所有析构函数都设为虚拟，除非你有充分的理由不这样做。

否则会发生这样的邪恶：

假设您有一个包含Apple和Orange对象的Fruit指针数组。

从Fruit对象集合中删除时，除非~Fruit（）是虚拟的，否则无法调用~Apple（）和~Orange（）。

正确完成示例：

#include <iostream>
using namespace std;
struct Fruit { // good
  virtual ~Fruit() { cout << "peel or core should have been tossed" << endl; } 
};
struct Apple:  Fruit { virtual ~Apple()  {cout << "toss core" << endl; } };
struct Orange: Fruit { virtual ~Orange() {cout << "toss peel" << endl; } };

int main() { 
  Fruit *basket[]={ new Apple(), new Orange() };
  for (auto fruit: basket) delete fruit;
};

正品产出量

toss core
peel or core should have been tossed
toss peel
peel or core should have been tossed

错误示例：

#include <iostream>
using namespace std;
struct Fruit { // bad 
  ~Fruit() { cout << "peel or core should have been tossed" << endl; } 
};
struct Apple:  Fruit { virtual ~Apple()  {cout << "toss core" << endl; } };
struct Orange: Fruit { virtual ~Orange() {cout << "toss peel" << endl; } };

int main() { 
  Fruit *basket[]={ new Apple(), new Orange() };
  for (auto fruit: basket) delete fruit;
};

不良输出

peel or core should have been tossed
peel or core should have been tossed

（注意：为了简洁起见，我使用了struct，通常使用class并指定public）

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

class Base 
{
    // some virtual methods
};

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

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

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

由于Base的析构函数不是虚拟的，而b是指向派生对象的Base*，因此删除b具有未定义的行为：

[在delete b]中，如果要删除的对象与其动态类型不同，静态类型应为对象的动态类型的基类删除，静态类型应具有虚拟析构函数或行为未定义。

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

总之，当基类的析构函数要以多态方式操作时，请始终将其设为虚拟。

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

在本文中，您可以从HerbSutter了解更多关于虚拟性和虚拟基类析构函数的信息。