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)