c++ - 虚拟基类析构函数调用顺序？

Question

C++ 常见问题解答项目 20.05:

"Virtual base classes are special, their destructors are called at the end of the most derived class' destructor (only)."

我真的不明白这如何符合典型的:

“先数据成员析构函数，再基类析构函数”规则

虚基类有什么特别之处？我不知道上面的意思是什么 :s

Answer 1

虚拟基类的关键属性是它们总是在派生类的任何对象中生成单个唯一 基子对象。这正是虚拟基类的特别之处，这使得它们不同于可以生成多个子对象的常规基类。

例如，在这个层级中

struct B {};
struct M1 : B {};
struct M2 : B {};
struct D : M1, M2 {}

没有虚拟继承。所有的基础都是使用常规继承来继承的。在这种情况下类 D将包含两个类型为 B 的独立子对象:一个由M1带来的, 另一个 - 作者 M2 .

+-> D <-+
|       |
M1      M2
^       ^
|       |
B       B    <- there are two different `B`s in `D`

销毁时正确销毁所有子对象的任务D是微不足道的:层次结构中的每个类负责破坏其直接基，并且仅破坏其直接基。这仅仅意味着 M1 的析构函数调用它自己的析构函数 B M2 的子对象、析构函数调用它自己的析构函数 B子对象，同时是 D 的析构函数调用其 M1 的析构函数和 M2子对象。

在上面的销毁计划中，一切都很顺利。所有子对象都被破坏，包括 B 类型的两个子对象.

但是，一旦我们切换到虚拟继承，事情就会变得更加复杂

struct B {};
struct M1 : virtual B {};
struct M2 : virtual B {};
struct D : M1, M2 {}

现在只有一个类型为B的子对象在 D .两者 M1和 M2查看并共享 B 类型的相同子对象作为他们的基地。

+-> D <-+
|       |
M1      M2
^       ^
|       |
+-- B --+    <- there is only one `B` in `D`

如果我们天真地尝试将之前的销毁计划应用于此层次结构，我们将以 B 结束。子对象被破坏两次:M1调用 B 的析构函数子对象，和 M2调用析构函数完全相同 B子对象。

当然，这是完全不能接受的。每个子对象必须被销毁一次且仅一次。

为了解决这个问题，当M1和 M2用作 D 的基础子对象，这些被明确禁止调用其 B 的析构函数子对象。调用B的析构函数的职责分配给 D的析构函数。类 D ，当用作一个完整的独立对象(即用作最派生类)时，知道只有一个 B在其中并且知道 B 的析构函数只需调用一次。所以，类 D 的析构函数将调用 B 的析构函数对于类型为 B 的唯一基础子对象.同时，M1 的析构函数和 M2甚至不会尝试调用 B 的析构函数.

这就是虚拟继承的工作原理。你引用的规则基本上就是这么说的。说虚拟基类的析构函数最后被调用的部分只是意味着每个类的析构函数为其直接常规基类调用析构函数，并且只有在那之后，如果有必要，它才调用它的析构函数< em>virtual 基类(可能是间接的)。在上面的例子中，D 的析构函数调用 M1 的析构函数和 M2只有在那之后它才会调用 B 的析构函数.