我有一个基类(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());
这行得通。