[C++] 两个派生类的多重继承



Answers

您需要将继承声明为虚拟:

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

struct AbsInit : virtual public AbsBase {
          void init() {  }
};

struct AbsWork : virtual public AbsBase {
          void work() { }
};

struct NotAbsTotal : virtual public AbsInit, virtual public AbsWork {
};

void f(NotAbsTotal *p)
{
        p->init();
}

NotAbsTotal x;
Question

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

我有两个派生类的“集合”,它们实现了抽象类的一半。 (一个“set”定义与初始化相关的抽象虚拟方法,另一个“set”定义与实际“工作”相关的那些。)

然后我得到了使用多重继承来构造完全定义的类的派生类(并且不会自己添加任何东西)。

所以:(坏伪代码)

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
}

首先,我可以这样做吗? 我可以继承两个派生自同一Base的类吗? (但愿如此)。

不过这是“真正的问题”(为了简化这个例子,我撒谎了一点)。

我真正做的是将非抽象访问器方法添加到基类:

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 ++抱怨说:“当尝试使用该类时,”成员init()的请求是不明确的。

我假设,如果我使用我的AbsBase类作为纯接口,这将被避免(假设顶部示例有效)。

那么: - 我的实施方式是否可行? - 这是将虚拟方法设为私有的习惯用法的限制吗? - 我如何重构我的代码来做我想要的? (提供一个通用接口,但允许一种方法来替换成员函数“集合”的实现)

编辑:

似乎我不是第一个: http://en.wikipedia.org/wiki/Diamond_problemhttp://en.wikipedia.org/wiki/Diamond_problem

似乎虚拟继承是这里的解决方案。 我之前听说过虚拟继承,但我没有把头包裹起来。 我仍然愿意接受建议。




你必须开始考虑你想要在这里建模的术语。

公共继承只应用于模拟“isa”关系,例如狗是动物,方形是形状等。

看看Scott Meyer的书“Effective C ++”,这篇文章是关于OO设计的各个方面应该只被解释为的优秀论文。

编辑:我忘了说尽管到目前为止提供的答案在技术上是正确的,但我认为它们中的任何一个都不能解决你想要建模的问题,这就是你问题的症结所在!

HTH

干杯,




Links