使用虚函数的协变返回类型的C ++无效转换错误

Question

在下面的代码中，我可以将D::clone()的返回值分配给指向B的指针，而不分配给D的指针。 是否可以从基本指针的调用中返回实际的多态类型？

struct B
{
    virtual B * clone() { return this; }
};

struct D : B
{
    D * clone()
    {
        std::cout << std::is_same<decltype(this), D *>::value << std::endl;
        return this;
    }
};

int main()
{
    B * b = new D();
    B * bb = b->clone(); // prints "1"
    std::cout << std::is_same<decltype(b->clone()), D *>::value << std::endl; // prints "0"
    D * d = b->clone(); // error: invalid conversion from B * to D * (GCC 5.1)
}

Answer 1

否。在D的基类B上调用clone()会将D*强制转换为B* 。

如果绝对确定，可以执行static_cast<D*>如果不确定，可以执行dynamic_cast<D*> 。 如果可以肯定的话，则应该使变量b为D* 。

在C ++中，无论运行时的情况如何，都应在编译时对所了解的程序状态进行编码。 通过将D*存储到B* b ，您在告诉编译器不要 “知道”所指向的数据是“ D ”。 相反，您说的是“使用B*b的代码对任何指向B指针都应该有效。显然D* d = b->clone();不能保证对每个指向B指针都有效。