由于每个派生类对象都包含一个基类部分,因此可以像使用基类对象一样在派生类对象上执行操作。
对于指针/引用,可以将派生类对象的指针/引用转换为基类子对象的指针/引用。
基类类型对象既可以作为独立对象存在,也可以作为派生类对象的一部分而存在,因此,一个基类对象可能是也可能不是一个派生类对象的部分,因此,没有从基类引用(或基类指针)到派生类引用(或派生类指针)的(自动)转换。
关于对象类型,虽然一般可以使用派生类型的对象对基类类型的对象进行初始化或赋值,但,没有从派生类型对象到基类类型对象的直接转换。
1、派生类到基类的转换
如果有一个派生类型的对象,则可以使用它的地址对基类类型的指针进行赋值或初始化。同样,可以使用派生类型的引用或对象初始化基类类型的引用。但是,对象没有类似转换。编译器不会自动将派生类型对象转换为基类类型对象。
但是,一般可以使用派生类型对象对基类对象进行赋值或初始化。对对象进行初始化和/或赋值以及可以自动转换引用或指针。
1、引用转换不同于转换对象
关于引用转换:将对象传给希望接受引用的函数时,引用直接绑定到该对象,虽然看起来在传递对象,实际上实参是该对象的引用,对象本身未被复制,并且,转换不会在任何方面改变派生类型对象,该对象仍是派生类型对象。
关于对象转换:将派生类对象传给希望接受基类类型对象(而不是引用)的函数时,形参的类型是固定的——在编译时和运行时形参都是基类类型对象。如果用派生类型对象调用这样的函数,则该派生类对象的基类部分被复制到形参。
小结:一个是派生类对象转换为基类类型引用,一个是用派生类对象对基类对象进行初始化或赋值。
2、用派生类对象对基类对象进行初始化或赋值
对基类对象进行初始化或赋值,实际上是在调用函数:初始化时调用构造函数,赋值时调用赋值操作符。
基类一般(显式或隐式地)定义自己的复制构造函数和赋值操作符,这些成员接受一个形参,该形参是基类类型的(const)引用。因为存在从派生类引用到基类引用的转换,这些复制控制成员可用于从派生类对象对基类对象进行初始化或赋值:
- Item_base item;
- Bulk_item bulk;
- Item_base item1(bulk); //调用Item_base的复制构造函数
- item = bulk; //调用Item_base的赋值操作符
用Bulk_item类型的对象调用Item_base类的复制构造函数或赋值操作符时,将发生下列步骤:
1)将Bulk_item对象转换为Item_base引用,这仅仅意味着将一个Item_base引用绑定到Bulk_item对象。
2)将该引用作为实参传给复制构造函数或赋值操作符。
3)那些操作符使用Bulk_item的 Item_base部分分别对调用构造函数或赋值的 Item_base对象的成员进行初始化或赋值。
4)一旦操作符执行完毕,对象即为Item_base。它包含Bulk_item的 Item_base部分的副本,但实参的Bulk_item部分被忽略。
在这种情况下,bulk的Bulk_item部分在对item进行初始化或赋值时被“切掉”了。Item_base对象只包含基类中定义的成员,不包含由任意派生类型定义的成员,Item_base对象中没有派生类成员的存储空间。
3、派生类到基类转换的可访问性
像继承的成员函数一样,从派生类到基类的转换可能也可能不是可访问的。转换是否可以访问取决于在派生类的派生列表中指定的访问标号。
【提示:】要确定到基类的转换是否可访问,可以考虑基类的public成员是否可访问,如果可以,则转换是可访问的,否则,转换是不可访问的!
1)public继承:用户代码和后代类都可以使用派生类到基类的转换。
2)private或 protected继承:则用户代码不能将派生类型对象转换为基类对象。如果是 private继承,则从private继承类派生的类不能转换为基类。如果是protected继承,则后续派生类的成员可以转换为基类类型。
无论是什么派生访问标号,派生类本身都可以访问基类的public[protected]成员,因此,派生类本身的成员和友元总是可以访问派生类到基类的转换。