c++ - 为什么要在 C++ 中为抽象类声明虚拟析构函数？

Question

我知道在 C++ 中为基类声明虚拟析构函数是一个好习惯，但是声明 virtual 总是很重要的。甚至对于充当接口(interface)的抽象类的析构函数？请提供一些原因和例子。

Answer 1

对于界面而言，它甚至更为重要。您类的任何用户都可能持有指向接口(interface)的指针，而不是指向具体实现的指针。当他们来删除它时，如果析构函数是非虚拟的，他们将调用接口(interface)的析构函数(或编译器提供的默认值，如果你没有指定)，而不是派生类的析构函数。即时内存泄漏。

例如

class Interface
{
   virtual void doSomething() = 0;
};

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

void myFunc(void)
{
   Interface* p = new Derived();
   // The behaviour of the next line is undefined. It probably 
   // calls Interface::~Interface, not Derived::~Derived
   delete p; 
}