黎克特制代換原則(liskov substitution principle lsp)物件導向設計的基本原則之一。 黎克特制代換原則中說,任何基類可以出現的地方,子類一定可以出現。 lsp是繼承復用的基石,只有當衍生類可以替換掉基類,軟體單位的功能不受到影響時,基類才能真正被復用,而衍生類也能夠在基類的基礎上增加新的行為。黎克特制代換原則是對「開-閉」原則的補充。實現「開-閉」原則的關鍵步驟就是抽象化。而基類與子類的繼承關係就是抽象化的具體實現,所以黎克特制代換原則是對實現抽象化的具體步驟的規範。
目錄示例
詳細解釋
注意事項
lsp講的是基類和子類的關係。只有當這種關係存在時,黎克特制代換關係才存在。如果兩個具體的類a,b之間的關係違反了lsp的設計,(假設是從b到a的繼承關係)那麼根據具體的情況可以在下面的兩種重構方案中選擇一種。
-----建立乙個新的抽象類c,作為兩個具體類的超類,將a,b的共同行為移動到c中來解決問題。
-----從b到a的繼承關係改為委派關係。
為了說明,我們先用第一種方法來看乙個例子,第二種辦法在另外乙個原則中說明。我們就看那個著名的長方形和正方形的例子。對於長方形的類,如果它的長寬相等,那麼它就是乙個正方形,因此,長方形類的物件中有一些正方形的物件。對於乙個正方形的類,它的方法有個setside和getside,它不是長方形的子類,和長方形也不會符合lsp。
eg:長方形類:
public class rectangle
setheight(int height) }
正方形類:
public class square
setheight(int height) }
例子中改變邊長的函式:
public void resize(rectangle r) }
那麼,如果讓正方形當做是長方形的子類,會出現什麼情況呢?我們讓正方形從長方形繼承,然後在它的內部設定width等於height,這樣,只要width或者height被賦值,那麼width和height會被同時賦值,這樣就保證了正方形類中,width和height總是相等的.現在我們假設有個客戶類,其中有個方法,規則是這樣的,測試傳入的長方形的寬度是否大於高度,如果滿足就停止下來,否則就增加寬度的值。現在我們來看,如果傳入的是基類長方形,這個執行的很好。根據lsp,我們把基類替換成它的子類,結果應該也是一樣的,但是因為正方形類的width和height會同時賦值,條件總是滿足,這個方法沒有結束的時候,也就是說,替換成子類後,程式的行為發生了變化,它不滿足lsp。
那麼我們用第一種方案進行重構,我們構造乙個抽象的四邊形類,把長方形和正方形共同的行為放到這個四邊形類裡面,讓長方形和正方形都是它的子類,問題就ok了。對於長方形和正方形,取width和height是它們共同的行為,但是給width和height賦值,兩者行為不同,因此,這個抽象的四邊形的類只有取值方法,沒有賦值方法。上面的例子中那個方法只會適用於不同的子類,lsp也就不會被破壞。
在進行設計的時候,我們盡量從抽象類繼承,而不是從具體類繼承。如果從繼承等級樹來看,所有葉子節點應當是具體類,而所有的樹枝節點應當是抽象類或者介面。當然這個只是乙個一般性的指導原則,使用的時候還要具體情況具體分析。
簡單的理解為乙個軟體實體如果使用的是乙個父類,那麼一定適用於其子類,而且它察覺不出父類物件和子類物件的區別。也就是說,軟體裡面,把父類都替換成它的子類,程式的行為沒有變化。
黎克特制代換原則
黎克特制代換原則 黎克特制代換原則 子型別必須能夠替換掉它們的父型別。就是說乙個軟體實體,如果使用的是乙個父類的話,那麼一定適用於其子類,而且,它覺察不出父類物件和子類物件的區別,也就是說,在軟體裡面,把父類都替換成它的子類,程式的行為沒有變化。只有當子類可以替換掉父類,軟體單位的功能不收到影響時,...
黎克特制代換原則
黎克特制代換原則 子型別必須能替換掉它們的父型別.只有當子類可以替換掉父類,軟體單位的功能不受到影響時,父類才能真正的被復用,而子類也能夠在父類的基礎上增加新的行為.比如說,貓類繼承動物類,動物類擁有吃喝叫跑等行為,當某一天,我們需要狗,牛,羊也擁有類似的行為,由於它們都是繼承於動物,所以除了更改例...
黎克特制代換原則
物件導向設計的重要原則是建立抽象化,並且從抽象化匯出具體化。這個匯出要使用繼承關係和乙個原則 黎克特制代換原則 liskov substitution principle lsp 那麼什麼是黎克特制代換原則呢?有個嚴格的表述,繞口,不好記。還是比較白話的這個好記。說的是 乙個軟體實體如果使用的是乙個...