- 再论向上转型
- 在某些方法中,仅接收基类作为参数,而不是特殊的导出类,会使得程序更容易扩展。
- 转机
- 方法调用绑定
- 前期绑定(编译期绑定):在编译期将一个方法调用和方法主体关联起来。
- 后期绑定(动态绑定或运行时绑定):在程序运行阶段,判断对象类型,将方法调用与方法主体绑定。
- Java中除static方法和final方法外,其他所有的方法都是后期绑定。
- 只有非private的方法才可以被覆盖;与private重名的方法,是一个全新的方法。
- 只有普通的方法调用时多态的。如果访问某个成员变量,则在编译期就根据对象类型确定了所访问的域是基类的还是子类的。
- 静态的方法不具有多态性。
- 构造器和多态
- 构造器调用过程
- 调用基类构造器,这个步骤会不断重复下去,直到该层次的根,然后再依次回归。
- 按声明顺序调用成员的初始化方法。
- 调用导出类构造器的主体。
- 继承与清理
- 在覆盖基类的清理方法时,一定要先调用基类的清理方法。
- 构造器内部的多态方法的行为
- 如果在构造器内部调用了导出类中的方法,由于导出类还未初始化,将有可能导致运行时错误。
- 初始化的实际过程
- 在上述构造器调用过程之前,首先会将分配给对象的存储空间初始化为0。
- 编写构造器的准则:用尽可能简单的方法使对象进入正常状态;如果可以的话,避免调用其他方法。
- 在构造器内唯一能够安全调用的方法是基类中的final方法(包括private方法)。
- 协变返回类型
- 表示在导出类 中的被覆盖方法可以返回基类方法的返回类型的某种导出类型。
- 用继承进行设计
- 一条准则:用继承表达行为间的差异,用变量表达状态上的变化。
- 纯继承与扩展
- 只有在基类中已经建立的方法才可以在导出类中被覆盖,称作纯粹的"is-a"关系。基类和导出类有完全相同的接口。
- 如果导出类中除了基类的接口,还有扩展接口,则称为"is-like-a"关系。缺陷是扩展接口无法进行向上转型。
- 向下转型与运行时类型识别
- 向下转型不一定是安全的,因为必须确定具体的子类对象类型,才能确定是否能够转型。比如运行时对象类型为基类,则将其转为子类时会抛出运行时异常。
- RTTI(运行时类型识别)机制可以检查转型是否正确。如果运行时转型失败,将抛出异常。