c++ 虚拟 inheritance

Question

问题：

class Base {
public:
  Base(Base* pParent);
  /* implements basic stuff */
};

class A : virtual public Base {
public:
  A(A* pParent) : Base(pParent) {}
  /* ... */
};

class B : virtual public Base {
public:
  B(B* pParent) : Base(pParent) {}
  /* ... */
};

class C : public A, public B {
public:
  C(C* pParent) : A(pParent), B(pParent) {} // - Compilation error here
  /* ... */
};

在给定的 position 中，gcc 抱怨它无法匹配 function 对 Base() 的调用，即默认构造函数。 但是 C 并不直接从 Base 继承，只能通过 A 和 B 继承。那么为什么 gcc 会在这里抱怨呢？

想法？ TIA /罗伯

Answer 1

virtual基类的特殊之处在于它们由最派生的类初始化，而不是由从虚拟基类继承的任何中间基类初始化。 哪个潜在的多个初始值设定项将是初始化一个基数的正确选择？

如果正在构造的派生程度最大的类未在其成员初始化列表中列出该类，则将使用必须存在且可访问的默认构造函数来初始化虚拟基类。

请注意，即使虚拟基标识符不是所讨论类的直接基，也可以在构造函数的初始化列表中使用它。

Answer 2

您需要从C显式调用Base的构造函数：

class C : public A, public B {
public:
C(C* pParent) : Base(pParent), A(pParent), B(pParent) {}
/*... */
};

Answer 3

如果声明自定义构造函数，则会禁用默认构造函数。 在虚拟继承中，您需要直接调用虚拟继承的构造函数，因为否则它将不知道是由A还是由B初始化。