c++ - C++ 协方差何时是最佳解决方案？

Question

This question几个小时前被问到这里，让我意识到我从未在自己的代码中真正使用过协变返回类型。对于那些不确定协方差是什么，它允许(通常)虚拟的返回类型如果类型是相同继承的一部分，则功能不同等级制度。例如:

struct A {
   virtual ~A();
   virtual A * f();
   ...
};

struct B : public A {
   virtual B * f();
   ...
};

两个 f() 函数的不同返回类型被称为协变的。旧版本的 C++ 要求返回类型相同，因此 B 必须如下所示:

struct B : public A {
   virtual A * f();
   ...
};

所以，我的问题是:有没有人有一个现实世界的例子，其中需要协变返回类型的虚函数，或者产生一个更好的解决方案来简单地返回一个基指针或引用？

Answer 1

典型的例子是 .clone()/.copy() 方法。所以你总是可以做的

 obj = obj->copy();

不管 obj 的类型是什么。

编辑:这个克隆方法将在 Object 基类中定义(因为它实际上是在 Java 中)。因此，如果 clone 不是协变的，您要么必须强制转换，要么将被限制为根基类的方法(与拷贝的源对象的类相比，它只有很少的方法)。