1. 占位符 _
针对 Scala 基础(7)—— 函数字面量和一等函数 中最后提到的,关于 filter 函数字面量的精简写法,可以使用占位符 _ 来代替。
占位符_,用来表示一个或者多个参数。(这里的多个参数不是表示一个下划线代表多个参数,而是多个下划线可以代表多个参数)
在函数字面量的表达中,可以将下划线看成是“要填的空”,函数每次被调用时,这个“空”就回被一个参数“填”上。
例如:
def main(args: Array[String]): Unit = {
val list = List(1, 2, 3)
list.filter(x => x > 0)
list.filter(_ > 0) // 与上面的调用是等价的
}
这种调用仅限于 Scala 编译器能够在编译期间推断出参数的类型。
当编译器无法再编译期间推断参数类型,则必须显式地给出参数类型。
例如:
def main(args: Array[String]): Unit = {
// val sum = _ + _ // 编译失败
val sum = (_: Int) + (_: Double)
println(sum(1,2)) // 输出3.0
}
2. 部分应用函数
在使用下划线时,本质上是在编写一个部分应用函数(partially applied function)。
这里的意义在于:
当调用某个函数,传入任何参数时,实际上是应用那个函数到这些参数上。
当然这种描述过于抽象,所以我们看下面的例子:
首先,定义一个方法 sum():
def sum(a: Int, b: Int, c: Int) = a + b + c
显然,这是一个计算三个整数和的方法。一般的调用方式如下:
val value = sum(1, 2, 3)
以上是一个简单的方法的调用,部分应用函数的功能,就是将 def 定义的方法,映射成函数值的形式。
例如:
val f = sum _ // f 是一个 (Int, Int, Int) => Int 类型的函数字面量
以上,将方法映射成了一个 (Int, Int, Int) => Int 类型的函数字面量。
它的调用方式与方法类似,但是本质发生了改变:
val value = f(1, 2, 3)
之所以称为部分应用函数,是因为你并没有把那个函数应用到所有的入参。
还是拿上面的例子做说明,可以通过给出一些必填的参数来表达一个部分应用函数:
val f = sum(1, _: Int, 2) // f 是一个 Int => Int 类型的函数字面量
在这个例子中,部分应用函数给出了第一个和第三个参数,由于只缺失一个参数,编译器将生成一个新的函数字面量,类型是 Int => Int。
部分应用函数的作用在于:
虽然不能将方法或嵌套的函数直接赋给某个变量,或者作为某个函数的入参,但是可以通过部分应用函数的方式,将其转成一个函数值来完成这些操作。
最后需要说明的是,只有明确需要函数的地方,才能使用部分应用函数。