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