里氏替換原則（Liskov Substitution Principle LSP）

      里氏替換原則是面向?qū)ο笤O(shè)計(jì)的基本原則之一。任何基類可以出現(xiàn)的地方，子類一定可以出現(xiàn)。LSP是繼承復(fù)用的基石，只有當(dāng)子類可以替換基類，軟件單位的功能不受影響時(shí)，基類才能真正的被復(fù)用，而子類也可以在基類的基礎(chǔ)上增加新的行為。

      Liskov提出了關(guān)于繼承的原則：Inheritance should ensure that any property proved about supertype objects also holds for subtype objects.----繼承必須確保超類中所擁有的性質(zhì)在子類中仍然成立。2002年，軟件工程大師Robert C. Martin出版了一本《Agile Software DevelopmentPrinciples Patterns and Practices》，在文中他把里氏代換原則最終簡(jiǎn)化為一句話：“Subtypes must be substitutable for their base types”也就是說子類必須能夠替換成他們的基類。

      里氏替換原則講的是基類和子類的關(guān)系，只有這種關(guān)系存在的時(shí)候里氏替換原則才能成立。里氏替換原則是實(shí)現(xiàn)開放封閉原則的具體規(guī)范。這是因?yàn)椋簩?shí)現(xiàn)開放封閉原則的關(guān)鍵是抽象，而繼承關(guān)系又是抽象的一種具體實(shí)現(xiàn)。

我們大家都打過CS的游戲，用槍射擊殺人，如下類圖：

      槍的主要職責(zé)是射擊，如何射擊在各個(gè)具體的子類中定義。注意在類中調(diào)用其他類時(shí)務(wù)必調(diào)用父類或接口，如果不能掉話父類或接口，說明類的射擊已經(jīng)違反了LSP原則。

如果我們有一個(gè)玩具手 槍，該如何定義呢？我們先在類圖2-1上增加一個(gè)類ToyGun，然后繼承于AbstractGun類，修改后的類圖如下：

      玩具槍是不能用來射擊的，殺不死人的，這個(gè)不應(yīng)該寫shoot方法，在這種情況下業(yè)務(wù)的調(diào)用類就會(huì)出現(xiàn)問題。為了解決這個(gè)問題，ToyGun可以脫離繼承，建立一個(gè)獨(dú)立的父類，為了做到代碼可以服用，可以與AbstractGun建立關(guān)聯(lián)委托關(guān)系，如下圖：

因此，如果子類不能完整地實(shí)現(xiàn)父類的方法，那么建議斷開父子繼承關(guān)系，采用依賴，聚合，組合等關(guān)系代替繼承。

子類可以有自己的屬性或方法。

覆蓋或?qū)崿F(xiàn)父類的方法時(shí)輸入的參數(shù)可以放大。

覆蓋或?qū)崿F(xiàn)父類的方法時(shí)輸出結(jié)果可以被縮小。這是什么意思呢，父類的方法返回值是一個(gè)類型T，子類相同的方法（覆寫）的返回值為類型S，那么根據(jù)里氏替換原則就要求S必須小于等于T，也就是說要么S和T是同一個(gè)類型，要么S是T的子類型。

     采用里氏替換原則的目的就是增加程序的健壯性，需求變更時(shí)也可以保持良好的兼容性和穩(wěn)定性，即使增加子類，原有的子類可以繼續(xù)運(yùn)行。在實(shí)際項(xiàng)目中，每個(gè)子類對(duì)應(yīng)不同的業(yè)務(wù)含義，使用父類作為參數(shù)，傳遞不同的子類完成不同業(yè)務(wù)邏輯。