設計模式_06_ 里氏替換原則

里氏替換原則 定義： 如果對每一個類型爲T1的對象o1，都有類型爲T2的對象o2，使得以T1定義的所有程序P在所有的對象o1都替換成o2時，程序P的行爲沒有發生變化，那麼類型T2是類型T1的子類型 定義擴展： 一個軟件實體如果適用一個父類的話，那一定適用其子類，所有引用父類的地方必須能透明的適用其子類的對象，子類對象能夠替換父類對象，而程序邏輯不變 引申意義： 子類可以擴展父類的功能，但不能改變父

>>阅读原文<<