为什么编译器会抱怨我的 dynamic_cast？ [关闭]

Question

我正在尝试找出我的代码中出现编译错误的原因：

class A
{
    public:
    virtual ~A(){}
};

class B: public A
{
    public:
    virtual ~B(){}
};

class D: public B
{
    public:
    virtual ~D(){}
};

template <class X, class Y>
X* fun(X* p){return dynamic_cast<Y*>(p);}

int main()
{
    A* q = dynamic_cast<B*>(new D());
    A* p = fun<D,B>(new D());
}

对我来说，指针 q 和 p 似乎应该指向相同的类型，但是对于 p，我得到一个编译器错误，提示“从‘B*’到‘D*’的无效转换”。我唯一没有收到错误的情况是当我以 B 是 D 的子类的方式更改类时（因此 p 是空指针）。谁能帮我理解为什么会这样？

Answer 1

template <class X, class Y>
X* fun(X* p){return dynamic_cast<Y*>(p);}

此函数接受 X* 并返回 X*。

在正文中，您将其转换为 Y*。然后，您尝试将其隐式转换为 X*。

您得到的错误出现在fun 的主体中，您在其中获取D*，将其转换为B*，然后尝试再次将其隐式转换为D*。那失败了。因此你的错误。

查看编译器错误时，它有助于

1. 让每个语句都在自己的行中。如果语句很复杂，请将其分解为多个语句。

2. 查看编译器显示错误所在的行。

解决方法是：

template <class X, class Y>
Y* fun(X* p){return dynamic_cast<Y*>(p);}

现在你的代码可以工作了。

Answer 2

我不明白这个问题，所以最后一行代码将返回一个 D*，但由于 D 是 A 的子类，应该没问题，对吧？

不，不行。 D 开始 A 的子类是无关紧要的。

谁能帮我理解为什么会这样？

指向基的指针（B*，即Y*）不能隐式转换为指向派生的指针（D*，即X*）。

另一方面，A* p = fun<B,D>(new D()); 格式正确。注意模板参数的不同顺序。但另一方面，fun 并不是很有用的函数。