zoukankan      html  css  js  c++  java
  • 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。

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

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

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

  • 相关阅读:
    软件的一般实现过程
    前端开发所需技能及理解
    前端开发所需技能
    JavaScriptlet和const的使用
    [NOI2013] 向量内积
    [省选联考 2021 A/B 卷] 滚榜
    [提高组集训2021] 模拟赛2
    [省选联考 2021 A 卷] 矩阵游戏
    [省选联考 2021 A/B 卷] 图函数
    [APIO2020] 交换城市
  • 原文地址:https://www.cnblogs.com/jing-an-feng-shao/p/10301551.html
Copyright © 2011-2022 走看看