Scala 基础（7）—— 函数字面量和一等函数

1. 函数字面量

在 Scala 基础（3）—— 基础类型和基础操作 中提到了函数字面量，这里具体解释函数字面量的语法。

下面展示一个具体的函数字面量，它由三部分组成：

(x: Int, y: Int) => x + y

• 圆括号内部的参数列表
• 右箭头
• 函数体

 

2. 一等函数

一等函数可以说是 Scala 中非常重要的特性。

所谓一等函数，就是使用函数字面量，将其作为值进行传递。

函数字面量会被编译成类，并且在运行时实例化成函数值，做一个简单的类比：

• 函数字面量 -> 类
• 函数值 -> 对象

 

一等函数在 Scala 的代码中被广泛的应用，例如集成在集合类中的 foreach 和 filter 方法。

 

foreach 被用来遍历集合，相比于 for 表达式，这是一种更加偏向于函数式表达的语法：

  def main(args: Array[String]): Unit = {
    val list = List(1, 2, 3)
    list.foreach((x: Int) => println(x))
  }

foreach 方法的入参就是一个函数字面量，其类型是 Int => Unit

 

filter 被用来筛选出集合中满足指定条件的元素：

  def main(args: Array[String]): Unit = {
    val list = List(1, 2, 3)
    list.filter((x: Int) => x > 0)
  }

filter 方法的参数类型是 Int => Boolean

 

3. 简写函数字面量

在上述 filter 的例子中，函数字面量的写法其实可以进一步优化。

list.filter((x: Int) => x > 0)

 

首先，编译器知道 x 必定是整数，因为这是一个过滤一个由整数组成的列表。我们称 Int 为目标类型（target typing）。

因此，可以依靠类型推断来略去参数类型的声明：

list.filter((x) => x > 0)

 

其次，这个类型推断参数两侧的括号也可以省去：

list.filter(x => x > 0)