如何正确转换派生类

How to properly cast my derived class?

本文关键字:派生 转换 何正确      更新时间:2023-10-16

我有一个基类(car)和一个继承基类(honda):

class car
{
    virtual void polymorphic_class()
    {   }
};
class honda : public car
{   };


当我使用以下代码并强制转换我的类时,会得到一个空指针:

list<car> cars;
honda h;
cars.push_back(h);
honda* h_ptr = dynamic_cast<honda*>(&cars.back());
// h_ptr is NULL

为什么?我必须如何正确投射我的对象?

这不起作用的原因是对象切片cars中的物体不再是honda,而只是汽车。

您需要一个指针或智能指针的向量:

list<car*> cars;
honda h;
cars.push_back(&h);
honda* h_ptr = dynamic_cast<honda*>(cars.back());

我实际上会改变设计并car抽象(纯粹的虚拟析构函数或其他东西)。这样,您还会收到编译错误。

多态性适用于指针和引用,而不是对象实例。

在这种情况下,列表包含类型 car 的对象,而不是任何派生类型的对象。当您插入honda时,它将复制car部分并忽略其余部分;这有时称为切片

对于多态性,您可以使用指针列表:

list<car*> cars {new honda};
honda * h_ptr = dynamic_cast<honda*>(cars.back()); // should be a valid pointer

注意:如果您确实像我的示例那样使用new进行分配,请记住delete它们,或者存储智能指针(如std::unique_ptr<car>)而不是原始指针。还需要一个虚拟析构函数才能使用基类指针删除对象。

你可以通过使基类抽象来避免切片问题;如果它包含纯虚函数,那么你不能实例化该类型的对象,只能实例化重写这些函数的派生类型的对象:

class car
{
    virtual ~car() {}
    virtual void do_something() = 0;
};
class honda : public car
{
    void do_something() {}
};
如果你

实际上不想要一个抽象接口(例如,如果你只使用dynamic_cast而不是通过虚函数访问派生类功能),那么你可以使析构函数成为纯虚拟的;那么派生类就不必显式覆盖任何东西。基类析构函数仍然必须实现,并且由于语言的怪癖,该实现必须在类定义之外:

class car
{
    virtual ~car() = 0;
};
inline car::~car() {}
class honda : public car {};

这是一种有点不寻常的方法,因为通过虚函数的多态性通常更有效、更方便。

试试这个

list<car*> cars;
honda *h = new honda();
cars.push_back(h);
honda* h_ptr = dynamic_cast<honda*>(cars.back());

这行得通。