c++ - 虚拟基类上的虚拟方法

Question

关于虚拟基类继承的一些事情一直让我感到困惑......给定以下类:

class A
{
  virtual void foo() = 0;
}
class B : virtual A
{
  void foo() { /* do X */ }
}
class C : virtual A
{
  void foo() { /* do Y */ }
}
class D : B, C
{
}

这会编译吗？如果是这样，以下代码的结果是什么:

D d;
A* a = &d;
a->foo();

Answer 1

它不应该编译，函数 foo 会产生歧义。由于 A::foo() 是纯虚函数，因此必须解决歧义。