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

Posted jing-an-feng-shao

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Scala 基础—— 占位符_和部分应用函数相关的知识,希望对你有一定的参考价值。

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。

 

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

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

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

 

以上是关于Scala 基础—— 占位符_和部分应用函数的主要内容,如果未能解决你的问题,请参考以下文章

C#/.NET6期01C#基础_04占位符变量和常量单行注释多行注释

C#/.NET6期01C#基础_04占位符变量和常量单行注释多行注释

Scala 占位符在REPL和Eclipse/IDEA中初始化变量问题

scala语法

Scala入门系列

Scala基础:类和对象访问修饰符和构造器