java與模式之—里氏代換原則（LSP）

注：本文大部份內容引用《java與模式》一書。 LSP定義： 若是對每個類型爲T1的對象o1,都有類型爲T2的對象o2，使得T1定義的全部程序P在全部的對象o1都替換成o2後，程序P的行爲沒有變化，那麼類型T2是類型T1的子類。 我的理解：若是把一個程序中的全部基類都替換成基類的子類，那麼這個程序是不會發生變化的。 java語言針對里氏代換原則的支持： 子類不能將從基類中繼承而來的方法從公開變爲私

>>阅读原文<<