c++ - 为什么编译器提示不能用 Base 类型的右值初始化 "Derived"

Question

class Base {
public:
    virtual Base* clone() const { return new Base(*this); }
    // ...
};
class Derived: public Base {
public:
    Derived* clone() const override { return new Derived(*this); }
    // ...
};
int main() {
    Derived *d = new Derived;
    Base *b = d;
    Derived *d2 = b->clone();
    delete d;
    delete d2;
}

我在最新版本的 Xcode 中编译上面的代码，编译器报错

cannot initialize a variable of type "Derived*" with an rvalue of type "Base*"*

在 Derived *d2 = b->clone()。

但我已经将克隆虚拟并让Derived 中的clone() 返回Derived *。

为什么我还有这样的问题？

Answer 1

Base::clone() 的返回类型是Base*，而不是Derived*。由于您是通过 Base* 调用 clone()，因此预期返回值为 Base*。

如果您通过 Derived* 调用 clone()，您将能够使用 Derived::clone() 的返回类型>.

Derived *d = new Derived;
Derived *d2 = d->clone();   // OK

此外，

Base *b = d;
Derived *d2 = dynamic_cast<Derived*>(b->clone());  // OK

此外，

Base *b = d;
Derived *d2 = dynamic_cast<Derived*>(b)->clone();  // OK