》》在处理类型的层次结构时,经常想把一个对象不当作它所属的特定类型来对待,而是将其
当作其基类的对象来对待。这使得人们可以编写出不依赖特定类型的代码。
这样的代码是不会受到添加新类型影响的,而且添加新类型是扩展一个面向对象程序以便
处理新情况的最常用方式。
》》通过导出新的子类型而轻松扩展设计的能力是对改动进行封装的基本方式之一。这种能力
可以极大地改善我们的设计,同时也降低软件维护的代价。
》》一个非面向对象编程的编译器产生的函数调用会引起所谓的前期绑定。这么做意味着编译
器将产生对一个具体函数名字的调用,而在运行时将这个调用解析到将要被执行的代码的绝对
地址。
》》在面向对象中,程序直到运行时才能确定代码的地址。面向对象程序设计语言使用了后期
绑定的概念。当向对象发送消息时,被调用的代码直到运行时才能确定。编译器确定被调用
方法的存在,并对调用参数和返回值执行类型检查,但是并不知道将被执行的确切代码。
》》为了执行后期绑定,java 使用一小段特殊的代码来替代绝对地址调用。这段代码使用在对
象中存储的信息来计算方法体的地址。这样,根据这一小段代码的内容,每一个对象都可以具
有不同的行为表现。当向一个对象发送消息时,该对象就能够知道对这条消息该做什么。
》》在java中,动态绑定是默认行为,不需要添加额外的关键字来实现多态。
》》将导出类看做是它的基类的过程称为向上转型。
》》“向上”这个词来源于继承图的典型布局方式:通常基类在顶部,而导出类在其下部散开。
因此,转型为一个基类就是继承图中向上移动,即“向上转型”。
》》当向一个对象发送消息时,即使涉及向上转型,该对象也知道要执行什么样的正确行为。