里氏替換原則

1.定義：如果對每一個類型爲T1的對象o1，都有類型爲T2的對象o2， 　　　   使得以T1定義的所有程序P在所有的對象o1都替換成o2時，               程序P的行爲沒有發生變化，那麼類型T2是類型T1的子類型。 2.定義擴展：一個軟件實體如果適用一個父類的話，那一定適用於其子類， 　　　　　   所有引用父類的地方必須能透明地使用其子類， 　　　　　   子類對象能夠替換父類對

>>阅读原文<<