Scala功能文字与含义

原谅我，如果这已经在其他地方被问到。我有一个涉及函数值和隐式参数的Scala语法问题。

我很乐意使用Scala的curling功能。例如，如果我有一个和函数，并希望使第二个参数是隐式的：

scala> def sum(a: Int)(implicit b: Int) = a + b
sum: (a: Int)(implicit b: Int)Int

有没有办法使用函数值语法？忽略了一段时间，我通常写这样的curried函数值：

scala> val sum2 = (a: Int) => (b: Int) => a + b
sum: (Int) => (Int) => Int = <function1>

然而，第二种方法中的函数签名是非常不同的(curry被明确表达)。只要将隐含关键字添加到b就没有多大意义，编译器也抱怨：

scala> val sum2 = (a: Int) => (implicit b: Int) => a + b
<console>:1: error: '=>' expected but ')' found.
       val sum2 = (a: Int) => (implicit b: Int) => a + b
                                              ^

此外，从获取功能值的第一种方法中部分应用总和也会导致问题：

scala> val sumFunction = sum _
<console>:14: error: Could not find implicit value for parameter b: Int
       val sumFunction = sum _
                         ^

这使我相信具有隐式参数的函数必须在创建函数值时确定参数，而不是稍后应用函数值。真的是这样吗？你可以使用带有函数值的隐式参数吗？

谢谢您的帮助！

解决方法

scala>  val sum2 = (a: Int) => {implicit b: Int => a + b}
sum2: (Int) => (Int) => Int = <function1>

这将使b成为函数体的范围的隐式值，因此您可以调用期望隐式Int的方法。

我不认为你可以有函数的隐含参数，因为它不清楚这个函数是什么。是Int => Int或()=>诠释？

我找到的最接近的是：

scala> case class Foo(implicit b: Int) extends (Int => Int) {def apply(a: Int) = a + b}
defined class Foo

scala> implicit val b = 3
b: Int = 3

scala> Foo()
res22: Foo = <function1>

scala> res22(2)
res23: Int = 5