如何克隆多重继承对象？

Question

我定义了一个 Cloneable 接口：

struct Cloneable
{
  virtual Cloneable * clone(void) const = 0;
}

我还有一些其他接口类（与问题无关的内容）：

struct Interface
{
};

struct Useful_Goodies
{
};

我创建了一个继承自上述类的叶对象：

struct Leaf : public Cloneable, public Interface, public Useful_Goodies
{
  Leaf * clone(void) const  // Line #1 for discussion.
  {
     return new Leaf(*this);
  }
};

我收到错误：

overriding virtual function return type differs and is not covariant from 'Cloneable::clone'

如果我将类型更改为 Cloneable *，我收到此错误消息：

'return' : ambiguous conversions from 'Leaf *' to 'Cloneable *'

我的问题（所有相关）：

1. 叶类如何解析 Cloneable 的要求 界面？
2. 有没有更好的解决方案来实现 克隆合约，其中所有对象 能保证实现克隆吗？

我使用这个范例作为通用编程（记录、字段和数据库）的一部分。

编译器：MS Visual Studio 2008；平台：Windows XP 和 Windows XP远景

Answer 1

让您的 clone 函数返回 Cloneable * 是正确的。

如果您的接口之一也派生自 Cloneable，您将得到不明确的转换。

编辑： Alf 在评论中指出，Leaf::clone 不仅可以返回 Leaf*，而且实际上更适合它这样做。我纠正了。

Answer 2

您可能没有提到Interface或其他一些基类也继承了Cloneable。 “不明确的转换”意味着 Leaf 可能包含多个 Cloneable 基类子对象。 （协变返回类型的问题可能是同一问题的直接结果。）

您需要使用 虚拟继承（推荐和链接阅读：C++ FAQ Lite 主题 25.8 到 25.13）。首先，将 : public Cloneable 的所有实例更改为 : public virtual Cloneable。

Answer 3

我可以冒险说，您可能实际上没有从多个路径继承 Cloneable 。也就是说，除了直接的 Cloneable 之外，您的一些其他基础（直接或间接）继承自 Cloneable。这使得从 Leaf* 到 Cloneable* 的转换变得不明确，因为 Leaf 中有多个 Cloneable 基数。

简单的解决方案是使用接口的虚拟继承：

struct Cloneable {
   virtual Cloneable * clone() = 0;
};
struct Interface : virtual Cloneable {
};
struct Test : virtual Cloneable, Interface {
   virtual Test* clone() {
      return new Test(*this);
   }
};

虚拟继承意味着即使 Interface 和 Test 都继承自 Cloneable，也只有一个单个Cloneable基础对象。