清华大学出版社 000000 TSINGHUA UNIVERSITY PRESS 74子类型和赋值兼容规则 1.子类型 有一种类型A,它至少包含有另一种类B的所有行为,则称类 型A是类型B的子类型。类型A适应于类型B。子类型和类型 适应是不可逆的。 例如,在公有继承方式下,派生类是基类的子类型,派生类 适应于基类。派生类的对象是基类的对象。 2.赋值兼容规则 在公有继承方式下,派生类是基类的子类型。此时满足下述 赋值兼容规则。 ①派生类的对象可给基类对象赋值 ②派生类的对象可用来对基类对象的引用进行初始化 ③派生类的对象地址值可用来给基类的指针赋值 参见[例77]。7.4 子类型和赋值兼容规则 1. 子类型 有一种类型A，它至少包含有另一种类B的所有行为，则称类 型A是类型B的子类型。类型A适应于类型B。子类型和类型 适应是不可逆的。 例如，在公有继承方式下，派生类是基类的子类型，派生类 适应于基类。派生类的对象是基类的对象。 2. 赋值兼容规则 在公有继承方式下，派生类是基类的子类型。此时满足下述 赋值兼容规则。 ① 派生类的对象可给基类对象赋值 ② 派生类的对象可用来对基类对象的引用进行初始化 ③ 派生类的对象地址值可用来给基类的指针赋值 参见［例7.7］