理論性知識

定義

里氏替換原則，Liskov Substitution principle（LSP），

抽象定義是下面這樣的

如果對每一個型別為T1的物件O1，都有型別為T2的物件O2，使得以T1定義的所有程式P在所有的物件O1都替換成O2時，程式P的行為沒有發生變化，那么型別T2是型別T1的子型別，

通俗地解釋一下

一個軟體物體如果適用一個父類的話，那一定適用于其子類，所有參考父類的地方必須能透明地使用其子類的物件，子類物件能夠替換父類物件，而程式邏輯不變，

引申一下，如果子類替換父類，還必須保證程式邏輯不變，就必須滿足以下幾點，

優點

加強程式的健壯性，同時變更時可以做到非常好的兼容性，

提高程式的維護性，擴展性，降低需求變更時引入的風險，

代碼實戰1

實作一個正方形繼承長方形的場景，因為正方形是一種特殊的長方形，

定義一個長方形，如下圖

定義一個正方形，如下圖，重寫了父類的方法，

最后執行測驗方法，當寬大于等于高時，就改變寬和高，如下圖

當用子類正方形替換父類時,程式就會進入無限回圈，如下圖

根據以上得出，子類可以實作父類的抽象方法，但不能覆寫父類的非抽象方法

代碼實戰2

首先定義一個簡單的父類，如下圖

然后定義一個子類，子類的入參型別Map比父類的入參HashMap寬松，如下圖

最后測驗如下圖

由測驗結果可以看出，child類完全可以替換base類去執行，遵循了里式替換原則，

即當子類的方法多載父類的方法時，方法的前置條件（即方法的輸入，入參）要比父類方法的輸入引數更寬松，

代碼實戰3

還是定義一個簡單的父類,方法回傳型別為HashMap，如下圖

定義一個子類，實作父類抽象方法時，回傳值型別為Map，編譯器就會直接報錯，如下圖

根據以上可以得出結論

當子類的方法實作父類的方法時（重寫，多載或實作抽象方法），方法的后置條件（方法的輸出，回傳值）要比父類更嚴格或相等，

個人總結

一開始學習里式替換原則時，也是不明白，最后也是慢慢理解透的，總結起來就是

子類可以替換父類，替換后，不能改變程式的運行邏輯，

也歡迎大家在評論區留下自己的看法！

轉載請註明出處，本文鏈接：https://www.uj5u.com/houduan/255839.html

標籤：其他