如何使匿名函数中的多个参数隐式？

如果我们有一个接受匿名函数的方法A => B作为参数，我们可以使A隐含在我们的调用中。

def impl(a: Int)(f: Int => Int): Int = f(a)

impl(a) { implicit z =>
    ...
}

但是我们可以使用具有多个参数的匿名函数来做到这一点吗？

def impl(a: Int, b: Int)(f: (Int, Int) => Int): Int = f(a, b)

理想情况下，这会像这样工作：

impl(1, 2) { implicit (a, b) => // wrong
    ...
}

Or

impl(1, 2) { (implicit a, implicit b) => // also wrong
    ...
}

我可以使用解决这个问题A => B => C， 反而：

def impl(a: Int, b: Int)(f: Int => Int => Int): Int = f(a)(b)

impl(1, 2) { implicit a => implicit b =>
    ...
}

但是有没有办法在不柯里化函数的情况下做到这一点呢？

这应该是显而易见的，但是Int这里只是一个虚拟占位符。

不，这是不可能的。来自部分6.23 匿名函数根据规范，匿名函数语法为：

Expr            ::=  (Bindings | ['implicit'] id | '_') '=>' Expr
ResultExpr      ::=  (Bindings | (['implicit'] id | '_') ':' CompoundType) '=>' Block
Bindings        ::=  '(' Binding {',' Binding} ')'
Binding         ::=  (id | '_') [':' Type]

如您所见，implicitcase 是特殊情况，只有 1 个标识符，而重复的 caseBindings（它使用重复语法{...} of EBNF) 排除使用implicit.

唯一添加的细节implicit本节中的内容是：

匿名函数的命名参数前面可以选择隐式修饰符。在这种情况下，参数被标记为隐式的；然而，参数部分本身并不算是定义意义上的隐式参数部分here。因此，匿名函数的参数始终必须显式给出。

我认为本文还应该澄清这仅适用于单个参数（例如“具有 1 个参数的匿名函数的命名参数......”）

当然，最简单的解决方法是避开语法糖并将匿名函数参数重新绑定到新的隐式变量：

impl(a) { (b, c) =>
    implicit val (impB, imbC) = (b, c)
    ...
}