Scala的偏應用函數

儘管前面的例子裡底線替代的只是單個參數，你還可以使用一個底線替換整個參數列表。例如，寫成println(_)，或者更好的方法你還可以寫成println _。下面是一個例子：

someNumbers.foreach(println　_)

Scala把這種短格式直接看作是你輸入了下列代碼：

someNumbers.foreach(x　=>　println(x))　

因此，這個例子中的底線不是單個參數的預留位置。它是整個參數列表的預留位置。請記住要在函數名和底線之間留一個空格，因為不這樣做編譯器會認為你是在說明一個不同的符號，比方說是，似乎不存在的名為println_的方法。

以這種方式使用底線時，你就正在寫一個偏應用函數：partially applied function。Scala裡，當你調用函數，傳入任何需要的參數，你就是在把函數應用到參數上。如，給定下列函數：

scala>　def　sum(a:　Int,　b:　Int,　c:　Int)　=　a　+　b　+　c
sum:　(Int,Int,Int)Int　　

你就可以把函數sum應用到參數1，2和3上，如下：

scala>　sum(1,　2,　3)
res12:　Int　=　6　

偏應用函數是一種運算式，你不需要提供函數需要的所有參數。代之以僅提供部分，或不提供所需參數。比如，要建立不提供任何三個所需參數的調用sum的偏應用運算式，只要在“sum”之後放一個底線即可。然後可以把得到的函數存入變數。舉例如下：

scala>　val　a　=　sum　_　　
a:　(Int,　Int,　Int)　=>　Int　=　<　function>　　

有了這個代碼，Scala編譯器以偏應用函數運算式，sum _，執行個體化一個帶三個缺失整數參數的函數值，並把這個新的函數值的索引賦給變數a。當你把這個新函數值應用於三個參數之上時，它就轉回頭調用sum，並傳入這三個參數：

scala>　a(1,　2,　3)
res13:　Int　=　6

實際發生的事情是這樣的：名為a的變數指向一個函數值對象。這個函數值是由Scala編譯器依照偏應用函數運算式sum _，自動產生的類的一個執行個體。編譯器產生的類有一個apply方法帶三個參數。產生的類擴充了特質Function3，定義了三個參數的apply方法。之所以帶三個參數是因為sum _運算式缺少的參數數量為三。Scala編譯器把運算式a(1,2,3)翻譯成對函數值的apply方法的調用，傳入三個參數1，2，3。因此a(1,2,3)是下列代碼的短格式：

scala>　a.apply(1,　2,　3)
res14:　Int　=　6