繼承最值得注意的地方就是它沒有為新類提供方法。繼承是對新類和基礎類之間的關系的一種表達。可這樣總結該關系:“新類屬於現有類的一種類型”。
這種表達並不僅僅是對繼承的一種形象化解釋,繼承是直接由語言提供支持的。作為一個例子,大家可考慮一個名為Instrument的基礎類,它用於表示樂器;另一個衍生類叫作Wind。由於繼承意味著基礎類的所有方法亦可在衍生出來的類中使用,所以我們發給基礎類的任何消息亦可發給衍生類。若Instrument類有一個play()方法,則Wind設備也會有這個方法。這意味著我們能肯定地認為一個Wind對象也是Instrument的一種類型。下面這個例子揭示出編譯器如何提供對這一概念的支持:
//: Wind.java // Inheritance & upcasting import 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句柄的行為叫作“上溯造型”。