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