Scala學(xué)習(xí)：Curry化的函數(shù)
在第1章，我們說過Scala允許你創(chuàng)建新的“感覺像是原生語言支持”的控制抽象。盡管到目前你已經(jīng)看到的例子都的確是控制抽象，不過任何人都不會誤以為它們是原生語言支持的。為了搞明白如何讓控制抽象感覺更像語言的擴(kuò)展，你首先需要明白稱為curry化的函數(shù)式編程技巧。
51CTO編輯推薦：Scala編程語言專題
curry化的函數(shù)被應(yīng)用了多個參數(shù)列表，而不是僅僅一個。代碼9.2展示了一個規(guī)整的，未被curry化的函數(shù)，它實現(xiàn)兩個Int型參數(shù)，x和y的加法。
- scala> def plainOldSum(x: Int, y: Int) = x + y
- plainOldSum: (Int,Int)Int
- scala> plainOldSum(1, 2)
- res4: Int = 3
代碼 9.2 定義和調(diào)用“陳舊的”函數(shù)
相對的，代碼9.3展示了curry化后的同一個函數(shù)。代之以一個列表的兩個Int參數(shù)，你把這個函數(shù)應(yīng)用于兩個列表的各一個參數(shù)。
- scala> def curriedSum(x: Int)(y: Int) = x + y
- curriedSum: (Int)(Int)Int
- scala> curriedSum(1)(2)
- res5: Int = 3
代碼 9.3 定義和調(diào)用curry化的函數(shù)
這里發(fā)生的事情是當(dāng)你調(diào)用curriedSum，你實際上背靠背地調(diào)用了兩個傳統(tǒng)函數(shù)。第一個函數(shù)調(diào)用帶單個的名為x的Int參數(shù)，并返回第二個函數(shù)的函數(shù)值。第二個函數(shù)帶Int參數(shù)y。下面的名為first的函數(shù)實質(zhì)上執(zhí)行了curriedSum的第一個傳統(tǒng)函數(shù)調(diào)用會做的事情：
- scala> def first(x: Int) = (y: Int) => x + y
- first: (Int)(Int) => Int
在第一個函數(shù)上應(yīng)用1——換句話說，調(diào)用第一個函數(shù)并傳入1——會產(chǎn)生第二個函數(shù)：
- scala> val second = first(1)
- second: (Int) => Int = < function>
在第二個函數(shù)上應(yīng)用2產(chǎn)生結(jié)果：
- scala> second(2)
- res6: Int = 3
first和second函數(shù)只是curry化過程的一個演示。他們并不直接連接在curriedSum函數(shù)上。盡管如此，仍然有一個方式獲得實際指向curriedSum的“第二個”函數(shù)的參考。你可以用偏應(yīng)用函數(shù)表達(dá)式方式，把占位符標(biāo)注用在curriedSum里，如：
- scala> val onePlus = curriedSum(1)_
- onePlus: (Int) => Int = < function>
curriedSum(1)_里的下劃線是第二個參數(shù)列表的占位符。前一章里，當(dāng)占位符標(biāo)注用在傳統(tǒng)方法上時，如println _，你必須在名稱和下劃線之間留一個空格。在這個例子里不需要，因為println_是Scala里合法的標(biāo)識符，curriedSum(1)_不是。結(jié)果就是指向一個函數(shù)的參考，這個函數(shù)在被調(diào)用的時候，對它唯一的Int參數(shù)加一并返回結(jié)果：
- scala> onePlus(2)
- res7: Int = 3
然后以下是你如何獲得對唯一的Int參數(shù)加二函數(shù)的方式：
- scala> val twoPlus = curriedSum(2)_
- twoPlus: (Int) => Int = < function>
- scala> twoPlus(2)
- res8: Int = 4
