第八章 多态
从这章开始难度增加,我会更新少一点,写的细一点。
多态是继数据抽象和继承之后的第三种基本特征
多态(也称作动态绑定、后期绑定或运行时绑定)。
多态的作用是消除类型之间的耦合关系。
向上转型:某个对象的引用视为对其基类型的引用的做法
1 方法调用绑定
将一个方法调用与一个方法主体关联起来称作绑定。
有了动态绑定,就可以编写只与基类打交道的代码,并且这些代码对所有导出类都可以正确运行。
前期绑定
若在程序执行前进行绑定(如果有的话,由编译器和连接程序实现),叫做前期绑定。它是面向过程语言中不需要选择就默认的绑定方式。
后期绑定
后期绑定,就是在运行时根据对象的类型进行绑定。后期绑定也叫做动态绑定或运行时绑定。
如果一种语言想实现后期绑定,就必须具有某种机制,以便在运行时能判断对象的类型,从而调用恰当的方法。也就是说,编译器一直不知道对象的类型,但是方法调用机制能找到正确的方法体,并加以调用。
后期绑定机制随编程语言的不同而有所不同,但是只要想一下就会得知,不管怎样都必须在对象中安置某种“类型信息”。
再谈final(”覆盖“私有方法)
Java中除了static和final方法(private是隐式的final)之外,其他所有的方法都是后期绑定。
final方法可以防止其他人覆盖该方法。但更重要的一点是:这样做可以有效地“关闭”动态绑定,或者说,告诉编译器不需要对其进行动态绑定。这样,编译器就可以为final方法调用生成更有效的代码。
因此,最好根据设计来决定是否使用final,而不是出于试图提高性能的目的来使用final。
2 域和静态方法
域是不具有多态性的,只有普通的方法调用是多态的。如果直接访问某个域,这个访问就将在编译期进行解析,即域是静态解析的。
静态方法也是不具有多态性的。静态方法是与类,而非与单个的对象相关联的。
3 构造器与多态
复杂对象调用构造函数的顺序:
a.将分配给对象的存储空间初始化成二进制的零。
b.调用基类的构造函数。整个步骤会不断的反复递归下去,首先是构造整个层次结构的根,然后是下一层导出类,直到最底层的导出类。
c.按声明顺序调用成员的初始化方法。
d.调用导出类构造函数的主体。
如果在构造器内部调用正在构造的对象的某个动态绑定方法,由于动态绑定是在运行时才决定的,而此时,该对象还正在构造中,所以它不知道自己属于哪个类(父类还是自己),并且方法所操纵的成员可能还未进行初始化,这可能会产生一引起难于发现的隐藏错误。
编写构造函数时有一条有效的准则:用尽可能简单的方法使对象进入正常状态;如果可以的话,避免调用其他方法。在构造函数内唯一能够安全调用的方法是基类中的final方法(也适用于private,因为它是隐式final)。
4 协变返回类型
导出类中的覆盖方法可以返回基类方法返回类型的某种导出类型(导出类中的覆盖方法的返回类型可以比基类方法返回类型更具体)。
5 用继承进行设计
首选组合,尤其是不能十分确定应该使用哪一种方式时。还有一条通用的准则:“用继承来表达行为间的差异,用字段表达状态上的变化。”
纯继承是一种is-a关系,导出类的接口与基类接口完全相同,因此可以全程利用多态和向上转型。
扩展继承是一种is-like-a关系,导出类比基类拥有更多的功能(更多的接口),这样程序实现起来更灵活,而且貌似更符合Java开发者的本意(因为继承用了关键字extends)。但是在向上转型时就会丢失导出类那些新增的功能。
Java中,所有转型都会检查,在进入运行时仍会检查,如果不是该类型,就会抛出ClassCastException异常。运行期间对类型进行检查的行为称作“运行时类型识别(RTTI)”。