里氏替換原則

在面向對象的程序設計中 ， 里氏替換原則 （ Liskov Substitution principle ） 是對子類型的特別定義 。 它由芭芭拉 · 利斯科夫 （ Barbara Liskov ） 在1987年在一次會議上名爲 “ 數據的抽象與層次 ” 的演說中首先提出 。 里氏替換原則的內容可以描述爲 ： “ 派生類 （ 子類 ） 對象可以在程式中代替其基類 （ 超類 ） 對象 。 ” 以上內容並非利斯科夫的原文 ， 而是譯自羅伯特 · 馬丁 （ Robert Martin ） 對原文的解讀 。 其原文爲 ： Let be a property provable about objects of type. Then should be true for objects of type where is a subtype of. 芭芭拉 · 利斯科夫與周以真 （ Jeannette Wing ） 在1994年發表論文並提出以上的Liskov代換原則 。