第四章：設計可以複用的類

目錄 設計可複用的類 協變 逆變 子類型和LSP的總結 共方差和矛盾方差 泛型中的LSP 類型類 * 泛型的通配符 設計可複用的類 子類型多態：客戶端可用統一的方式處理不同類型的對象。 如果類型Cat是Animal的一個子類型，那麼在使用類型Animal的表達式的任何地方都可以使用類型Cat的表達式。 如果對於類型T的對象x,q(x) 成立,那麼對於類型T的 子類型S的對象y,q(y) 也成立。

>>阅读原文<<