请原谅我是否已经在其他地方问过这个问题。我有一个涉及函数值和隐式参数的 Scala 语法问题。
我很乐意使用 Scala 的柯里化功能的隐式。例如,如果我有一个 sum 函数并希望将第二个参数设为隐式:
scala> def sum(a: Int)(implicit b: Int) = a + b
sum: (a: Int)(implicit b: Int)Int
有没有办法使用函数值语法来做到这一点?暂时忽略隐式,我通常这样编写柯里化函数值:
scala> val sum2 = (a: Int) => (b: Int) => a + b
sum: (Int) => (Int) => Int = <function1>
但是,第二种方法中的函数签名有很大不同(明确表达了柯里化)。只是将隐式关键字添加到 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
^
此外,从第一种方法中部分应用 sum 来获得函数值也会导致问题:
scala> val sumFunction = sum _
<console>:14: error: could not find implicit value for parameter b: Int
val sumFunction = sum _
^
这使我相信具有隐式参数的函数必须在创建函数值时确定所述参数,而不是在稍后应用函数值时确定。真的是这样吗?你可以使用带有函数值的隐式参数吗?
谢谢您的帮助!