Scala函数作为参数传递的理解

在Scala中，函数可以直接传递到参数列表中。比如：

object _04FunctionDeliverWithParameter {

  def main(args: Array[String]): Unit = {
    def add(a: Int, b: Int) = a + b

    // 函数的参数列表可以是一个函数。(Int, Int)表示函数的参数列表是两个Int型，=> Int表示返回值是Int型
    def f1(f: (Int, Int) => Int) = {
      f(2, 4)
    }

    // 将函数作为参数传递。add _表示函数整体当作参数
    println(f1(add _))
    // 如果可以推断出函数并非是调用，那么可以省略 _
    println(f1(add))
  }
}

在上面的例子中，函数f1的参数列表是f: (Int, Int) => Int，表示参数是一个函数类型，该函数有两个Int类型的参数，返回值是一个Int类型的值。而我们定义的add函数，恰好满足该条件。f1(add _)表示将add函数当作整体传递到f1函数中，即将add函数当作参数传递。如果可以推断出函数并非是调用，那么可以省略_。很明显，add函数在调用的时候必须传两个Int类型的参数，所以f1(add)可以推断出并不是要调用add函数，可以省略下划线。

此外，函数可以作为另一个函数的返回值。如：

// 函数可以作为函数返回值返回
def f2() = {
  def f3() = {
    println("aaa")
    1
  }
  // f3  // 相当于直接在f2函数中调用f3函数，此时f2的返回值类型是f3的返回值类型
  f3 _  // 相当于将f3函数整体当作返回值返回，此时f2的返回值类型是一个函数
}

// 此时ff是一个函数类型
val ff: () => Int = f2()
// 调用ff
println(ff())
// 也可以直接这样调用f2中的f3函数
println(f2()())

在上面的例子中，f2的返回值类型是f3的函数类型，即 () => int。