c++ - 多重继承和多态问题

Question

考虑这个 C++ 代码:

#include <iostream>
using namespace std;

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

int main() {
    M m;
    D1* d1 = &m;
    cout << d1->f()
         << static_cast<D2&>(m).g()
         << static_cast<B*>(d1)->g()
         << m.g();
}

它打印1225 .如果我们进行虚拟继承，即添加 virtual之前 public在标有 (*) 的行中，它打印 4225 .

1. 你能解释为什么吗 1更改为 4 ？
2. 你能解释一下static_cast<D2&>(m)的含义吗？和 static_cast<B*>(d1) ？
3. 您如何不迷失在这种组合中？你在画东西吗？
4. 在正常项目中发现如此复杂的设置是否很常见？

Answer 1

图片胜于 Eloquent ，所以在答案之前......

---

D1 和 D2 的 B 类 WITHOUT 虚拟基继承:

    M
   / \
  D1 D2
  |   |
  B   B

---

M 类层次结构 WITH D1 和 D2 的 B 虚拟基继承:

    M
   / \
  D1 D2
   \ /
    B

---

1. Cross-Delegation ，或者我喜欢称它为带有扭曲的兄弟多态性。虚拟基础继承会将 B::f() 重写修复为 D2:f()。当您考虑虚函数的实现位置以及它们由于继承链而覆盖的内容时，希望这张图片有助于解释这一点。

2. static_cast在这种情况下，运算符的使用插入了从派生类到基类类型的转换。

3. 阅读非常糟糕的代码并了解语言的基础如何“工作”的大量经验

4. 谢天谢地没有。这并不常见。但是，如果这完全令人困惑，那么原始的 iostream 库会给您带来噩梦。