初读"Thinking in Java"读书笔记之第八章 --- 多态

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