关于C++：来自两个派生类的多重继承

Multiple Inheritance from two derived classes

我有一个作为接口的抽象基类。

我有两个派生类的"集合"，它们实现了抽象类的一半。(一个"set"定义与初始化相关的抽象虚拟方法，另一个"set"定义与实际"work"相关的方法。)

然后，我有派生类，它们使用多重继承来构造完全定义的类(并且本身不添加任何内容)。

所以：(错误的伪代码)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

class AbsBase {
virtual void init() = 0;
virtual void work() = 0;
}

class AbsInit : public AbsBase {
void init() { do_this(); }
// work() still abs
}

class AbsWork : public AbsBase {
void work() { do_this(); }
// init() still abs
}

class NotAbsTotal : public AbsInit, public AbsWork {
// Nothing, both should be defined
}

首先，我能做这个吗？我可以从两个类继承吗？这两个类都是从同一个基派生的？(我希望如此)。

这里是"真正的问题"，不过(为了简化示例，我在上面撒了一点谎)。

我真正做的是向基类添加非抽象访问器方法：

1
2
3
4
5
6
7
8
9

class AbsBase {
public:
void init() { init_impl(); }
void work() { work_impl(); }

private:
virtual void init_impl() = 0;
virtual void work_impl() = 0;
}

因为，一个常见的习惯用法是使所有虚拟方法私有化。

不幸的是，现在absinit和abswork都继承了这些方法，因此notabstotal继承了"每个方法中的两个"(我意识到我可能会扼杀编译时实际发生的事情)。

无论如何，G++抱怨在尝试使用类时："请求member init()是不明确的"。

我假设，如果我使用absbase类作为纯接口，那么就可以避免这种情况(假设上面的示例是有效的)。

所以：-我的实现还差得远吗？-这是使虚拟方法私有化的习惯用法的限制吗？-如何重构我的代码以实现我想要的？(提供一个公共接口，但允许将实现替换为成员函数的"集合")。

编辑：

似乎我不是第一个：http://en.wikipedia.org/wiki/diamond_问题

虚拟继承似乎是这里的解决方案。我以前听说过虚拟继承，但我还没有完全理解它。我仍然乐于接受建议。

看起来您想进行虚拟继承。这是否真的是个好主意是另一个问题，但下面是你如何做到的：

1
2
3
4

class AbsBase {...};
class AbsInit: public virtual AbsBase {...};
class AbsWork: public virtual AbsBase {...};
class NotAbsTotal: public AbsInit, public AbsWork {...};

基本上，默认的非虚拟多重继承将包括派生类中每个基类的一个副本，并包括它们的所有方法。这就是为什么你有两个ABSBASE副本——并且你的方法使用不明确的原因是加载了两组方法，所以C++没有办法知道要访问哪一个副本！

虚拟继承将对虚拟基类的所有引用压缩为一个数据结构。这将使基类中的方法再次明确。但是，注意：如果两个中间类中有额外的数据，那么可能会有一些额外的运行时开销，以使代码能够找到共享的虚拟基类。