檢視里氏替換原則的原始碼

佇咧物件導向的程式設計當中，'''里氏替換原則'''（Liskov Substitution principle）是對子類型的特別定義。伊由芭芭拉 ・ 利斯科夫（Barbara Liskov）佇一九八七年佇一改會議上名做「資料的抽象佮層次」的演說內面首先提出。

里氏替換原則的內容會當描述做：
「 衍生類別（子類）物件會當佇程式中代替其基礎類別（超類）東西。」
以上內容並非利斯科夫的原文，是翻譯對羅伯特 ・ 馬丁（Robert Martin）對原文的解讀。其原文是：


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

芭芭拉 ・ 利斯科夫和周以真（Jeannette Wing）佇一九九四年發表論文並提出以上的'''Liskov 代換原則'''。

==參照==

==參考文獻==

==參與==

* SOLID-「 SOLID」中的 L 指代矣里氏替換原則
* 類型簽名
* 來參考透明度 ( Referential transparency )
* 求精法 ( 編程計算 ) ( Refinement ( computing ) )
* 組合優於繼承 ( Composition over inheritance )

==外部連結==

* Norvell , T . S . The Liskov Substitution Principle ( PDF ) . 兩千空三 [二千空二十二孵一孵六] .（原始的內容 ( PDF ) 存檔佇二千空二十二孵一鼻三十）.
* Liskov Substitution Principle Explained
* SOLID Class Design : The Liskov Substitution Principle
* LSP : Liskov Substitution Principle

[[分類: 待校正]]