C ++虚拟方法的虚拟继承

Question

struct A {
    virtual void foo() { std::cout << "a";};
};

struct B:public virtual A {
    void foo() { std::cout << "b";}
};

struct C:public virtual A {
    void foo() { std::cout << "c";}
};

struct D:public B, public C {

};
int main() {
    return 0;
}

所以编译时这个给出了以下错误：

 \main.cpp:16:8: error: no unique final overrider for 'virtual void A::foo()' in 'D'
 struct D:public B, public C {

如果我们将B和C结构的继承非虚拟化，那么代码编译恰到好处而没有任何错误（当然，如果我们调用dd.foo（），则会发生错误）。 那有什么区别？ 为什么我们在虚拟地继承我们的类时会出现错误，如果我们直接执行它就没有错误？

Answer 1

使A成为B和C的虚基类可确保D包含一个A子对象^[1] 。 为此， B和C都为foo ^[2]提供了最终的覆盖，并且两者都由D ^[2]继承，因此D有两个foo最终覆盖，使程序格式错误^[2] 。

当A 不是 B和C的虚基类时， D将包含两个不同的A子对象^[1] 。 每个子对象都有自己的foo继承的最终覆盖^[2] 。

---

[1]：N4140§10.1[class.mi] / 4：

不包含关键字virtual的基类说明符指定非虚基类。 包含关键字virtual的基类说明符指定虚拟基类。 对于最派生类的类网格中非虚拟基类的每个不同出现，最派生的对象应包含该类型的对应的不同基类子对象。 对于指定为virtual的每个不同的基类，最派生的对象应包含该类型的单个基类子对象。

[2]：§10.3[class.virtual] / 2（强调我的）：

如果虚拟成员函数vf在类Base和Derived类中声明，直接或间接从Base派生，则具有相同名称的成员函数vf，parameter-type-list，cv-qualification和ref-qualifier（或如果没有声明Base :: vf，那么Derived :: vf也是虚拟的（无论是否声明）并覆盖Base :: vf。 为方便起见，我们说任何虚函数都会覆盖自身。 类对象S的虚拟成员函数C :: vf是最终覆盖，除非S是基类子对象（如果有）的最派生类声明或继承覆盖vf的另一个成员函数。 在派生类中，如果基类子对象的虚拟成员函数具有多个最终覆盖者，则该程序是格式错误的。