# 1.6 多態對象的互換使用
通常,繼承最終會以創建一系列類收場,所有類都建立在統一的接口基礎上。我們用一幅顛倒的樹形圖來闡明這一點(注釋⑤):
⑤:這兒采用了“統一記號法”,本書將主要采用這種方法。

對這樣的一系列類,我們要進行的一項重要處理就是將派生類的對象當作基類的一個對象對待。這一點是非常重要的,因為它意味著我們只需編寫單一的代碼,令其忽略類型的特定細節,只與基類打交道。這樣一來,那些代碼就可與類型信息分開。所以更易編寫,也更易理解。此外,若通過繼承增添了一種新類型,如“三角形”,那么我們為“幾何形狀”新類型編寫的代碼會象在舊類型里一樣良好地工作。所以說程序具備了“擴展能力”,具有“擴展性”。
以上面的例子為基礎,假設我們用Java寫了這樣一個函數:
```
void doStuff(Shape s) {
s.erase();
// ...
s.draw();
}
```
這個函數可與任何“幾何形狀”(`Shape`)通信,所以完全獨立于它要描繪(`draw`)和刪除(`erase`)的任何特定類型的對象。如果我們在其他一些程序里使用`doStuff()`函數:
```
Circle c = new Circle();
Triangle t = new Triangle();
Line l = new Line();
doStuff(c);
doStuff(t);
doStuff(l);
```
那么對`doStuff()`的調用會自動良好地工作,無論對象的具體類型是什么。
這實際是一個非常有用的編程技巧。請考慮下面這行代碼:
```
doStuff(c);
```
此時,一個`Circle`(圓)引用傳遞給一個本來期待`Shape`(形狀)引用的函數。由于圓是一種幾何形狀,所以`doStuff()`能正確地進行處理。也就是說,凡是`doStuff()`能發給一個`Shape`的消息,`Circle`也能接收。所以這樣做是安全的,不會造成錯誤。
我們將這種把派生類型當作它的基本類型處理的過程叫作“Upcasting”(向上轉換)。其中,“cast”(轉換)是指根據一個現成的模型創建;而“Up”(向上)表明繼承的方向是從“上面”來的——即基類位于頂部,而派生類在下方展開。所以,根據基類進行轉換就是一個從上面繼承的過程,即“Upcasting”。
在面向對象的程序里,通常都要用到向上轉換技術。這是避免去調查準確類型的一個好辦法。請看看`doStuff()`里的代碼:
```
s.erase();
// ...
s.draw();
```
注意它并未這樣表達:“如果你是一個`Circle`,就這樣做;如果你是一個`Square`,就那樣做;等等”。若那樣編寫代碼,就需檢查一個`Shape`所有可能的類型,如圓、矩形等等。這顯然是非常麻煩的,而且每次添加了一種新的`Shape`類型后,都要相應地進行修改。在這兒,我們只需說:“你是一種幾何形狀,我知道你能將自己刪掉,即`erase()`;請自己采取那個行動,并自己去控制所有的細節吧。”
## 1.6.1 動態綁定
在`doStuff()`的代碼里,最讓人吃驚的是盡管我們沒作出任何特殊指示,采取的操作也是完全正確和恰當的。我們知道,為`Circle`調用`draw()`時執行的代碼與為一個`Square`或`Line`調用`draw()`時執行的代碼是不同的。但在將`draw()`消息發給一個匿名`Shape`時,根據`Shape`引用當時連接的實際類型,會相應地采取正確的操作。這當然令人驚訝,因為當Java編譯器為`doStuff()`編譯代碼時,它并不知道自己要操作的準確類型是什么。盡管我們確實可以保證最終會為`Shape`調用`erase()`,為`Shape`調用`draw()`,但并不能保證為特定的`Circle`,`Square`或者`Line`調用什么。然而最后采取的操作同樣是正確的,這是怎么做到的呢?
將一條消息發給對象時,如果并不知道對方的具體類型是什么,但采取的行動同樣是正確的,這種情況就叫作“多態性”(Polymorphism)。對面向對象的程序設計語言來說,它們用以實現多態性的方法叫作“動態綁定”。編譯器和運行期系統會負責對所有細節的控制;我們只需知道會發生什么事情,而且更重要的是,如何利用它幫助自己設計程序。
有些語言要求我們用一個特殊的關鍵字來允許動態綁定。在C++中,這個關鍵字是`virtual`。在Java中,我們則完全不必記住添加一個關鍵字,因為函數的動態綁定是自動進行的。所以在將一條消息發給對象時,我們完全可以肯定對象會采取正確的行動,即使其中涉及向上轉換之類的處理。
## 1.6.2 抽象的基類和接口
設計程序時,我們經常都希望基類只為自己的派生類提供一個接口。也就是說,我們不想其他任何人實際創建基類的一個對象,只對向上轉換成它,以便使用它們的接口。為達到這個目的,需要把那個類變成“抽象”的——使用`abstract`關鍵字。若有人試圖創建抽象類的一個對象,編譯器就會阻止他們。這種工具可有效強制實行一種特殊的設計。
亦可用`abstract`關鍵字描述一個尚未實現的方法——作為一個“根”使用,指出:“這是適用于從這個類繼承的所有類型的一個接口函數,但目前尚沒有對它進行任何形式的實現。”抽象方法也許只能在一個抽象類里創建。繼承了一個類后,那個方法就必須實現,否則繼承的類也會變成“抽象”類。通過創建一個抽象方法,我們可以將一個方法置入接口中,不必再為那個方法提供可能毫無意義的主體代碼。
`interface`(接口)關鍵字將抽象類的概念更延伸了一步,它完全禁止了所有的函數定義。“接口”是一種相當有效和常用的工具。另外如果自己愿意,亦可將多個接口都合并到一起(不能從多個普通`class`或`abstract class`中繼承)。
- Java 編程思想
- 寫在前面的話
- 引言
- 第1章 對象入門
- 1.1 抽象的進步
- 1.2 對象的接口
- 1.3 實現方案的隱藏
- 1.4 方案的重復使用
- 1.5 繼承:重新使用接口
- 1.6 多態對象的互換使用
- 1.7 對象的創建和存在時間
- 1.8 異常控制:解決錯誤
- 1.9 多線程
- 1.10 永久性
- 1.11 Java和因特網
- 1.12 分析和設計
- 1.13 Java還是C++
- 第2章 一切都是對象
- 2.1 用引用操縱對象
- 2.2 所有對象都必須創建
- 2.3 絕對不要清除對象
- 2.4 新建數據類型:類
- 2.5 方法、參數和返回值
- 2.6 構建Java程序
- 2.7 我們的第一個Java程序
- 2.8 注釋和嵌入文檔
- 2.9 編碼樣式
- 2.10 總結
- 2.11 練習
- 第3章 控制程序流程
- 3.1 使用Java運算符
- 3.2 執行控制
- 3.3 總結
- 3.4 練習
- 第4章 初始化和清除
- 4.1 用構造器自動初始化
- 4.2 方法重載
- 4.3 清除:收尾和垃圾收集
- 4.4 成員初始化
- 4.5 數組初始化
- 4.6 總結
- 4.7 練習
- 第5章 隱藏實現過程
- 5.1 包:庫單元
- 5.2 Java訪問指示符
- 5.3 接口與實現
- 5.4 類訪問
- 5.5 總結
- 5.6 練習
- 第6章 類復用
- 6.1 組合的語法
- 6.2 繼承的語法
- 6.3 組合與繼承的結合
- 6.4 到底選擇組合還是繼承
- 6.5 protected
- 6.6 累積開發
- 6.7 向上轉換
- 6.8 final關鍵字
- 6.9 初始化和類裝載
- 6.10 總結
- 6.11 練習
- 第7章 多態性
- 7.1 向上轉換
- 7.2 深入理解
- 7.3 覆蓋與重載
- 7.4 抽象類和方法
- 7.5 接口
- 7.6 內部類
- 7.7 構造器和多態性
- 7.8 通過繼承進行設計
- 7.9 總結
- 7.10 練習
- 第8章 對象的容納
- 8.1 數組
- 8.2 集合
- 8.3 枚舉器(迭代器)
- 8.4 集合的類型
- 8.5 排序
- 8.6 通用集合庫
- 8.7 新集合
- 8.8 總結
- 8.9 練習
- 第9章 異常差錯控制
- 9.1 基本異常
- 9.2 異常的捕獲
- 9.3 標準Java異常
- 9.4 創建自己的異常
- 9.5 異常的限制
- 9.6 用finally清除
- 9.7 構造器
- 9.8 異常匹配
- 9.9 總結
- 9.10 練習
- 第10章 Java IO系統
- 10.1 輸入和輸出
- 10.2 增添屬性和有用的接口
- 10.3 本身的缺陷:RandomAccessFile
- 10.4 File類
- 10.5 IO流的典型應用
- 10.6 StreamTokenizer
- 10.7 Java 1.1的IO流
- 10.8 壓縮
- 10.9 對象序列化
- 10.10 總結
- 10.11 練習
- 第11章 運行期類型識別
- 11.1 對RTTI的需要
- 11.2 RTTI語法
- 11.3 反射:運行期類信息
- 11.4 總結
- 11.5 練習
- 第12章 傳遞和返回對象
- 12.1 傳遞引用
- 12.2 制作本地副本
- 12.3 克隆的控制
- 12.4 只讀類
- 12.5 總結
- 12.6 練習
- 第13章 創建窗口和程序片
- 13.1 為何要用AWT?
- 13.2 基本程序片
- 13.3 制作按鈕
- 13.4 捕獲事件
- 13.5 文本字段
- 13.6 文本區域
- 13.7 標簽
- 13.8 復選框
- 13.9 單選鈕
- 13.10 下拉列表
- 13.11 列表框
- 13.12 布局的控制
- 13.13 action的替代品
- 13.14 程序片的局限
- 13.15 視窗化應用
- 13.16 新型AWT
- 13.17 Java 1.1用戶接口API
- 13.18 可視編程和Beans
- 13.19 Swing入門
- 13.20 總結
- 13.21 練習
- 第14章 多線程
- 14.1 反應靈敏的用戶界面
- 14.2 共享有限的資源
- 14.3 堵塞
- 14.4 優先級
- 14.5 回顧runnable
- 14.6 總結
- 14.7 練習
- 第15章 網絡編程
- 15.1 機器的標識
- 15.2 套接字
- 15.3 服務多個客戶
- 15.4 數據報
- 15.5 一個Web應用
- 15.6 Java與CGI的溝通
- 15.7 用JDBC連接數據庫
- 15.8 遠程方法
- 15.9 總結
- 15.10 練習
- 第16章 設計模式
- 16.1 模式的概念
- 16.2 觀察器模式
- 16.3 模擬垃圾回收站
- 16.4 改進設計
- 16.5 抽象的應用
- 16.6 多重分發
- 16.7 訪問器模式
- 16.8 RTTI真的有害嗎
- 16.9 總結
- 16.10 練習
- 第17章 項目
- 17.1 文字處理
- 17.2 方法查找工具
- 17.3 復雜性理論
- 17.4 總結
- 17.5 練習
- 附錄A 使用非JAVA代碼
- 附錄B 對比C++和Java
- 附錄C Java編程規則
- 附錄D 性能
- 附錄E 關于垃圾收集的一些話
- 附錄F 推薦讀物