C++虚拟继承初始化顺序

Question

您好， 正如你可以看到在例子中的施工顺序是： - U1 U2 YX V2 V1 V3 V4 B1 B2 d

我明白：U1 U2 YX已初始化，因为V2是对D的第一个直接虚拟继承，并且为了初始化它，需要初始化这些第一个对象。之后V2被初始化，但为什么V1之前V3初始化虽然离V3直接虚拟继承。

请忽略节点和箭头的编号，并注意红色箭头是非虚拟继承，黑色箭头是虚拟的。

注意：原始文档可能会被发现there。

Answer 1

这里建立秩序是我的理解这个例子。它符合施工顺序，所以我相信这是正确的。但是，我不确定。

首先，箭头的数字很重要，因为它们告诉您定义基类的顺序。只是用D为例，该类被定义为这样：

class D : virtual V2, B1, B2, virtual v3 {...} 

鉴于此，我的下一步是遍历图形，并把所有的类为深度优先顺序不管他们是否是虚拟的还是不。大括号表示基类。括号中指明虚基类已在我的班级名单：

D {V2 {X {U1, U2}, Y {(U2), (U1)}}, B1 {V1, (V2), V3 {(Y), (U2)}, V4}, B2 {(V4-V1)}, (V3) 

对我来说这说

• 构建d，首先我需要V2。
• V2需要X，它需要U1和U2。
• 下一个V2需要Y，它需要U2和U1，但两者都已经在我的列表中。
• 下一个D需要B1。
• B1需要V1，V2，V3和V4，V2已经在我的列表中。
• V3需要Y和U2，但都已经在我的列表中。
• 下一个D需要B2，它需要V4到V1，全部都在我的列表中。
• 最后，D需要V3，但是它已经在我的列表中。

鉴于这种情况，我现在将删除多余的基类，离开这个：

D {V2 {X {U1, U2}, Y}, B1 {V1, V3, V4}, B2} 

接下来的部分是找到非虚基类，并调整到我的清单。

• V2需要X和Y，其中Y是虚拟的，桑尼将不得不X.前

加分一下：鉴于你的问题，我希望你也觉得U2应该在U1之前，因为Y是在X之前和Y之前构造的，U2是先得出的。但是，这并没有发生。相反，X的虚基类，以便完成，则Y，最后十

这个调整我的名单如下：

D {V2 { {U1, U2}, Y, X}, B1 {V1, V3, V4}, B2} 

最后，B1是非虚拟的，所以它需要来V1，V3和V4后。这留下：

D {V2 { {U1, U2}, Y, X}, {V1, V3, V4}, B1, B2} 

请注意，B2也是非虚拟的，如果它不是我的列表中最后一个，则需要考虑。

这给了我一个令我满意的订单。唯一的问题是我在基类之前列出派生类，并且我们知道基类是首先构造的。剩下的两个地方，这是一个问题

• D，它需要是最后一个。
• V2，它需要在孩子之后。

所以我会调整我的列表来移动这两个项目，V2之后的X，和B2之后的D。

{ { {U1, U2}, Y, X} V2, {V1, V3, V4}, B1, B2} D 

现在我要删除括号：

U1, U2, Y, X, V2, V1, V3, V4, B1, B2, D 

你可以看到，这个匹配图中构造的顺序，以及呢，其实匹配，当我建立与调用的顺序Visual Studio 2012.

Answer 2

我只会解答你关于V1和V3顺序的问题。

的第一步是：

应用拓扑排序居继承DAG在深度优先，左右扫描，

• 虚拟和非虚拟继承是对待相似。

，根据这一规则V1配备V3之前：V1是更深层次的，和V3的左侧，而不管继承类型。从左到右的顺序由从D到相关节点的连续祖先的直接继承等级定义。该等级由图的节点之间的边缘承载（因此不能被忽略）：V3具有等级（3），而V2具有等级（1） - 并且还有（2,2）被较高的等级取消 - V1有排名（2,1）。因此，这三个节点之间的顺序是V2，然后是V1，然后是V3。

注意：由于V2和V3与其他节点保持关系的数量，因此图中没有以正确的左右顺序描述节点，而V1没有任何祖先。

步骤2是：

构建所有虚基类（直接和非直接）

• 使用排名顺序。
• 不构建两次

[...]

V1和V3几乎都继承，V1为B1，和V3为d，使他们获得构造都在这一步，在步骤1