考慮以下代碼：
1 def overloading x = "General overloading"
2 func overloading::string->string
3 def overloading str = "String overloading"
4 func overloading T::list T->string
5 def overloading xs = "List overloading"
這是三個函數，類型分別為：
1 func overloading T1 :: (<T1> -> (system.list system.char)) codefrom 125
2 func overloading :: ((system.list system.char) -> (system.list system.char)) codefrom 127
3 func overloading T1 :: ((system.list <T1>) -> (system.list system.char)) codefrom 129
所以當我們寫overloading的時候，究竟選擇什么呢？三個類型都是可以接受的，而且都是可以完美通過類型推導的。于是我新加了一個規則。首先求出需要的具體類型（可能是含有參數的類型），然后計算從函數類型到具體類型所需要替換的類型參數的個數以及每個類型參數的解，最后計算出一個系數=數量×65536+解的深度和。
深度的規定比較簡單，基本類型深度為1，閉包類型為參數和結果兩種類型的深度的最大值加1，帶有參數的類型等于最大參數深度加1。所以在這個例子上，我們可以得到，T1到list char的解為T1=list char，list char到list char的解為0，list T1到list char的解為T1=char，系數分別是65538、0和65537，所以理所當然地挑選了第二個。下面看例子：
1 def main114 = overloading 1024
2 def main115 = overloading "Genius Vczh!"
3 def main116 = overloading [1,2,3]
下面是運行結果：
1 main114返回值："General overloading"
2 main115返回值："String overloading"
3 main116返回值："List overloading"
posted on 2008-12-14 19:42
陳梓瀚(vczh) 閱讀(1480)
評論(0) 編輯 收藏 引用 所屬分類:
腳本技術