c++ - 虚拟继承 - 为什么这个输出

Question

看看下面的代码。为什么 static_cast<D2&>(m).f() 的输出和 cout << static_cast<B&>(m).f()是33 , 不是 21 ？

struct B {
    virtual int f() {return 1;}
};
struct D1 : virtual public B {
    virtual int f(){return 2;}
};
struct D2 :  virtual public B{};
struct M : public D1, public D2 {
    virtual int f() {return 3;}
};

int main(){
    M m;
    cout << static_cast<D2&>(m).f();
    cout << static_cast<B&>(m).f();
    return 0;
}

Answer 1

因为这是虚拟分派(dispatch)的全部要点:分派(dispatch)的目标由包含调用表达式的静态指定对象的最派生对象的动态类型决定。

如果您不想要虚拟分派(dispatch)，您可以通过限定函数调用来绕过它:

m.B::f();
m.D1::f();
m.D2::f();