从基类到派生类的自动转换是不存在的。需要派生类对象时不能使用基类对象。
Item_base base;
Bulk_item * bulkP = &base; //error : can't convert base to derived
bulk_tiem& bulkRef = base; // error : can't convert base to dervied
Bulk_item bulk = base; // error : can't convert base to derived
没有从基类类型到派生类类型的自动转换,原因在于基类对象只能是基类对象,它不包含
派生类的成员,如果允许用基类对象给派生类对象赋值,那么就可以试图使用该派生类对象访问不存在的成员。
有时更令人惊讶的是,甚至当基类指针或者引用实际绑定到派生类对象时,从基类到派生类的转换也存在限制。
Bulk_item bulk;
Item_base *itemP = &bulk; // ok : dynamic type id Bulk_item
Bulk_item *bulkP = itemP; // error : can't convert base to derived
编译器在编译时无法知道特定转换在运行时实际是安全的。
编译器确定转换是否合法,只看指针或引用的静态类型。
在这些情况下,如果知道从基类到派生类的转换时安全的。就可以用static_cast强制编译器进行转换,
或者可以用dynamic_cast申请在运行时进行检查。