哪个基类的虚析构函数在派生类中被重写

Question

当派生类不是立即派生，而是从已经派生的类派生时，我对覆盖函数感到困惑。

#include <iostream>

struct Base
{ 
    virtual ~Base() { std::cout << "Base destructor called\n"; }
};

struct Derived : Base
{
    Derived() {}
    // Implicitly supplied destructor, I'm guessing. Which is also virtual?
};

struct MostDerived : Derived
{
    MostDerived(){};
    ~MostDerived() { std::cout << "MostDerived destructor called\n"; }
};

int main()
{
    Derived* d = new MostDerived();
    delete d;
    Base* b = new MostDerived();
    delete b;
}

在这两种情况下，都调用了最派生的析构函数。我想知道是否只需要大多数基类有一个声明为虚拟的析构函数，在这种情况下，从它继承的所有其他类都有虚拟析构函数，覆盖上游的所有其他析构函数，如果你明白我的意思的话。

我不确定我是否有意义，基本上，如果我有一系列10个类，每个类都从上一个继承，那么链中的任何析构函数都会覆盖所有比它更基础的析构函数？

struct GreatGrandfather{~virtual GreatGrandfather(){}}; // Only this is necessary
struct Grandfather : GreatGrandfather {};
struct Father : Grandfather{};
struct Son : Father{};
struct Grandson : Son {};
struct GreatGrandson : Grandson{};

孙子的析构函数将覆盖其上面的所有类，但不会覆盖曾孙的析构函数？

而且，一旦基类的析构函数或其他函数被声明为虚拟，它的后代就不需要再次声明为虚拟了吗？

Answer 1

析构函数重写基类的所有虚拟析构函数，包括间接基。此外，重写虚拟函数的函数本身也是虚拟的。因此，是的，Derived的隐式定义的析构函数是虚拟的，并且~Base和~~ Derived都被~ MostDerived覆盖。当使用指向基类的指针销毁派生类类型的对象时，需要虚拟的析构函数就是基类的析构器。（然后派生类中的一个将隐式虚拟。）

Answer 2

链中的任何析构函数都会覆盖比它更基础的所有析构函数？

是的，差不多。如果你不写析构函数，析构函数将由实现隐式提供。所以它也会隐式覆盖基类d'tor。

孙子的析构函数将覆盖其上面的所有类，但不会覆盖曾孙的析构函数？

它将覆盖< code >儿子的博士。它通过扩展覆盖< code >父亲的，以此类推。所以是的。它不能覆盖< code >曾孙，因为从它的定义来看，它不能预见未来，也不知道< code >曾孙会存在。

而且，一旦基类的析构函数或其他函数被声明为虚拟，那么它的后代都不需要再次声明为虚拟？

是的，与任何虚函数相同。一旦声明为虚拟，它在任何派生类中始终是虚拟的。