C++中的纯ABC需要是虚拟的吗?

使用虚拟继承有很好的理由,因为编译器会强制它。考虑这个场景:

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

struct B : A {};

struct C : A {};

struct D : B, C {
   void f() override {}
};

如果没有虚拟继承,以下代码将无法编译

D d;
A &a = d; // error: 'A' is an ambiguous base of 'D'

当你改变 B 和 C 如此

struct B : virtual A {};

struct C : virtual A {};

一切都会好起来的。