引言 說實話,我看過GoF《Design Patterns》,也曾深深的被李建忠《設計模式》系列Webcast吸引。但是還沒有見過“Double Dispatch模式”。的確GoF提及的設計模式只是最初對設計模式的系統介紹,它不可能涵蓋所有的模式。另外隨著時間的流逝,技術日新月異的變化,技術大牛們又
引言
說實話,我看過GoF《Design Patterns》,也曾深深的被李建忠《設計模式》系列Webcast吸引。但是還沒有見過“Double Dispatch模式”。的確GoF提及的設計模式只是最初對設計模式的系統介紹,它不可能涵蓋所有的模式。另外隨著時間的流逝,技術日新月異的變化,技術大牛們又總結出了許多新的模式。
今天所介紹的Double Dispatch模式,從時間上來看,已不是新的設計模式;但對於只看過GoF設計模式的技術同仁來說,也算是一個新的設計模式。
什麼是DoubleDispatch?
對,沒有“模式”二字。從字面翻譯來看,網上好多人翻譯為雙分發,雙分派。Wiki上對Double Dispatch的解釋:
In software engineering, double dispatch is a special form of multiple dispatch, and a mechanism that dispatches a function call to different concrete functions depending on the runtime types of two objects involved in the call. In most object-oriented systems, the concrete function that is called from a function call in the code depends on the dynamic type of a single object and therefore they are known as single dispatch calls, or simply virtual function calls.
大意:
在軟體工程中,Double Dispatch是一種特殊形式的Multiple Dispatch,也是根據於兩個對象的運行時類型來調用的其相應具體類(不是基類)方法的一種機制。在大多數面向對象的系統中,在代碼(程式)中的一個函數調用具體類的方法都取決於單個對象的動態類型(運行時的類型),(它們一般)被稱為Single Dispath calls,或只是虛擬函數調用。
不難看出一次虛函數的調用叫做Single Dispath ,那麼Double Dispatch應該就是兩次虛函數的調用啦。
更進一步說就是一次通過動態類型(運行時類型)調用相應子類真實類型的方法函數,就稱為一次Dispath。那麼以此類推,需要兩次通過運行時類型調用相應類型的方法函數,則稱為Double Dispatch。
舉例說明:
Single Dispatch 實例:
DoubDispatch 實例:
為啥要搞Double Dispatch?
輸出結果
怎麼沒有輸出“Dog Type”和“Mammals Type”呢?不對呀!!
怎麼解決?
用Dynamic來解決
通過查閱關於函數重載決議相關的說明我們可以瞭解到:
重載是在編譯時就決定了,所以無法在運行時動態決定。重寫才是動態運行時決定的。
輸出結果:
這樣的解決雖然看起來解決了問題?但我不通過Double Dispatch 來實現的。只是通過了Dynamic。
用Vistor 模式來解決
總結
C# 現在引入Dynamic 來支持“Double Dispatch”,但我們應該清楚到底為什麼要用這個關鍵字.
如果沒有這個關鍵字,C#又是如何支持“Dobule Dispatch”的,這就是本篇所講的目的。
更多關於Vistor內容,大家可自行百度谷歌。
後續我想寫一篇關於Vistor的博客,還請大家多多支持!
參考
GoF著作中未提到的設計模式(4):Double Dispatch
關於雙分派(Double Dispatch)的一點探討(案例講的很透徹,C++的代碼)
Acyclic Visitor模式:http://www.objectmentor.com/resources/articles/acv.pdf
Hierachical Visitor Pattern模式:http://en.wikipedia.org/wiki/Hierarchical_visitor_pattern