多重继承解决抽象类

Question

假设我有 4 节课：

class I { public: virtual void X() = 0; };
class A : public virtual I { public: virtual void X() { } };
class B : public I {  };
class C : public A, public B { };

I、B 和 C 是抽象的，而 A 不是。如果我只是简单地将virtual 添加到I 的继承中以获得B，那么A::X() 在C 中解析I::X()。

但是，我无法更改B 的来源。

我的问题：我能否让A::X() 为C 解析I::X 而不能更改B？我尝试将 A 和 B 声明为虚拟到 C 无济于事。我试图没有多余的代码（例如让 C 声明 X() { A::X(); }）。有什么巧妙的技巧吗？

另外 - 有几个问题非常像这样，但我找不到任何关于使用 virtual 继承的讨论。如果我错过了，请指点给我。

Answer 1

您的问题出在 vtables 上。在您当前的代码中，您有两个——一个在A 的I 中，一个在B 的I 中。只要只有A 虚拟继承I，您也可以使用常规继承并节省开销。如果两者都虚拟继承I，那么C 中只有一个I 实例，因此只有一个vtable，A::X 确实可以覆盖纯虚拟I::X。

鉴于您无法更改 B，您唯一可以处理这两个 vtable 的地方是 C。在我看来，要走的路就是你提到的 - 只需让 C::X 将呼叫转发到 A::X。那里没有代码重复，这使得C 非抽象：

class C : public A, public B {
public:
    virtual void X() { A::X(); }
};

至于虚拟继承，肯定有have been some here。但是欢迎你问...

Answer 2

这个不错：When virtual inheritance IS a good design?

这里的问题是在 C 中有两个接口 I。这就是为什么 A::x() 满足 它的接口 I - 但它不能从类 B 中抽象出接口 I。 对于 C 来说，只有一个 I 接口的唯一方法是将 B 更改为虚拟地从 I 派生 - 这样，来自 A 和来自 B 的 I 接口都将合并为 C 中的一个。你不能更改 B - 所以唯一的方法是添加您试图避免的冗余代码。我的意思是定义 C::X()。

Answer 3

我能想到的唯一方法是将B*（或智能变体）组合成C，而不是从它继承，并转发适当的方法。你不能在保持继承的同时这样做，因为编译器不知道要遵循哪个I的继承链。