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

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

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

例如

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; 
}

您问题的答案通常是但并非总是如此。如果您的抽象类禁止客户调用指向它的指针的delete（或者在其文档中如此说），则可以自由地声明一个虚拟析构函数。

您可以通过保护其析构函数来禁止客户端在指向它的指针上调用delete。像这样工作，省略虚拟析构函数是完全安全和合理的。

最终，您最终将没有虚拟方法表，最终会向您的客户端发信号，表明您打算通过指向它的指针将其设为不可删除，因此您确实有理由在这种情况下不将其声明为虚拟。

[请参阅本文的项目4：http：//www.gotw.ca/publications/mill18.htm ]

我决定进行一些研究，并尝试总结您的答案。以下问题将帮助您确定所需的析构函数：

1. 您的课程是否打算用作基础课程？
   • 否：声明公共非虚拟析构函数，以避免在类^*的每个对象上使用v指针。
   • 是：阅读下一个问题。
2. 您的基类是抽象的吗？（即任何虚拟纯方法？）
   • 否：尝试通过重新设计类层次结构使基类抽象化
   • 是：阅读下一个问题。
3. 是否要通过基本指针允许多态删除？
   • 否：声明受保护的虚拟析构函数以防止不必要的使用。
   • 是：声明公共虚拟析构函数（在这种情况下，无需任何开销）。

我希望这有帮助。

^*需要特别注意的是，C ++中没有办法将一个类标记为最终类（即不可子类化），因此，在您决定声明析构函数为非虚拟且公开的析构函数的情况下，切记要明确警告其他程序员不要来自你的班级。

参考文献：

• “ S. Meyers。更有效的C ++，第33项，Addison-Wesley，1996年。”
• 赫伯·萨特（Herb Sutter），虚拟化，2001年
• C ++常见问题解答，20.7，“我的析构函数何时应该是虚拟的？”
• 当然，这个问题的答案。

是的，它总是很重要。派生类可以分配内存或保留对销毁对象时需要清除的其他资源的引用。如果不为接口/抽象类提供虚拟析构函数，则每次通过基类句柄删除派生类实例时，都不会调用派生类的析构函数。

因此，您正在释放潜在的内存泄漏

class IFoo
{
  public:
    virtual void DoFoo() = 0;
};

class Bar : public IFoo
{
  char* dooby = NULL;
  public:
    virtual void DoFoo() { dooby = new char[10]; }
    void ~Bar() { delete [] dooby; }
};

IFoo* baz = new Bar();
baz->DoFoo();
delete baz; // memory leak - dooby isn't deleted

它并不总是必需的，但我认为这是一种很好的做法。它的作用是允许派生对象通过基本类型的指针安全地删除。

因此，例如：

Base *p = new Derived;
// use p as you see fit
delete p;

如果Base没有虚拟析构函数，则格式错误，因为它将尝试删除对象，就好像它是一个Base *。

这不仅是一种好习惯。这是任何类层次结构的规则＃1。

1. C ++中最基本的层次结构类必须具有虚拟析构函数

现在，为什么。采取典型的动物等级制度。与其他任何方法调用一样，虚拟析构函数也要进行虚拟调度。请看下面的例子。

Animal* pAnimal = GetAnimal();
delete pAnimal;

假设Animal是一个抽象类。C ++知道正确的析构函数调用的唯一方法是通过虚拟方法分派。如果析构函数不是虚拟的，则它将仅调用Animal的析构函数，而不销毁派生类中的任何对象。

使析构函数在基类中虚拟化的原因是，它只是从派生类中删除了选择。默认情况下，它们的析构函数变为虚拟的。

答案很简单，您需要它是虚拟的，否则基类将不是完整的多态类。

    Base *ptr = new Derived();
    delete ptr; // Here the call order of destructors: first Derived then Base.

您可能更希望进行上述删除，但是如果基类的析构函数不是虚拟的，则将仅调用基类的析构函数，并且派生类中的所有数据将保持不变。