如果對每乙個型別為s的物件o1，都有型別為t的物件o2，使得以t定義的所有程式p在所有的物件o1代換o2時，程式p的行為沒有變化，那麼型別s是型別t的子型別。
定義所有引用基類(父類)的地方必須能透明地使用其子類的物件。
描述黎克特制替換原則告訴我們，在軟體中將乙個基類物件替換成它的子類物件，程式將不會產生任何影響，反過來則成立，即：如果乙個軟體實體使用的是乙個子類物件，那麼用其父類物件不一定能夠成功替換。
例如：我喜歡動物，那我一定喜歡狗，因為狗是動物的子類；但是我喜歡狗，不能據此斷定我喜歡動物，因為我並不喜歡老鼠，雖然它也是動物。
黎克特制替換原則
黎克特制替換原則 黎克特制代換原則 liskov substitution principle lsp 物件導向設計的基本原則之一。黎克特制代換原則中說，任何基類可以出現的地方，子類一定可以出現。lsp是繼承復用的基石，只有當衍生類可以替換掉基類，軟體單位的功能不受到影響時，基類才能真正被復用，而衍...
黎克特制替換原則
黎克特制替換原則更多的說的是子類與父類的關係的一種原則，子類必須實現父類的所有方法，所有能夠放子類的地方一定能夠放父類。但是這裡的話，我們講有的時候在我們的業務中，有的子類肯定是有個性化的特徵的，比如真槍和玩具槍，真槍能射出子彈，但是玩具槍就不能，那麼這個時候，我們或者通過抽象類，通過抽象類是我們可...
黎克特制替換原則
黎克特制替換原則，主要是乙個關於繼承的規範原則，它要求我們在軟體中寫繼承關係時，所有引用父類的地方必須能夠 透 明地使用其子類物件 子類可以實現父類所提供的抽象 方法，但不要去重寫父類已經實現的方法，或者過載父類的 構 造。要維護繼承的傳遞性，當然很多地方為這個原則打了個 比喻為 龍生龍，鳳生鳳，老...