java的上溯造型

繼承最值得注意的地方就是它沒有為新類提供方法。繼承是對新類和基礎類之間的關係的一種表達。可這樣總結該關係：“新類屬於現有類的一種類型”。
這種表達並不僅僅是對繼承的一種形象化解釋，繼承是直接由語言提供支援的。作為一個例子，大家可考慮一個名為Instrument的基礎類，它用於表示樂器；另一個衍生類叫作Wind。由於繼承意味著基礎類的所有方法亦可在衍生出來的類中使用，所以我們發給基礎類的任何訊息亦可發給衍生類。若Instrument類有一個play()方法，則Wind裝置也會有這個方法。這意味著我們能肯定地認為一個Wind對象也是Instrument的一種類型。下面這個例子揭示出編譯器如何提供對這一概念的支援：

 

//: Wind.java// Inheritance & upcastingimport java.util.*;class Instrument {  public void play() {}  static void tune(Instrument i) {    // ...    i.play();  }}// Wind objects are instruments// because they have the same interface:class Wind extends Instrument {  public static void main(String[] args) {    Wind flute = new Wind();    Instrument.tune(flute); // Upcasting  }} ///:~

這個例子中最有趣的無疑是tune()方法，它能接受一個Instrument控制代碼。但在Wind.main()中，tune()方法是通過為其賦予一個Wind控制代碼來調用的。由於Java對類型檢查特別嚴格，所以大家可能會感到很奇怪，為什麼接收一種類型的方法也能接收另一種類型呢？但是，我們一定要認識到一個Wind對象也是一個Instrument對象。而且對於不在Wind中的一個Instrument（樂器），沒有方法可以由tune()調用。在tune()中，代碼適用於Instrument以及從Instrument衍生出來的任何東西。在這裡，我們將從一個Wind控制代碼轉換成一個Instrument控制代碼的行為叫作“上溯造型”。