里氏置換原則（Liskov Substitution Principle），簡稱LSP

定義：

Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.

所有引用基類的地方必須能夠透明的使用其子類對象。

也就是說，只要父類出現(xiàn)的地方子類就能夠出現(xiàn)，而且替換為子類不會產(chǎn)生任何錯誤或異常。但是反過來，子類出現(xiàn)的地方，替換為父類就可能出現(xiàn)問題了。

這個原則是為良好的繼承定義一個規(guī)范，簡單的講，有4層含義：

一、子類必須完全實現(xiàn)父類的方法

定義一個抽象類

public abstract class ViewPoint {  
    //去麗江旅游  
    public abstract void where();  
} 

下面兩個類是實現(xiàn)這個抽象類

public class Lijiang extends ViewPoint {  
   
    @Override 
    public void where() {  
        System.out.println("歡迎來到麗江...");  
    }  
   
}  
 
public class Zhangjiajie extends ViewPoint {  
   
    @Override 
    public void where() {  
        System.out.println("歡迎來到張家界...");  
    }  
   
} 

人物是涂涂，在里面設(shè)置類類型來傳遞參數(shù)。此時涂涂要去的旅游景點還是抽象的

public class Tutu {  
    //定義要旅游的景點  
    private ViewPoint viewpoint;  
    //涂涂要去的景點  
    public void setViewPoint(ViewPoint viewpoint)  
    {  
        this.viewpoint = viewpoint;  
    }  
       
    public void travelTo()  
    {  
        System.out.println("涂涂要去旅游了");  
        viewpoint.where();  
    }  
} 

場景類。設(shè)置具體要去的景點

public class Sence {  
    public static void main(String args[])  
    {  
        Tutu tutu = new Tutu();  
        //設(shè)置要去的旅游景點  
        tutu.setViewPoint(new Lijiang());  
        tutu.travelTo();  
    }  
} 

運行結(jié)果：

涂涂要去旅游了
歡迎來到麗江...

二、子類可以有自己的特性

也就是說在類的子類上，可以定義其他的方法或?qū)傩?/p>

三、覆蓋或者實現(xiàn)父類的方法時輸入?yún)?shù)可以被放大

父類能夠存在的地方，子類就能存在，并且不會對運行結(jié)果有變動。反之則不行。

父類，say()里面的參數(shù)是HashMap類型，是Map類型的子類型。（因為子類的范圍應(yīng)該比父類大）

import java.util.Collection;  
import java.util.HashMap;  
   
public class Father {  
    public Collection say(HashMap map)  
    {  
        System.out.println("父類被執(zhí)行...");  
        return map.values();  
    }  
} 

子類，say()里面的參數(shù)變成了Map類型，Map范圍比HashMap類型大，符合LSP原則。注意這里的say不是覆寫父類的say，因為參數(shù)類型不同。而是重載。

import java.util.Collection;  
import java.util.Map;  
   
/*  
 * 子類繼承了父類的所有屬性  
 */ 
public class Son extends Father {  
    //方法輸入?yún)?shù)類型  
    public Collection say(Map map)  
    {  
        System.out.println("子類被執(zhí)行...");  
        return map.values();  
    }  
} 

場景類

import java.util.HashMap;  
   
public class Home {  
    public static void main(String args[])  
    {  
        invoke();  
    }  
       
    public static void invoke()  
    {  
        //父類存在的地方，子類就應(yīng)該能夠存在  
        //Father f = new Father();  
        Son s = new Son();  
        HashMap map = new HashMap();  
        //f.say(map);  
        s.say(map);  
    }  
} 

無論是用父類還是子類調(diào)用say方法，得到的結(jié)果都是

父類被執(zhí)行...

但是，如果將上面Father里的say參數(shù)改為Map，子類Son里的say參數(shù)改為HashMap，得到的結(jié)果就變成了

f.say(map)結(jié)果：父類被執(zhí)行...

s.say(map)結(jié)果： 子類被執(zhí)行...

這樣會造成邏輯混亂。所以子類中方法的前置條件必須與父類中被覆寫的前置條件相同或者更寬。

四、覆寫或者實現(xiàn)父類的方法時輸出結(jié)果可以被縮小

其實與上面的類似，也就是父類能出現(xiàn)的地方子類就可以出現(xiàn)，而且替換為子類不會產(chǎn)生任何錯誤或者異常，使用者也無需知道是父類還是子類。但是反過來就不行了，有子類出現(xiàn)的地方，父類未必就適應(yīng)。（畢竟子類的范圍要>=父類的范圍）

原文鏈接：http://www.cnblogs.com/loulijun/archive/2012/03/04/2379082.html

【編輯推薦】

1. JavaScript設(shè)計模式之代理模式
2. 利用 SPL 快速實現(xiàn) Observer 設(shè)計模式
3. 設(shè)計模式系列之代理模式
4. 從理發(fā)店流程抽象設(shè)計模式中的組合模式
5. 大話惱人的那些設(shè)計模式