摘要：代碼使用泛型類中不依賴于類型參數(shù)的方法。委托依賴于動態(tài)綁定，因為它要求給定的方法調(diào)用可以在運行時調(diào)用不同的代碼段。委托捕獲操作并將其發(fā)送給另一個對象。委托可以被看作是在對象層次上的復用機制，而繼承是類層次上的復用機制。

設計可復用的類

繼承和重寫

重載（Overloading）

參數(shù)多態(tài)和泛型編程

行為子類型與Liskov替換原則

組合與委托

設計可復用庫與框架

API和庫 - 框架

Java集合框架（一個例子）

在OOP中設計可復用的類
封裝和信息隱藏
繼承和重寫
多態(tài)性，子類型和重載
泛型編程
行為子類型和Liskov替代原則（LSP）
組合與委托

行為子類型
子類型多態(tài)性：客戶端代碼可以統(tǒng)一處理不同種類的對象。 子類型多態(tài)：客戶端可用統(tǒng)一的方式處理不同類型的對象

如果Cat的類型是Animal的一個子類型，那么只要使用Animal類型的表達式，就可以使用Cat類型的表達式。

假設q（x）是T類型對象x可證明的性質(zhì)，那么對于S類型的對象y，q（y）應該是可證明的，其中S是T的一個子類型。 - Barbara Liskov

Java編譯器執(zhí)行的規(guī)則（靜態(tài)類型檢查）

子類可以添加，但不能刪除方法

具體類必須實現(xiàn)所有未定義的方法

重寫方法必須返回相同的類型或子類型

重寫方法必須接受相同的參數(shù)類型

重寫方法不會拋出額外的異常

也適用于指定的行為（方法）：

相同或更強的不變量

相同或較弱的先決條件

相同或更強的后置條件

Liskov替代原則（LSP）

LSP是一種特定的子類型關系定義，稱為強行為子類型化
在編程語言中，LSP依賴于以下限制：

先決條件不能在子類型中加強。前置條件不能強化

后置條件在子類型中不能被削弱。后置條件不能弱化

超類型的不變式必須保存在一個子類型中。不變量要保持

子類型中方法參數(shù)的變換。子類型方法參數(shù)：逆變

子類型中返回類型的協(xié)邊。子類型方法的返回值：協(xié)變

子類型的方法不應引發(fā)新的異常，除非這些異常本身是超類型方法拋出的異常的子類型。 異常類型：協(xié)變（這將在第7-2節(jié)討論）

Covariance (協(xié)變)

父類型到子類型：
越來越具體specific
返回值類型：不變或變得更具體
異常的類型：也是如此

Contravariance (反協(xié)變、逆變)

父類型到子類型：
越來越具體specific
參數(shù)類型：要相反的變化，要不變或越來越抽象

從邏輯上講，它被稱為子類型中方法參數(shù)的逆變。
這在Java中實際上是不允許的，因為它會使重載規(guī)則復雜化。

協(xié)變和反協(xié)變

數(shù)組是協(xié)變的：根據(jù)Java的子類型規(guī)則，T []類型的數(shù)組可能包含T類型的元素或T的任何子類型。
在運行時，Java知道這個數(shù)組實際上是作為一個整數(shù)數(shù)組實例化的，它只是簡單地通過Number []類型的引用來訪問。

區(qū)分：對象的類型與引用的類型

考慮泛型中的LSP

泛型是類型不變的

ArrayList 是List 的子類型

List 不是List