上溯造型

继承最值得注意的地方就是它没有为新类提供方法。继承是对新类和基础类之间的关系的一种表达。可这样
总结该关系：“新类属于现有类的一种类型”。
这种表达并不仅仅是对继承的一种形象化解释，继承是直接由语言提供支持的。作为一个例子，大家可考虑
一个名为Instrument 的基础类，它用于表示乐器；另一个衍生类叫作Wind。由于继承意味着基础类的所有
方法亦可在衍生出来的类中使用，所以我们发给基础类的任何消息亦可发给衍生类。若Instrument 类有一个
play()方法，则Wind 设备也会有这个方法。这意味着我们能肯定地认为一个Wind 对象也是Instrument 的一
种类型。下面这个例子揭示出编译器如何提供对这一概念的支持：
//: Wind.java
// Inheritance & upcasting
import java.util.*;
class Instrument {
public void play() {}

}
} ///:~
这个例子中最有趣的无疑是tune()方法，它能接受一个Instrument 句柄。但在Wind.main()中，tune()方法
是通过为其赋予一个Wind 句柄来调用的。由于Java 对类型检查特别严格，所以大家可能会感到很奇怪，为
什么接收一种类型的方法也能接收另一种类型呢？但是，我们一定要认识到一个Wind 对象也是一个
Instrument 对象。而且对于不在Wind 中的一个Instrument（乐器），没有方法可以由tune()调用。在
tune()中，代码适用于Instrument 以及从Instrument 衍生出来的任何东西。在这里，我们将从一个Wind 句
柄转换成一个Instrument 句柄的行为叫作“上溯造型”。

服务器租用/服务器托管中国五强！虚拟主机域名注册顶级提供商！15年品质保障！--亿恩科技[ENKJ.COM]