多重继承 - 虚拟修饰符

Question

在常见的钻石场景中：

class MBase {
  public:
    MBase(int) {}
    virtual char const* vf() const = 0;
    virtual ~MBase() {}
};

class D1 : public MBase { //NOT VIRTUAL!!!
  public:
    D1() : MBase(1) {}
    char const* vf() const { return "D1"; }
};

class D2 : virtual public MBase {
  public:
    D2() : MBase(2) {}
    char const* vf() const { return "D2"; }
};

class Bottom : public D1, public D2 {
  public:
    char const* vf() const { return "Bottom"; }
}

如果我将 Bottom 的继承修饰符修改为对 D1 和 D2 都是虚拟的，会发生什么变化？我的意思是，这会产生什么影响吗：

class Bottom : public virtual D1, public virtual D2 {
  public:
    char const* vf() const { return "Bottom"; }
}

Answer 1

不，它没有。每个类选择它的哪些直接基类可以与其他类共享。由于Bottom 是您实现中的一个叶子，并且在这两种情况下都只有一个D1 和D2 的实例，因此在这两种情况下它都将只有一个这些类型的嵌套对象。由于D1 拒绝共享MBase，Bottom 也将嵌套两个MBase 对象。

但是MBase 不能直接从Bottom 的两个版本中访问，因为它是模棱两可的。您必须显式转换为D1 或D2 才能通过Bottom 对象访问MBase（正是因为有两个MBases）。

---

不同之处在于，如果您有一个实际上继承自 MBase 的 D1 和一个没有继承的 D1。