15.3.2 基类到派生类的转换


    从基类到派生类的自动转换是不存在的。需要派生类对象时不能使用基类对象。

    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申请在运行时进行检查。







猜你喜欢

转载自blog.csdn.net/weixin_38756546/article/details/80880095