问为什么基类的析构函数应该是虚的？

EN

更好的问题是什么时候和为什么。你的问题表明你认为所有基类都应该有虚拟析构函数，但事实并非如此。

这将使应用空基类优化变得不可能，并且可以将类的大小增加到普通平台上没有virtual的情况下的16倍。

当您通过类型为DerivedClass的指针对动态类型为BaseClass*的对象进行delete时，需要使用virtual析构函数。virtual使编译器关联对象中的信息，使其能够执行派生类析构函数。在这种情况下，缺少virtual会导致未定义的行为。

如果您不需要这样做，并且您的类只用作基类，那么最好将析构函数设为protected，这样可以防止用户意外地以所描述的方式执行delete。

您希望它们是虚拟的，以便在销毁对象时自动调用所有子类析构函数，即使它是通过指向基类的指针销毁的。在以下代码中：

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

class derived : public base {
public:
  ~derived() { }  // Inherits the virtual designation
};

int main(void)
{
  base *b = new derived;

  delete b;
}

仅当基析构函数是虚的时，才会调用派生析构函数。

正如Magnus指出的那样，如果你没有利用多态性，你就不需要这样做。但是，我尝试养成将所有析构函数声明为虚拟函数的习惯。当我应该声明它们是虚拟的，但是忘记这样做的时候，它可以保护我。正如约翰尼斯指出的那样，当不需要虚拟指定时，这种习惯可能会施加很小的空间和性能损失。

它们不一定是虚拟的，除非你在使用多态性。如果您确实使用了多态性，它们需要是虚拟的，这样继承类的析构函数才能保证被调用，这样继承类才能进行清理。