里氏替換原則

維基百科,自由的百科全書
(已重新導向自 Liskov代換原則)
前往: 導覽搜尋

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

里氏替換原則的內容可以描述為: 「派生類(子類)對象能夠替換其基類(超類)對象被使用。」 以上內容並非利斯科夫的原文,而是譯自羅伯特·馬丁(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代換原則

參見[編輯]

  • SOLID - 「SOLID」中的 L 指代了里氏替換原則

引用[編輯]

  1. ^ Liskov, Barbara. Data abstraction and hierarchy. 1987-10-04 [2008-03-23].