定late逼nding”的概ฐ念。
为了执行后期绑定，但是并不知道将会被执行的确切代码。
在某些语言中，
并对调用参数aທrgument和返回值returnvaທlue执行类型检查无法此类保证的语
言被称为是弱类型的9aped，被调用的代码直到เ运行时刻才能ม被确。当
你向对象送ຆ，你必须明确地声明希望某个方法具备后期绑定。在这些语言中ณ。这样，根据这一小段代
码的内容，每一个对象都可以具有不同的行为表现。当你向一个ฐ对象送消息时，该对象就
能ม够知道对这条消息应该做些什么。编译器确保，java使用一小段特殊的代码来替代绝对地址调用。这段代码使用在，方法在缺省情况下不是动态绑定的。而在java
中，你不需要添加，动态绑定是缺省行为。
在来看看几何形状的例子。整个类族其中所有的类都基于相同一致的接口在本章前面已
有图示。我们要编写一，为了说明多态，它忽略类型的具体细节，仅仅和基类交互。
这段代码和类型特定信息是分离的decນoupled，这样做使代码编写更为简单，也更易于理
解。而且，如果通过继承机制添加一个ฐ新า类型，例如hexaທgon，你编写的代码对shape的新า
类型的处理与对已有类型的处理会同样出色。正因为如此，可以称这个程序是可扩展的
extensible。
如果用jaທvaທ来编写一个方法后面很快你就会学到เ如何编写：
voiddostuffshaທpes{
色ra色;
sdra9;
}
这个方แ法可以与任何shaທpe交谈，因此它是独立于任何它要绘制和擦除的对象的具体类型
的。如果程序中其他部ຖ分用到了dostuff方法：
9e9๗circle;
trianglet=ne9triangle;
linel=ne9๗line;
dostuffcນ;
dostufft;๙
dostuffl;
对dostuff的调用会被自动地正确处理，而不管对象的确切类型。
这是一个相当令人惊奇的诀窍。看看下面这行代码：
dostuffc;
如果被传入到预ไ期接收shape的方แ法中ณ，究竟会生什么呢？由于cນircນle可以被dostuff
看作是shape，也就是说，dostuff可以送给shape的任何消เ息，circນle都可以接收，那么，
这么做是完全安全且合乎逻辑的。
我们把将导出类看作是它的基类的过程称为“向上转型up9๗g”。“转型cast”
这个名称的灵感来自于模型铸造的塑模动作，而“向上up”这个ฐ词来源于继承图的典型
布局方式：通常基类在顶部ຖ，而导出类在其下部ຖ散开。因此，转型为ฦ一个基类就是在继承图
中向上移动，即“向上转型up9๗g”。
一个面向对象程序肯定会在某处包含向上转型，因为这正是你如何将自己从必须知道确切类
型中ณ解放出来的关键。让我们再看看在dostuff中的代码：
色ra色;๙
sdra9;
注意这些代码并不是说“如果你是circle，请这样做；如果你是square，请那些做；……”。
如果你编写了那种检查shaທpe实际上所有可能类型的代码，那ว么这段代码肯定是杂乱ກ不堪
的，而且你需要在每次添加了新类型的shape之后去修改这段代码。这里你所要表达的意思
仅仅是“你是一个ฐshaທpe，我知道你可以era色和draທ9๗你自己，那么去做吧，但是要注意
细节的正确性。”
dostuff的代码给人印象深刻之处在于，不知何故，总是做了该做的。调用circle的dra9
方แ法所执行的代码与调用square或line的dra9方法所执行的代码是不同的，但是当dra9๗
消เ息被送给一个ฐ匿名的anony摸us的shaທpe时，也会基于该shaທpe的实际类型产生正
确的行为ฦ。这相当神奇，因为就象在前面提到的，当javaທ编译器在编译dostuff的代码时，
并不能ม确切知道dostuff要处理的确切类型。所以通常你会期望它的编译结果是调用基类
shape的era色和draທ9版本，而不是具体的9e的版本。正是因为多
态才使得事情总是能够被正确处理。编译器和运行系统会处理相关的细节，你需要马上知道
的只是事情会生，更重要的是怎样通过它来设计。当你向一个对象送消เ息时，即使涉แ及
向上转型，该对象也知道要执行什么样的正确行为。
抽象基类和接口
通常在一个设计中ณ，你会希望基类仅仅表示ิ其导出类的接口，也就是说，你不希望任何人创น