里氏代換原則（Liskov Substition Principle）

里氏代換原則（LSP）的準確描述：如果對每一個型別為T1的物件o1,都有型別為T2的物件o2,使得T1定義的所有程式p在所有物件o1都代換成o2的時候，程式p的行為沒有變化，那麼型別T2是型別T1的子型別。    對於里氏代換原則來說反過來是不成立的。 Java對里氏代換原則的支援   這裡會有一個很經典的JAVA乃至是所有面向物件語言的一個經典問題。如果在父類中有一個public的方法。問是否可以在子型別中overload成private？利用里氏代換原則我們就可以很清楚的理解這個問題。假設這個命題是成立的，那麼我們根據里氏代換原則將出現的父型別public方法替換成子型別的private方法。那麼這裡會出現一個問題。由於子型別的相應方法是private的，他將不能被客戶端呼叫。到這裡這個命題就出現了矛盾。所以在父類中有一個public的方法。問是不可以在子型別中overload成private。 對於這一點JAVA編譯器會對其經行檢查，在編譯的時候就不會讓這種型別的程式通過。 Java對里氏代換原則的侷限 Java對里氏代換原則的侷限體現在JAVA編譯器只對LSP的精度經行檢查，不能檢查一個系統在現實和商業邏輯上的滿足。 里氏代換原則與幾種模式： 策略模式（Strategy）：如果有一組演算法，那麼將每一個演算法封裝起來，使他們可以互換。 封裝的概念不難理解，使所有的演算法可以互換則需要將所有的具體策略角色放到一個型別等級結構中，使他們有共同的介面。這就是LSP在策略模式中的真實體現。 合成模式（Composite）:通過樹結構描述整體與部分的關係。從而將單純元素與複合元素同等看待。由於單純元素和複合元素都是抽象元素的子類。因此，兩者都可以替換抽象元素出現在的任何地方。 代理模式(Proxy):代理模式給某一個物件提供一個代理物件，並有代理物件控制對原物件的引用，代理物件模式能成立的關鍵，就在於代理模式與真實主題模式都是抽象主題角色的子類，客戶端只知道抽象主題，而代理主題可以替換抽象主題出現在任何需要的地方，而真實主題隱藏在幕後