scala - VarArgs A* vs Seq[A] 参数起作用

Question

我正在使用 Scala 2.11 。如果我创建一个函数，如:

def func1 (a: Int* ) : Int = a.reduce(_+_)

我称之为使用

func1(1,2,3,4)
// 10
func1(Seq(1,2,3,4) : _*)
//10

这很好。

但是当我尝试定义一个函数文字时:

val func2:(Int*) => Int = _.reduce(_+_)

我收到一条错误消息:

<console>:5: error: type mismatch;
 found   : Int* => Int
 required: Seq[Int] => Int
  lazy val $result = INSTANCE.`func2`

为什么它想要一个 Seq[Int]在第二种情况下但不是在第一种情况下，尽管定义相同？

在第一种情况下如何传递 varargs 以便 reduce 能够通过它们调用？

Answer 1

Scala 区分了方法和函数。您的 func1是一个参数为repeated的方法，这在引擎盖下被脱糖成一个简单的 Seq .另一方面，您的 func2是一个函数，在该上下文中不允许重复参数。

如果编译器需要一个函数，但得到了一个方法，它会执行 eta 扩展。例如，方法 def(s: String) = s变成函数(s: String) => s .我这样说是为了说明方法和函数之间的区别非常清楚且非常重要。

请注意，我提供的链接说的是“函数声明和定义”，这是一种笨拙的命名，因为它实际上是在谈论方法，而不是函数。函数就像任何其他值一样是一个值，它可以是例如保存在一个集合中或从另一个函数返回。方法不行。

最后一个评论，我完成了:不要犯一个常见的错误并认为“def 是方法，val 是函数”。也可以使用 def 定义函数而不是 val ，在这种情况下它仍然是一个函数值，但它是在使用点而不是声明点计算的。区分方法和函数的最好方法是检查参数:def foo(someParameter: X): Y是一种方法。函数不能有“(someParameter: X)”部分。相反，函数只是一个值，它的 类型 是 X => Y:

// method
def foo(x: X): Y = // some code that returns Y

// function
def foo: X => Y = (x: X) => // some code that returns Y

我特意用了 def for 函数也是为了说明这一点(防止读者犯 val-def 错误)，但更常见的是使用 val 定义函数.