多重（钻石）继承在没有“虚拟”的情况下进行编译，但不使用“虚拟”

Question

给出以下代码（没有虚拟继承）：

class A
{
public:
    virtual void f() = 0;
};

class B : public A
{
 public:
    virtual void f() {}
};

class C : public A
{
 public:
    virtual void f() {}
};

class D : public B, public C
{

/* some code */
};


int main()
{
    D d;
    return 0;
}

代码编译。

另一方面，这里：

class A
{
public:
    virtual void f() = 0;
};

class B : virtual public A
{
    virtual void f() {}
};

class C : virtual public A
{
    virtual void f() {}
};

class D : public B, public C
{
    /* some code */
};


int main()
{
    D d;
    return 0;
}

编译器出现编译错误：

no unique final overrider for 'virtual void A::f()' in 'D' . 

为什么第二个代码不同？

Answer 1

您的第一个场景层次结构对应于：

    F()   F()
     A     A
     |     |
 F() B     C F()
      \   /
        D 

其中 D 不是抽象的，因为 D 类型的对象中有两个 A 子对象：一个由 B 通过 B 的晶格具体化，另一个通过 C 的晶格具体化除非

您尝试在 D 的对象上调用函数 F() ，否则不会有任何歧义。

您的第二个场景层次结构对应于：

       F()  
        A
      /   \
 F() B     C F()
      \   /
        D  

在此场景中，对象 D 有一个基类 A 子对象，并且它必须重写并提供该子对象中纯虚函数的实现。

---

Herb Sutter 在 Guru Of The Week(GOTW) 中的文章对于多重继承来说是一本很好的读物：

1. 多重继承继承第一部分
2. 多个继承第二部分
3. 多重继承第三部分< /强>

Answer 2

通过虚拟继承，D 对象具有单个基类A 子对象。这个单个子对象不能有虚拟函数的两个不同实现。相反，如果没有虚拟继承，D 对象有两个不同的基类 A 子对象，每个子对象都有自己的函数实现（这是可以的，除非您尝试在 D 对象上调用它，此时您需要指出您想要哪个）。

干杯&嗯。