里氏替換原則（Liskov Substitution Principle, 簡(jiǎn)稱(chēng) LSP）是面向?qū)ο笤O(shè)計(jì)（OOD）與 SOLID 原則中的重要組成部分，由 Barbara Liskov 在 1987 年提出。它是繼承體系設(shè)計(jì)的根本規(guī)范，決定了父類(lèi)與子類(lèi)之間是否真正具有“可替換性”。

簡(jiǎn)而言之：

只要父類(lèi)可以使用的地方，子類(lèi)也必須能夠安全地替代父類(lèi)，而不會(huì)破壞程序功能。

LSP 是保證繼承層次結(jié)構(gòu)穩(wěn)定、可維護(hù)、可擴(kuò)展的基礎(chǔ)。如果 LSP 被破壞，繼承就會(huì)帶來(lái)更多問(wèn)題而非好處。

一、為什么需要里氏替換原則？

繼承本質(zhì)上表達(dá)“是一種”（is-a）關(guān)系，例如：

? Dog 是一種 Animal

? SavingsAccount 是一種 Account

? AdminUser 是一種 User

然而，不正確的繼承會(huì)導(dǎo)致：

? 子類(lèi)行為違背父類(lèi)預(yù)期

? 子類(lèi)重寫(xiě)方法改變語(yǔ)義

? 程序運(yùn)行時(shí)出錯(cuò)或表現(xiàn)異常

? 繼承層次難以維護(hù)或擴(kuò)展

LSP 的意義就是確保繼承結(jié)構(gòu)的正確性，使子類(lèi)是真正的父類(lèi)擴(kuò)展，而不是破壞父類(lèi)。

二、里氏替換原則的形式化定義

Barbara Liskov 給出的經(jīng)典定義：

如果 S 是 T 的子類(lèi)型，那么類(lèi)型 T 的對(duì)象可以被類(lèi)型 S 的對(duì)象替換，而不會(huì)改變程序的正確性。

換句話說(shuō)：

? 子類(lèi)必須遵守父類(lèi)規(guī)定的行為契約

? 子類(lèi)不能削弱父類(lèi)的行為

? 子類(lèi)可以擴(kuò)展功能，但不能改變父類(lèi)的語(yǔ)義

這是一種行為約束（Behavioral Subtyping）。

想象一下，你平時(shí)用的插座都是標(biāo)準(zhǔn)的三孔插座。如果某個(gè)電器插頭改變了尺寸或形狀，即便是同類(lèi)型的電器，也可能無(wú)法直接插入使用。

里氏替換原則就像“標(biāo)準(zhǔn)插頭規(guī)范”：任何子類(lèi)都必須遵守父類(lèi)定義的接口和行為規(guī)范，才能在父類(lèi)能工作的場(chǎng)景中無(wú)縫替換使用。

遵循 LSP，繼承就像標(biāo)準(zhǔn)插座一樣穩(wěn)健可靠，子類(lèi)可以擴(kuò)展功能，但不能破壞已有“兼容性”。

三、Python 與 LSP 的關(guān)系

Python 是動(dòng)態(tài)語(yǔ)言，沒(méi)有強(qiáng)制類(lèi)型檢查，因此：

? Python 不會(huì)阻止違反 LSP 的繼承

? 行為契約完全依賴(lài)開(kāi)發(fā)者自己遵守

? 違反 LSP 在運(yùn)行期才會(huì)暴露問(wèn)題（例如 AttributeError, TypeError, Logic Bug 等）

因此在 Python 中更需遵循 LSP 來(lái)構(gòu)建健壯的類(lèi)體系。

（1）經(jīng)典的違反 LSP 的例子

方形“繼承”矩形：

        self.w = self.h = h

表面上 “方形是一種矩形”，但行為上的契約并不一致：

test(Square(2, 2))       # → 行為完全改變！輸出 25

父類(lèi) Rectangle 的隱含契約：

# 結(jié)果：面積 = 4 * 5 = 20

子類(lèi) Square 破壞了這一契約：

# 結(jié)果：面積 = 5 * 5 = 25 (不是預(yù)期的20)

Square 改變了父類(lèi) Rectangle 的關(guān)鍵行為契約（寬高修改的獨(dú)立性），導(dǎo)致在需要 Rectangle 的場(chǎng)景中無(wú)法正確替換 Rectangle，從而違反了 LSP。

（2）正確的設(shè)計(jì)方式

將 Rectangle 與 Square 設(shè)計(jì)為并列關(guān)系，繼承抽象類(lèi) Shape：

        return self.side * self.side

二者都是 Shape，且不互為子類(lèi)，因此不會(huì)互相破壞契約。

這是工業(yè)界最常采用且最安全的設(shè)計(jì)。

四、Python 中違反 LSP 的常見(jiàn)場(chǎng)景

（1）子類(lèi)重寫(xiě)方法，但改變了父類(lèi)語(yǔ)義，即子類(lèi)方法的行為與父類(lèi)預(yù)期不一致

        print(text)

改進(jìn)：創(chuàng)建 Writer 抽象基類(lèi)；不要讓 ConsoleWriter 繼承具體實(shí)現(xiàn)類(lèi)。

（2）子類(lèi)增加方法參數(shù)，導(dǎo)致不能替代父類(lèi)

        print("汪" * volume)

改進(jìn)：保持參數(shù)一致，或另加方法。

（3）子類(lèi)限制更多條件，破壞父類(lèi)契約

            raise ValueError("VIP 不允許取太多？")

子類(lèi)不能比父類(lèi)更嚴(yán)格；必須遵守父類(lèi)契約。

五、遵守 LSP 的設(shè)計(jì)建議

（1）繼承只表達(dá)“is-a”關(guān)系

不要濫用繼承，將子類(lèi)設(shè)計(jì)成真正的父類(lèi)擴(kuò)展，而非簡(jiǎn)單重用代碼。

（2）子類(lèi)行為必須符合父類(lèi)預(yù)期語(yǔ)義

子類(lèi)方法的功能和行為應(yīng)與父類(lèi)保持一致，不可任意改變。

（3）輸入輸出保持兼容

子類(lèi)不能收緊父類(lèi)的輸入要求，也不能改變父類(lèi)的輸出預(yù)期。

（4）方法重寫(xiě)保持邏輯兼容

子類(lèi)重寫(xiě)方法時(shí)，應(yīng)在不破壞父類(lèi)契約的前提下擴(kuò)展功能。

（5）優(yōu)先使用組合而非繼承

當(dāng)“有一個(gè)”（has-a）關(guān)系更合理時(shí)，使用組合替代繼承，以提高靈活性和可維護(hù)性。

（6）使用抽象基類(lèi)定義行為契約

通過(guò) ABC（Abstract Base Class）明確方法接口和行為規(guī)范，確保子類(lèi)遵守契約。

（7）文檔與注釋明確規(guī)范

在文檔或代碼注釋中清晰描述方法行為，便于子類(lèi)開(kāi)發(fā)者理解并遵循父類(lèi)契約。

六、綜合示例：符合 LSP 的日志系統(tǒng)

process(FileLogger())     # OK

? FileLogger 與 ConsoleLogger 都遵守 Logger 的契約

? 任意一個(gè)都可以替代 Logger

? 真正符合 LSP

小結(jié)

里氏替換原則是繼承體系設(shè)計(jì)的基礎(chǔ)，它要求子類(lèi)必須能夠完全替代父類(lèi)，而不改變程序行為。遵守 LSP 能提升代碼穩(wěn)定性、可維護(hù)性和擴(kuò)展能力；違反 LSP 的繼承會(huì)導(dǎo)致隱藏 bug、錯(cuò)誤行為和脆弱的結(jié)構(gòu)。在 Python 中沒(méi)有編譯時(shí)強(qiáng)類(lèi)型約束，因此更應(yīng)通過(guò)約定、抽象基類(lèi)和清晰的設(shè)計(jì)來(lái)確保子類(lèi)遵守父類(lèi)行為契約。遵循 LSP 是編寫(xiě)健壯、可擴(kuò)展面向?qū)ο蟠a的重要前提。

“點(diǎn)贊有美意，贊賞是鼓勵(lì)”