Question

假设我有一个我需要部分应用的2个参数的函数，我需要将其定义为：

def f(a: Int)(b: Int) = { /* some code */ }

然后我可以将其部分应用为def fWithA = f(a) _

我的问题是：为了理解函数，为什么Scala要求使用多个参数列表声明参数？最好能够根据需要调整任何功能。

Answer 1

实际上，您可以部分应用您想要的任何方法。只需调用方法并省略params：

scala> def foo(a: Int, b: Int) = a*b
foo: (a: Int, b: Int)Int

scala> val x = foo(1,_: Int)
x: Int => Int = <function1>

scala> def bar(x: Int, y: Int, z: Int) = x*y+z
bar: (x: Int, y: Int, z: Int)Int

scala> bar(2,_:Int,6)
res0: Int => Int = <function1>

唯一的区别是，你必须告诉编译器缺少参数的类型，否则它无法在重载方法之间做出决定。

另一种方法，如果你有一个真正的函数，而不是一个方法就是在函数上调用curried：

scala> val f = {(x:Int, y:Int) => x*y}
f: (Int, Int) => Int = <function2>

scala> f.curried
res2: Int => (Int => Int) = <function1>

您还可以使用_：

从方法创建函数

scala> bar _
res6: (Int, Int, Int) => Int = <function3>

然后点击curried：

scala> (bar _).curried
res5: Int => (Int => (Int => Int)) = <function1>

Answer 2

“真实”讨论的几个原因需要Scala中的多个参数列表：

过载。与纯函数式语言不同，在Scala中，您可以重载方法。如果部分应用函数，编译器可能无法区分您的重载。规范将过载分辨率限制为第一个参数列表。
错误消息。 “没有足够的方法调用参数”是一个非常有用（且易于理解）的错误消息。如果允许任何方法进行curry，则错误消息将是“required：but”某些具有许多箭头的函数类型“type。
性能。在JVM上运行使调用方法非常有效，而函数（通过接口调用）则更慢。

为什么Scala中的currying需要多个参数列表？

2 个答案: