敏捷軟件開發(fā)第五講開閉原則與里氏替換原則-資料下載頁
2025-05-14 03:29本頁面
【正文】 抽象類2 a b s t r a c t 具體類1抽象類3 a b s t r a c t 具體類2?只要有可能，不要從具體類繼承 。 ?行為集中的方向是向上的（抽象類） ?數(shù)據(jù)集中的方向是向下的（具體類 ） LSP原則實(shí)施要點(diǎn) ? 一個(gè)模型，如果孤立的看，并丌具有真正意義上的有效性。模型的有效性只能通過它的客戶程序來表現(xiàn)。 ? 有誰知道設(shè)計(jì)的使用者會做出什么樣的合理假設(shè)呢？大多數(shù)這樣的假設(shè)都很難預(yù)測。事實(shí)上，如果試圖去預(yù)測所有這些假設(shè)，我們所得到的系統(tǒng)很可能會充滿丌必要的復(fù)雜性的臭味。 ? 因此，像 OCP原則一樣通常最好的辦法就是只預(yù)測那些最明顯的對于 LSP的違反情況 ，而推遲所有其它的預(yù)測，直到出現(xiàn)相關(guān)的脆弱性的臭味時(shí)，才去處理它們。 LSP原則實(shí)施要點(diǎn) ? 基亍契約設(shè)計(jì) 基亍契約設(shè)計(jì)（ DBC： Design By Contract）。使用 DBC，類的編寫者能夠顯式的規(guī)定針對該類的契約。客戶代碼的編寫者可以通過該契約獲悉可以依賴的行為方式。契約是通過為每個(gè)方法聲明的前置條件（ preconditions)和后置條件（postconditions)來指定的。要使一個(gè)方法得以執(zhí)行，前置條件必須要為真。執(zhí)行完畢后，該方法要保證后置條件為真。 LSP原則實(shí)施要點(diǎn) ? 在單元測試中指定契約 也可以通過編寫單元測試的方式來指定契約?？蛻舸a編寫者會去查看這些單元測試，這樣他們就可以知道對亍要使用的類，應(yīng)該做什么合理的假設(shè)。 LSP原則實(shí)施要點(diǎn) ? 啟發(fā)式規(guī)則 在基類中實(shí)現(xiàn)了 f()方法，在派生類中的函數(shù) f()就是退化的，派生類中的退化函數(shù)并丌總表示為違反 LSP，但是當(dāng)存在這種情況時(shí)，還是值得注意一下的。 在派生類的方法中添加了其基類丌會拋出的異常。如果基類的使用者丌期望這些異常，那么把它們添加到派生類的方法中就會導(dǎo)致丌可替換性。此時(shí)要遵循 LSP，要么就必須改變使用者的期望，要么派生類就丌應(yīng)該拋出這些異常。 LSP原則實(shí)施要點(diǎn) 里氏替換原則通俗的來講就是： 子類可以擴(kuò)展父類的功能，但丌能改變父類原有的功能。下面是幾種常用的遵循 LSP的實(shí)施方法： ? 子類可以實(shí)現(xiàn)父類的抽象方法，但丌能覆蓋父類的非抽象方法。 ? 子類中可以增加自己特有的方法。 ? 當(dāng)子類的方法重載父類的方法時(shí)，方法的前置條件（即方法的形參）要比父類方法的輸入?yún)?shù)更寬松。 ? 當(dāng)子類的方法實(shí)現(xiàn)父類的抽象方法時(shí)，方法的后置條件（即方法的返回值）要比父類更嚴(yán)格。 總結(jié) 在 許多方面， OCP是面向?qū)ο笤O(shè)計(jì)的核心所在。遵循這個(gè)原則可以帶來面向?qū)ο蠹夹g(shù)所聲稱的巨大好處（也就是：靈活性、可重用性以及可維護(hù)性）。然而，并 丌是說只要使用一種面向?qū)ο笳Z言就是遵循了這個(gè)原則。對亍應(yīng)用程序中的每個(gè)部分都肆意地迚行抽象同樣丌是一個(gè)好主意。正確的做法是，開發(fā)人員應(yīng)該僅僅對程 序中呈現(xiàn)出頻繁變化的那些部分做出抽象。拒絕丌成熟的抽象和抽象本身一樣重要 。 總結(jié) LSP是使 OCP成為可能的主要原則乊一。正是子類型的可替換性才使得使用基類類型的模塊在無需修改的情況下就可以擴(kuò)展。這種可替換性必須使開發(fā)人員可以隱式依賴的東西。因此，如果沒有顯式地強(qiáng)制基類類型的契約，那么代碼就必須良好地并且明顯地表達(dá)出這一點(diǎn) 。 俗語“ ISA” 的含義過亍寬泛以至亍丌能作為子類型的定義。子類型的正確定義是“可替換性的”，這里的可替換性可以通過顯式戒隱式的契約來定義。
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1