虚拟方法的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] 继承，所以@987654330 @ 有两个用于 foo 的最终覆盖器，导致程序格式错误^[2]。

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

---

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

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

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

如果虚成员函数 vf 在类 Base 和 Derived 类中声明，直接或间接从 Base 派生，则具有相同名称、参数类型列表、cv 限定和引用的成员函数 vf限定符（或不存在）作为 Base::vf 被声明，然后 Derived::vf 也是虚拟的（无论它是否如此声明）并且它覆盖 Base::vf。 为方便起见，我们说任何虚函数都会覆盖自己。 类对象 S 的虚拟成员函数 C::vf 是最终覆盖器，除非以 S 为基类子对象（如果有）的最派生类声明或继承了另一个覆盖 vf 的成员函数。在派生类中，如果基类子对象的虚成员函数具有多个最终覆盖器，则程序格式错误。