c++ - C++ clone idiom 中协变返回类型的有用性？

Question

通常的克隆习语使用协变返回类型:

struct Base {
    virtual Base* clone();
};

struct Derived : public Base {
    Derived* clone();
};

我读过一些东西，大意是协变返回类型是后来添加到 C++ 中的，旧的编译器可能不支持它们。在这种情况下 Derived类必须声明它的 clone返回 Base* 的成员函数.因为，据推测，我只访问 Derived通过 Base 的对象使用此习语时的指针和/或引用，声明返回类型的真正用途/好处是什么 Derived* ？

还有一个相关的问题:

我更愿意使用智能指针来表达 clone 的所有权转移语义。签名。这在使用协变返回类型时是不可能的，因为 auto_ptr<Derived>与 auto_ptr<Base> 不协变. (请注意，我不是在寻找关于使用智能指针的讲座——auto_ptr 在这里仅用作示例)。所以在这种情况下，有没有理由不拥有 Derived返回 auto_ptr<Base> ？有没有更好的方式来表达所有权转移语义？

Answer 1

Since, presumably, I'm only accessing Derived objects through Base pointers and/or references when using this idiom...

你猜错了。仅仅因为存在基类并不意味着您将一直使用它。如果我有一个包含子类 Circle 和 Rectangle 的 Shape 类，并且我还有一个 Window 类。当我可以只使用 Rectangle 时，我不会使用 Shape* 作为窗口的位置和大小。

对于所有权的转移，您无论如何都不应该使用智能指针。我知道您不想上课，但我并不是说智能指针不好，您只是不应该在 clone() 中使用它们。你不能转让一开始就没有所有权的东西的所有权。如果有人想要一个 auto_ptr 那么他们应该用克隆的原始指针来构造它。其他智能指针类型也是如此。