虚拟和非虚拟继承的混合

Question

在尝试更深入地分析 C++ 的继承机制时，我偶然发现了以下示例：

#include<iostream>

using namespace std;

class Base {
public:
    virtual void f(){
    cout << "Base.f" << endl; 
    }
};

class Left : public Base { //NOT VIRTUAL!!!
public:
void g(){ 
        f();
    }     
};

class Right : public Base{
public:
    virtual void f(){
    cout << "Right.f" << endl; 
    }
};

class Bottom : public Left, public Right{
public:
    Bottom(int arg){ }
    //void f() { }
};

int main(int argc,char **argv)
{
    Bottom* b = new Bottom(23);
    b->g();
}

很明显，调用

b->f()

是模棱两可的，所以对象底部没有唯一的方法f()。现在，调用

b->g()

工作正常并打印

Base.f

好吧，据我所知：

1. 静态类型是Bottom，所以我们称之为g()方法，因为它是非虚拟的
2. g()方法是继承自Left，所以我们称这个继承方法
3. 现在，Left 中的g() 尝试调用虚方法f()。根据 C++ 规范，我们调用 f() 方法为指针的动态类型（即底部）

但是底部没有方法f()...至少不是唯一的方法。为什么这个程序执行Left::Base::f() 而不是Right::Base::f() 或者为什么它根本没有说明从底部调用f() 是不明确的？

Answer 1

简短的回答是（如您所述），Bottom 没有方法 f()，因此无需尝试调用它。

Bottom 包含两个子对象Left 和Right。它们中的每一个都继承自Base，因此Bottom 包含成员函数Left::f() 和Right::f()，但没有Bottom::f()。由于 Bottom 不会覆盖 Left::f()（例如使用 Right::f()），因此 Base::f() 是 Left::g() 中唯一的最终覆盖器。

参见。 10.3.9 中的示例来自 C++03 标准。

Answer 2

由于没有虚拟继承，Base 对象在您的 Bottom 对象中有两个副本。但是，如果您将层次结构向上移动到定义了g() 的Left，则有一个Base 子对象，这就是被调用的对象。因为它没有在Left（或Bottom）中被覆盖，它将调用Base 版本。请注意，Right::f() 仅覆盖 f() 的 Base 子对象。

直接在Bottom 上调用f 是模棱两可的，因为Bottom 中没有f()，它会尝试查看它的基础并会找到Left::Base::f 和Right::Base::f，而编译器不知道使用两者中的哪一个。