上溯造型

繼承最值得注意的地方就是它沒有為新類提供方法。繼承是對新類和基礎類之間的關系的一種表達。可這樣
總結該關系：“新類屬于現有類的一種類型”。
這種表達并不僅僅是對繼承的一種形象化解釋，繼承是直接由語言提供支持的。作為一個例子，大家可考慮
一個名為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]