Scala传名参数和传值参数(by-name/by-value parameter)

1 介绍

传值参数在函数调用之前表达式会被求值，例如Int，Long等数值参数类型；传名参数在函数调用前表达式不会被求值，而是会被包裹成一个匿名函数作为函数参数传递下去，例如参数类型为无参函数的参数就是传名参数。

2 简单类型的传递示例

2.1 传值参数（by-value parameter）

在下面的示例中，编译器检测到strToInt接受一个传值参数，所以先对传入的参数表达式 {println("eval parameter expression"); "123"} 计算，然后再将求值结果传递给strToInt

object Test {
  def strToInt(s: String) = {
    println("call strToInt")
    s.toInt
  }

  def main(args: Array[String]) {
    strToInt({println("eval parameter expression"); "123"})
  }
}
//输出:
eval parameter expression
call strToInt

2.2 传名参数（by-name parameters）

在 strToInt 函数声明中添加一个 =>，参数 s 的类型就变成了无参函数，类型为 :() => String，按照Scala针对无参函数的简化规则，此处省略了（）。因为参数 s 的类型是无参函数，所以此处是按名传递。

object Test {
  def strToInt(s: => String) = {
    println("call strToInt")
    s.toInt
  }

  def main(args: Array[String]) {
    strToInt({println("eval parameter expression"); "123"})
  }
}
//输出:
call strToInt
eval parameter expression

从上面的输出可以看出，参数表达式在 strToInt 函数调用之后才被求值。其实此处编译器自动将参数表达式 {println("eval parameter expression"); "123"} 转换成匿名的无参函数，并传递给 s 。

3 小结

如果参数类型是无参函数，则按名传递，否则按值传递。注意，如果参数类型是函数类型，但不是无参函数，还是按值传递，例如：

def strToInt(s: (String) => Int) = {
  println("call strToInt")
  print(s("123") + 3)
}
def main(args: Array[String]) {
  strToInt({println("eval parameter expression"); (p: String) => p.toInt})
}
//输出：
eval parameter expression
call strToInt
126