面向對象設計原則之里氏代換原則

                      里氏代換原則由2008年圖靈獎得主、美國第一位計算機科學女博士Barbara Liskov教授和卡內基·梅隆大學Jeannette Wing教授於1994年提出。其嚴格表述如下：如果對每一個類型爲S的對象o1，都有類型爲T的對象o2，使得以T定義的所有程序P在所有的對象o1代換o2時，程序P的行爲沒有變化，那麼類型S是類型T的子類型。這個定義比較拗口且難

>>阅读原文<<