https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=%E9%87%8C%E6%B0%8F%E6%9B%BF%E6%8F%9B%E5%8E%9F%E5%89%87
里氏替換原則 - 修訂紀錄
2026-04-27T01:03:47Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=%E9%87%8C%E6%B0%8F%E6%9B%BF%E6%8F%9B%E5%8E%9F%E5%89%87&diff=474162&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-23T10:31:21Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>佇咧物件導向的程式設計當中，'''里氏替換原則'''（Liskov Substitution principle）是對子類型的特別定義。伊由芭芭拉 ・ 利斯科夫（Barbara Liskov）佇一九八七年佇一改會議上名做「資料的抽象佮層次」的演說內面首先提出。<br />
<br />
里氏替換原則的內容會當描述做：<br />
「 衍生類別（子類）物件會當佇程式中代替其基礎類別（超類）東西。」<br />
以上內容並非利斯科夫的原文，是翻譯對羅伯特 ・ 馬丁（Robert Martin）對原文的解讀。其原文是：<br />
<br />
<br />
: _ 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 $ . _<br />
<br />
芭芭拉 ・ 利斯科夫和周以真（Jeannette Wing）佇一九九四年發表論文並提出以上的'''Liskov 代換原則'''。<br />
<br />
==參照==<br />
<br />
==參考文獻==<br />
<br />
==參與==<br />
<br />
* SOLID-「 SOLID」中的 L 指代矣里氏替換原則<br />
* 類型簽名<br />
* 來參考透明度 ( Referential transparency )<br />
* 求精法 ( 編程計算 ) ( Refinement ( computing ) )<br />
* 組合優於繼承 ( Composition over inheritance )<br />
<br />
==外部連結==<br />
<br />
* Norvell , T . S . The Liskov Substitution Principle ( PDF ) . 兩千空三 [二千空二十二孵一孵六] .（原始的內容 ( PDF ) 存檔佇二千空二十二孵一鼻三十）.<br />
* Liskov Substitution Principle Explained<br />
* SOLID Class Design : The Liskov Substitution Principle<br />
* LSP : Liskov Substitution Principle<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot