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的虚拟基础，即{em> <{1}}，即使更深层次结构。

您的案例中的层次结构图如下：

V2

其中单行标识普通继承，双行是虚拟继承。请注意，完整对象X / \\ D1 D2 || / \\ V1 B3 V2 | / \ B1 B1* B2中有两个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的一个实例，它将是第一个要构建的子对象。

Answer 2

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

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

2 个答案: