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

設計可復用的類

繼承和重寫

重載（Overloading）

參數多態和泛型編程

行為子類型與Liskov替換原則

組合與委托

設計可復用庫與框架

API和庫 - 框架

Java集合框架（一個例子）

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

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

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

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

Java編譯器執行的規則（靜態類型檢查）

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

具體類必須實現所有未定義的方法

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

重寫方法必須接受相同的參數類型

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

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

相同或更強的不變量

相同或較弱的先決條件

相同或更強的后置條件

Liskov替代原則（LSP）

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

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

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

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

子類型中方法參數的變換。子類型方法參數：逆變

子類型中返回類型的協邊。子類型方法的返回值：協變

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

Covariance (協變)

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

Contravariance (反協變、逆變)

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

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

協變和反協變

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

區分：對象的類型與引用的類型

考慮泛型中的LSP

泛型是類型不變的

ArrayList 是List 的子類型

List 不是List