c++ - 为什么 GCC 给我一个错误 : no unique final overrider?

Question

在下面的代码中，我收到以下警告和错误:

test.cpp:15: warning: direct base 'B' inaccessible in 'D' due to ambiguity
test.cpp:15: error: no unique final overrider for 'virtual void A::f()' in 'D'

但是如果我从 A 中移除 B 的虚拟继承(即 struct B : public A)，我只会得到警告，没有错误。

struct A
{
  virtual void f() = 0;
};

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

class C : public B
{};

struct D : public C, virtual B
{};

int main()
{
  return 0;
}

为什么？这是可怕的钻石吗？

Answer 1

这是因为 C 以非虚拟方式继承自 B 而 D 以虚拟方式继承自 B。这给你 B 两次，包括两次 f()。

尝试在 C 中虚拟继承 B。

更新:那么，当您从 A 中删除 B 中的虚拟继承时，为什么它会起作用？因为它改变了“最终覆盖者”。在 A 的 B 和 B 的 C 中没有 virtual 你有 A 两个次:一次在 C 中(在 B 中对 f() 进行最终覆盖)一次在虚拟 B 中> 在 D 中(在 B 中最终覆盖了 f())。如果将 B 中的虚拟继承添加回 A，A 将只出现一次，并且将有两个最终覆盖竞争实现A 中的纯 f()，都在 B 中，一次来自 C，一次来自虚拟 B.

作为解决方法，您可以向 D 添加 using，即 using C::f; 或 using B::f。

参见 C++ 10.3/2