scala学习笔记(5)

偏应用函数

举个例子

def sum(a: Int, b: Int, c: Int) = a + b + c
val a = sum _
println(a(1,2,3))

实际发生的事情是这样的:名为a的变量指向一个函数值对象。这个函数值是由Scala编译器依照 偏应用函数表达式sum _,自动产生的类的一个实例。编译器产生的类有一个apply方法带三个参 数。4之所以带三个参数是因为sum _表达式缺少的参数数量为三。Scala编译器把表达式a(1,2,3) 翻译成对函数值的apply方法的调用,传入三个参数 1,2,3。因此 a(1,2,3)是下列代码的短格式:

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

Scala编译器根据表达式sum _自动产生的类里的apply方法,简单地把这三个缺失的参数前转 到 sum,并返回结果。本例中 apply 调用了 sum(1,2,3),并返回 sum 返回的,6。

这种一个下划线代表全部参数列表的表达式的另一种用途,就是把它当作转换 def 为函数值的方 式。例如,如果你有一个本地函数,如 sum(a: Int, b: Int, c: Int): Int,你可以把它“包 装”在 apply 方法具有同样的参数列表和结果类型的函数值中。当你把这个函数值应用到某些参 数上时,它依次把 sum 应用到同样的参数,并返回结果。尽管不能把方法或嵌套函数赋值给变量, 或当作参数传递给其它方法,但是如果你把方法或嵌套函数通过在名称后面加一个下划线的方式 包装在函数值中,就可以做到了。

这样当someNumbers为一个List，则可以这么写。println _在这里就是偏应用函数，foreach每次把参数传给它

someNumbers.foreach(println _)

现在,尽管 sum _确实是一个偏应用函数,或许对你来说为什么这么称呼并不是很明显。这个名 字源自于函数未被应用于它所有的参数。在 sum _的例子里,它没有应用于任何参数。不过还可 以通过提供某些但不是全部需要的参数表达一个偏应用函数。举例如下:

　　

val b = sum(1, _: Int, 3)
println(b(2))

　　

这个例子里,你提供了第一个和最后一个参数给 sum,但中间参数缺失。因为仅有一个参数缺失, Scala 编译器会产生一个新的函数类,其 apply 方法带一个参数。在使用一个参数调用的时候, 这个产生的函数的 apply 方法调用 sum,传入 1,传递给函数的参数,还有 3。如下:

scala> b(2)
res15: Int = 6