替換原則

　　替換原則由MIT電腦科學實驗室的Liskov女士在1987年的OOPSLA大會上的一篇文章《Data Abstraction and Hierarchy》中提出，主要闡述有關繼承的一些原則，故又稱里氏替換原則。

　　2002年，Robert C.Martin出版了一本名為《Agile Software Development Principles Patterns and Practices》的書，在書中他把里氏代換原則最終簡化為一句話：“Subtypes must be substitutable for their base types”。（子類必須能夠替換成它們的基類。）

LSP的內容

　　里氏替換原則（Liskov Substitution Principle，LSP）的定義和主要的思想如下：由於面向物件程式設計技術中的繼承在具體的程式設計中過於簡單，在許多系統的設計和程式設計實現中，我們並沒有認真地、理性地思考應用系統中各個類之間的繼承關係是否合適，派生類是否能正確地對其基類中的某些方法進行重寫等問題。因此經常出現濫用繼承或者錯誤地進行了繼承等現象，給系統的後期維護帶來不少麻煩。這就需要我們有一個設計原則來遵循，它就是替換原則。

　　LSP指出：子型別必須能夠替換掉它們的父型別、並出現在父類能夠出現的任何地方。它指導我們如何正確地進行繼承與派生，併合理地重用程式碼。此原則認為，一個軟體實體如果使用一個基類的話，那麼一定適用於其子類，而且這根本不能察覺出基類物件和子類物件的區別。

LSP主要是針對繼承的設計原則

　　因為繼承與派生是OOP的一個主要特性，能夠減少程式碼的重複程式設計實現，從而實現系統中的程式碼複用，但如何正確地進行繼承設計和合理地應用繼承機制呢？

　　這就是LSP所要解決的問題:

　　如何正確地進行繼承方面的設計？

　　最佳的繼承層次如何獲得？

　　怎樣避免所設計的類層次陷入不符合OCP原則的狀況？

　　那如何遵守該設計原則呢？

　　父類的方法都要在子類中實現或者重寫，並且派生類只實現其抽象類中宣告的方法，而不應當給出多餘的方法定義或實現。

　　在客戶端程式中只應該使用父類物件而不應當直接使用子類物件，這樣可以實現執行期繫結（動態多型）。

　　如果A、B兩個類違反了LSP的設計，通常的做法是建立一個新的抽象類C，作為兩個具體類的超類，將A和B的共同行為移動到C中，從而解決A和B行為不完全一致的問題。

　　PHP對LSP的支援並不好，缺乏向上轉型等概念，只能通過一些曲折的方法實現。對於這個原則，這裡就不再細講了。