使用設計模式改善程序結構(二)
發表時間:2024-05-27 來源:明輝站整理相關軟件相關文章人氣:
[摘要]在本系列的第一篇文章中,描述了如何通過設計模式來指導我們的程序重構過程,并且著重介紹了設計模式意圖、動機的重要性。在本文中我們將繼續上篇文章進行討論,這次主要著重于設計模式的適用性,對于設計模式適用性的掌握有助于從另一個不同的方面來判斷一個設計模式是否真正適用于我們的實際問題,從而做出明智的選擇。...
在本系列的第一篇文章中,描述了如何通過設計模式來指導我們的程序重構過程,并且著重介紹了設計模式意圖、動機的重要性。在本文中我們將繼續上篇文章進行討論,這次主要著重于設計模式的適用性,對于設計模式適用性的掌握有助于從另一個不同的方面來判斷一個設計模式是否真正適用于我們的實際問題,從而做出明智的選擇。
1、回顧
在上一篇文章中,我們給出了一個使用設計模式來改善程序結構的例子,著重介紹了設計模式的意圖、動機在我們程序重構過程中的指導作用。
現在,我們將關注設計模式的另一個重要方面:設計模式的適用性。解決同一個問題一般會有多種方案或者模式,但是這些模式所關注的是同一個問題的不同方面,解決不同的需求,有各自的優點和限制,各有各的解決之道。這就要求我們在選擇設計模式時,對我們自己的問題有很好的理解:我們的需求是什么,我們要克服什么樣的限制,我們要獲得什么樣的特性等等。然后,可以看看我們想使用的解決問題的設計模式是否適用于我們的問題,如果不適用,是否可以使用其他的模式來彌補,是否可以對這個設計模式進行改進使它符合我們的要求。
本文下面的部分,我們將對上一篇文章中的最終解決方案進行進一步的分析,來看看它到底滿足了我們什么樣的需求,又暴露了什么樣的不足,最后我們會給出一個更為符合要求的解決方案。
2、問題描述
在上一篇文章中,我們對一個網管系統中的錯誤處理部分的代碼進行了重構,最終使用了一個visitor設計模式解決了我們的問題。細心的讀者肯定會發現,這個最終方案一樣存在著一個問題:如果錯誤的類型不是固定不變的,而是隨著系統的進展不斷增加的,會有什么結果呢?讓我們首先來看看上一篇文章中最終的類圖:

在這個類圖中,我增加了幾條依賴線,即ErrorHandler是依賴于DbError和CommError的。此時我們可以看到:ErrorBase依賴于ErrorHandler,ErrorHandler依賴于ErrorBase的派生類(DbError和CommError),而ErrorBase的派生類又要依賴于ErrorBase本身。這就形成了一個循環的依賴過程,這樣的結果就是ErrorBase傳遞地依賴于它的所有派生類。
這種循環依賴關系會帶來嚴重的問題,一旦ErrorBase新增了一個派生類,那么ErrorHandler類必須要被修改,由于ErrorBase又依賴于ErrorHandler,那么依賴于ErrorBase的所有類都需要重新編譯。這就意味著ErrorBase的所有派生類以及所有這些派生類的使用者都要重新編譯,這種大規模的重新編譯在開發一個分布式系統時會導致非常大的工作量,因為要重新分布每一個重新編譯過的類,如果在重新分布時出現一些差錯(如:忘記替換一些類),就會導致微妙的錯誤,而且很不容易查找出來。
另外,在該模式中存在一個假設,就是默認任意一個錯誤處理者要處理所有的錯誤類型,這個假設在某些情況下是不成立的,比如:如果對于LogicError我們不打算通知LOGSys進行處理會怎樣呢?我們不得不要寫一個處理該錯誤的空函數(當然你可以在ErrorHandler中寫一個缺省的實現)。如果ErrorBase的類層次架構越來越大,并且它們要求的處理方法也有很多的不同,就會導致ErrorHandler接口中的方法集龐大,并且任何一個ErrorBase的派生類的改變,都會導致大規模的重新編譯(甚至是毫無關系的類也要重新編譯),重新分布,如果這種改變比較頻繁,結果當然是無法忍受的。
3、問題分析
上述的問題描述暴露了visitor模式的一些使用限制,即它僅僅適用于哪些受訪問的類層次架構比較固定的情況,導致這樣的原因可以使用一個著名的面向對象設計原則來解釋,這個原則就是:DIP(Dependence Inversion Principle),這個原則的核心含義是:高層模塊不應該直接依賴于低層模塊,所有的模塊都要依賴于抽象。也就是說:容易變化的東西一定要依賴于不容易變化的東西,因為抽象的東西最不容易變化,具體的東西容易變化,所以具體應該依賴于抽象。而在visitor模式中,ErrorHandler依賴于ErrorBase的所有的具體的派生類,并且如果這些派生類容易變化的話,就會導致不能接受的結果。
通過上面的分析,可以看出打斷這個循環依賴的環是克服visitor模式適用范圍限制的關鍵。
4、解決方案
在上述的循環依賴關系中,有兩段依賴關系是無法打斷的,一段是ErrorBase的所有派生類對于ErrorBase的依賴,一段是ErrorBase對于ErrorHandler的依賴,并且這兩段依賴關系也是符合DIP的,那么對于僅剩的一段依賴關系我們是必須要打斷的了,這段關系就是,ErrorHandler對于ErrorBase所有派生類的依賴,并且這段關系也是違反DIP的。如果我們不讓ErrorHandler知道ErrorBase的派生類,那么怎樣才能夠針對每一個具體的ErrorBase的派生類進行相應的處理呢?
面向對象大師Robert C. Martin給出了一個優雅的解決方案,他所采用的技巧是OO方法所建議避免使用的,RTTI(運行時類型鑒別)。可見如果RTTI運用的得當,一樣可以得到很好的設計方案,并且還能夠克服一些OO中多態的方法解決不了的問題(當然如果使用多態能夠解決的問題,推薦還是使用多態的方法進行解決)。讓我們先看看這個解決方案的類圖:

通過上圖可以看出,ErrorHandler中沒有任何方法了,已經退化為一個空的接口,所以也就不可能再依賴于任何ErrorBase的派生類了。和visitor模式不同,這個方案中針對每一個特定的ErrorBase的派生類定義一個相應的處理接口,在每個派生類的handle方法實現中,運用RTTI技術進行相應的類型轉換(把ErrorHandler轉換為自己對應的錯誤處理接口,比如:在DbError的handle方法中,就把ErrorHandler轉換為DbErrorHandler。Java在這方面做得不錯,可以進行比較安全的類型轉換),想要處理該錯誤的實體不僅要實現ErrorHandler接口,而且還要實現相應的針對具體錯誤類的處理接口,比如:GUISys就實現了三個接口(ErrorHandler、DBErrorHandler以及CommErrorHandler),從而也就實現了對DbError和CommError的處理。