Scala 基础（8）—— 占位符_和部分应用函数

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。

 

部分应用函数的作用在于：

虽然不能将方法或嵌套的函数直接赋给某个变量，或者作为某个函数的入参，但是可以通过部分应用函数的方式，将其转成一个函数值来完成这些操作。

最后需要说明的是，只有明确需要函数的地方，才能使用部分应用函数。