2019獨角獸企業重金招聘Python工程師標準>>>

在第1章，我們說過Scala允許你創建新的“感覺像是原生語言支持”的控制抽象。盡管到目前你已經看到的例子都的確是控制抽象，不過任何人都不會 誤以為它們是原生語言支持的。為了搞明白如何讓控制抽象感覺更像語言的擴展，你首先需要明白稱為curry化的函數式編程技巧。

51CTO編輯推薦：Scala編程語言專題

curry化的函數被應用了多個參數列表，而不是僅僅一個。代碼9.2展示了一個規整的，未被curry化的函數，它實現兩個Int型參數，x和y的加法。

scala>?def?plainOldSum(x:?Int,?y:?Int)?=?x?+?y ? plainOldSum:?(Int,Int)Int ? scala>?plainOldSum(1,?2) ? res4:?Int?=?3?

代碼 9.2?定義和調用“陳舊的”函數

相對的，代碼9.3展示了curry化后的同一個函數。代之以一個列表的兩個Int參數，你把這個函數應用于兩個列表的各一個參數。

scala>?def?curriedSum(x:?Int)(y:?Int)?=?x?+?y ? curriedSum:?(Int)(Int)Int ? scala>?curriedSum(1)(2) ? res5:?Int?=?3?

代碼 9.3?定義和調用curry化的函數

這里發生的事情是當你調用curriedSum，你實際上背靠背地調用了兩個傳統函數。第一個函數調用帶單個的名為x的Int參數，并返回第二個函 數的函數值。第二個函數帶Int參數y。下面的名為first的函數實質上執行了curriedSum的第一個傳統函數調用會做的事情：

scala>?def?first(x:?Int)?=?(y:?Int)?=>?x?+?y ? first:?(Int)(Int)?=>?Int ?

在第一個函數上應用1——換句話說，調用第一個函數并傳入1——會產生第二個函數：

scala>?val?second?=?first(1) ? second:?(Int)?=>?Int?=?<?function> ?

在第二個函數上應用2產生結果：

scala>?second(2) ? res6:?Int?=?3?

first和second函數只是curry化過程的一個演示。他們并不直接連接在curriedSum函數上。盡管如此，仍然有一個方式獲得實際 指向curriedSum的“第二個”函數的參考。你可以用偏應用函數表達式方式，把占位符標注用在curriedSum里，如：

scala>?val?onePlus?=?curriedSum(1)_ ? onePlus:?(Int)?=>?Int?=?<?function> ?

curriedSum(1)_里的下劃線是第二個參數列表的占位符。前一章里，當占位符標注用在傳統方法上時，如println _，你必須在名稱和下劃線之間留一個空格。在這個例子里不需要，因為println_是Scala里合法的標識符，curriedSum(1)_不是。結果就是指向一個函數的參考，這個函數在被調用的時候，對它唯一的Int參數加一并返回結果：

scala>?onePlus(2) ? res7:?Int?=?3?

然后以下是你如何獲得對唯一的Int參數加二函數的方式：

scala>?val?twoPlus?=?curriedSum(2)_ ? twoPlus:?(Int)?=>?Int?=?<?function> ? scala>?twoPlus(2) ? res8:?Int?=?4

轉載于:https://my.oschina.net/u/1182234/blog/163922

總結

以上是生活随笔為你收集整理的Scala学习：Curry化的函数的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。