[心得] multi-method/dispatch
所謂 multi-method/dispatch 為動態決議兩種以上真實型別的手段
在一般的物件導向程式語言中，僅僅支援 single-method/dispatch,
亦即 ooo.xxx(); 我們會說，我們 send 了 xxx 這個 message 給這個 ooo,
但這個 ooo 是什麼我們不知道，我們只知道他會依照 xxx 這個 message
來喚起正確的 method, 亦即 ooo 真實型別的 method.
於是我們可以不在乎 ooo 的真實型別，卻能相信他能找到正確的 method.
儘管我相當不認同「一般所謂物件導向的三樣特性」，不過依照這個說法的話，
這正是該三樣特性的第三樣：polymorphism, 多形。
p.s. 我個人認為 dynamic binding 動態連結會是比較好的說法，anyway, off-topic
而如果我們需要決議兩種以上的型別呢？
例如：
unit.walk_to(dist);
假設每個 unit 都有不同的特性，所以在走到各種不同的 dist 上都會有
不同的效果。其實這可以用一個很簡單的查表法來取得所需的數值，例如：
UnitA UnitB UnitC
TerrainA 100 200 300
TerrainB 50 700 12
TerrainC 777 666 999
除了數字以外，也可以把所有要的資料打包起來放到這個 table 中。
不過這樣做的話，就必須維持各種不同的 id, 而且最重要的是，
如果所需的不只是資料不同，而是整個結果都完全不同呢？
例如當 UnitA 碰上 TerrainA 時，其實是要踩到地雷的，那不單單只是資料問題
我們希望的應該是，寫下 unit.walk_to(dist); 時，除了 unit 是已知型別外，
dist 也應該要是已知型別，walk_to 才會知道到底該怎麼做。
在不支援 multi-method/dispatch 的程式語言中，一般我們可能會這樣寫：
C++:
void UnitA::walk_to(Terrain* dist){
if( TerrainA* terrain = dynamic_cast<TerrainA*>(dist) ){
// do something with UnitA v.s. TerrainA
}
else if( TerrainB* terrain = dynamic_cast<TerrainB*>(dist) ){
// do something with UnitA v.s. TerrainB
}
else{
// do something with UnitA v.s.
// terrain which you don't care who it is
}
}
Java:
void walk_to(Terrain dist){
if( dist instance_of TerrainA ){
TerrainA terrain = (TerrainA)dist;
// do something with UnitA v.s. TerrainA
}
else if( dist instance_of TerrainB ){
TerrainB terrain = (TerrainB)dist;
// do something with UnitA v.s. TerrainB
}
else{
// do something with UnitA v.s.
// terrain which you don't care who it is
}
}
也就是，一個個去檢查他們到底是什麼型別。當然，這絕對是個很暴力的做法，
就像我們極力去避免的 switch case 一樣，最大的缺點就是 error-prone.
我看過好幾個 C++ 的解決方法，Loki 的做法大概有兩個，一個就是像上面的
暴力法，不過是自動化的，所以可以確保不會 error-prone. 缺點就是你很容易
碰到很可怕的編譯問題，這邊不繼續討論。
另一個做法就是建立一個 map（Hash），用 type_info 做索引，對應到一個註冊
好的 method. 用起來大概像這樣：
dispatcher(unit, dist);
於是 dispatcher 用 typeid 取得 unit 和 dist 的 type_info,
再由這兩個 type_info 組成的 key 去尋找當初註冊好的 method.
本文的重點就是這個方法，請看到這個：
http://rubyforge.org/projects/multi/
這是 Ruby 的 multi-method/dispatch 的 lib, 他的實作法就跟這個做法類似
不過在講這個重點前，再來看看另外一個實作法，我覺得相當有趣。
簡單地說，當我們說：「unit.walk_to(dist)」時，是否可以獲得 unit 的真實
型別？那麼，何不故技重施，以便獲得第二個真實型別？
避免寫太長不好閱讀，待續…
--
『風車』が廻り続ける度に 『美しき』幻想が静かに紡がれ
『焔』の揺らめきの外に 『腕』を伸ばす愚かな者達 －《Roman》5th Story
『宝石』をより多く掴もうと 『朝と夜』の狭間を彷徨い続ける Track 10
『星屑』の砂の煌めきにも 『葡萄酒』の仄甘い陶酔を魅せ 黄昏の賢者
『賢者』が忌避する檻の中から 『伝言』の真意を彼等に問うだろう
『天使』が别れを告げし時 『地平線』は第五の物語を識る
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.217.103.191
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
Ruby 近期熱門文章
PTT數位生活區 即時熱門文章
