在面向对象的程序设计语言中,多态是继数据抽象和继承之后的第三种基本特征。
总结:多态通过分离做什么和怎么做,从另一个角度将接口和实现分离开来。多态的作用是消除类型之间的耦合关系。继承允许将对象视为他自己本身的类型或其基本类型来加以处理。多态方法调用允许一种类型表现出与其他相似类型之间的区别,只要他们都是从同一基类导出而来的。这种区别是根据方法行为的不同而表示处出来的。多态亦称为动态绑定、后期绑定或者运行时绑定。
一、向上转型:把对某个对象的引用视为对其基类型的引用的做法被称为向上转型(在继承树的画法中 ,基类是放在上方的)。当把一个导出类的引用作为基类引用,用此引用调用方法时,如果导出类中拥有此方法则直接调用导出类中的方法,如果没有则调用基类中的方法。为什么会出现这种想象:将一个方法调用同一个方法的主体关联起来被称作绑定。如果在程序执行前进行绑定(如果有的话,由编译器和连接程序实现),叫做前期绑定;而在运行时根据对象的类型进行绑定,称为动态绑定(后期绑定、运行时绑定)。想要实现动态绑定就必须在语言中加入某种机制,当程序运行是能够判断对象的类型,从而恰当的调用方法。java中除了static和final方法(private方法属于final方法)之外,其他所有的方法都是后期绑定。使用final方法可以防止他人覆盖该方法,这样做可以有效的“关闭”动态绑定。
向下转型:在继承层次中向下移动,但由于基类不会具有大于导出类的接口,因此必须确保向下转型的正确性。java中提供了一种在运行期间对类型进行检查的行为即“运行时类型识别”(RTTI),来保证向下转型的正确(不正确时将抛出ClassCastException)。
面对超类型编程,能够精简我们的代码。以基类为参数,具体值则为导出类引用,能够不用针对导出类写方法,正是利用多态特性编程的方式,多态是让“改变事物与未变事物”分离开来的重要技术。
二、构造器与多态:构造器是static方法,该static申明是隐式的,所以构造器不具有多态性。
构造器的调用顺序:
1、调用基类的构造器,一直递归调用,首先是继承树的根,直到导出类。
2、按照申明顺序调用成员的初始化方法。
3、调用导出类的构造器主体。
三、协变返回类型:在导出类中被覆盖的方法可以返回基类方法的返回类型的某种导出类型
四、用继承进行设计:当我们使用现有类型来创建新的类时,如果使用继承会加重我们的设计负担,让我们强行进入继承的层次结构中,这里我们首先应当使用的是组合。