C ++中的虚拟基类

Question

我有一个关于虚拟基类的查询。 为了解决多重继承中的“死亡之钻” /歧义性问题，引入了虚拟基类。

class A { public: void Foo() {} };
class B : public virtual A {};
class C : public virtual A {};
class D : public B, public C {};

class C声明中未使用关键字virtual时会发生什么。 您能详细解释一下吗？

class A { public: void Foo() {} };
class B : public virtual A {};
class C : public A {};
class D : public B, public C {};

Answer 1

如果您的继承不是virtual则A成员将在D类中出现两次。

如果A有一个名为_a的字段，那么在D ，写B::_a或C::_a将引用两个不同的存储区。 如果您的继承是virtual则您只有一个存储区。

Answer 2

如果您使用的是virtual ，那么在使用Class D的实例调用foo()时不会有歧义。 如果您不使用虚拟继承，那将是模棱两可的。但是请注意，虚拟继承会花费更多，因此请谨慎使用。

Answer 3

class A { public: void Foo() {} };
class B : public virtual A {};
class C : public A {};
class D : public B, public C {};

如果从A类到B的继承标记为虚拟，而不是从A类到C的继承，则C ++将创建单个虚拟A（D继承B，B继承A）和非虚拟A（D继承C，C继承A）。 因此，您的代码将无法解决钻石问题：

D d_object;
A &a_ref = d_object; // error raised -> B::A or C::A