里氏替換原則

在面向對象的程序設計中，里氏替換原則（Liskov Substitution principle）是對子類型的特別定義。它由芭芭拉·利斯科夫（Barbara Liskov）在1987年在一次會議上名為「數據的抽象與層次」的演說中首先提出。^[1]

里氏替換原則由芭芭拉·利斯科夫提出，照片攝於2010年.

里氏替換原則的內容可以描述為： 「派生類（子類）對象可以在程式中代替其基類（超類）對象。」 以上內容並非利斯科夫的原文，而是譯自羅伯特·馬丁（Robert Martin）對原文的解讀。其原文為：

Let ${\displaystyle q(x)}$ be a property provable about objects ${\displaystyle x}$ of type ${\displaystyle T}$. Then ${\displaystyle q(y)}$ should be true for objects ${\displaystyle y}$ of type ${\displaystyle S}$ where ${\displaystyle S}$ is a subtype of ${\displaystyle T}$.

芭芭拉·利斯科夫與周以真（Jeannette Wing）在1994年發表論文並提出以上的Liskov代換原則。