虚拟继承在这种情况下的行为

Question

我用虚拟继承编写了这个程序，我有几个问题。

#include<iostream> 
using namespace std; 

class B1 
{ 
public: 
    B1() 
    { 
    cout << "In B1 constructor\n"; 
    } 
}; 

class V1 : public B1 
{ 
public: 
    V1() 
    { 
    cout << "In V1 constructor\n"; 
    } 
}; 

class D1 : virtual public V1 
{ 
public: 
    D1() 
    { 
    cout << "In D1 constructor\n"; 
    } 
}; 

class B2 
{ 
public: 
    B2() 
    { 
    cout << "In B2 constructor\n"; 
    } 
}; 

class B3 { 
public: 
    B3() 
    { 
    cout << "In B3 constructor\n"; 
    } 
}; 

class V2 : public B1, public B2 
{ 
public: 
    V2() 
    { 
    cout << "In V2 constructor\n"; 
    } 
}; 

class D2 : public B3, virtual public V2 
{ 
public: 
    D2() 
    { 
    cout << "In D2 constructor\n"; 
    } 
}; 

class X : public D1, virtual public D2 
{ 
public: 
    X() 
    { 
    cout << "In X constructor\n"; 
    } 
}; 

int main() 
{ 
    X x; 
    return 0; 
} 

输出的程序：

In B1 constructor 
In V1 constructor 
In B1 constructor 
In B2 constructor 
In V2 constructor 
In B3 constructor 
In D2 constructor 
In D1 constructor 
In X constructor 

我预期这样的输出：

In B1 constructor 
In B2 constructor 
In V2 constructor 
In B2 constructor 
In D2 constructor 
In B1 constructor 
In V1 constructor 
In D1 constructor 
In X constructor 

的基础上，一个虚拟基类的一个对象被构造第一和然后其他基类对象。有人可以解释这种行为吗？

Answer 1

从标准的确切的报价是12.6.2p10：

在非委托构造函数，以下列顺序进行初始化：

- 第一，并且仅用于最构造派生类（1.8），虚拟基类以它们出现在基类的有向无环图的深度优先从左到右遍历的顺序进行初始化，其中“从左到右”是派生类base-specifier-list中的基类的外观。

- 然后，直接基类以声明顺序初始化，因为它们出现在base-specifier-list中（不管mem-initializers的顺序如何）。

- 然后，非静态数据成员按照它们在类定义中声明的顺序进行初始化（不管mem-initializers的顺序如何）。

- 最后，执行构造函数体的复合语句。

我认为关键是深度优先的粗体文字从左到右。 V1类别是X的虚拟基础，即左侧的V2，即使它是更深的在层次结构中。

你的情况层次图是这样的：

  X 
     / \\ 
     D1  D2 
     || /\\ 
     V1 B3 V2 
     |  /\ 
     B1 B1* B2 

凡单行标识平原继承和双线是虚拟继承。请注意，在完整对象X中有两个B1的实例。现在，如果你执行深度优先左到右搜索，你会走的节点按以下顺序：

[ B1, V1, D1, B3, B1*, B2, V2, D2, X ] 

和虚拟基础是V1，V2，D2，这是该命令他们将被构建。 V1要求建造B1。V2需要B1*和B2建设，D2需要B3，所以顺序应该是：

[ B1, V1, B1*, B2, V2, B3, D2, D1, X ] 

凡B1建设由V1，B1*和B2触发必须订购V2之前，B3被触发作为一个依赖D2。在这一点上，所有的虚拟基地都建成了，非虚拟基地开始建设。 X由于虚拟碱基的依赖关系而未被初始化的唯一非虚拟碱基是D1。

如果钻石被关闭（说V1和V2继承几乎从B1，那么将是B1只有一个实例，它是将建造的第一子对象。

Answer 2

C++总是首先构造“第一个”或“最基础”类。然后按顺序遍历继承树并构造每个连续的派生类。