scala - 如何将两个函数参数设为隐式

Question

假设我们有将函数作为 apply 参数的对象方法:

object Wrapper {
  def apply(block: TypeA => String) = {
    TypeA a = ...
    block(a)
  }
}

TypeA是应用程序的域类型。

现在，当我定义内联 block 时，我可以定义 TypeA参数为隐式:

Wrapper { implicit a => functionThatUseImplicitA() } 

但是如果 block参数不是 Function1 , 但是 Function2 ?如何将两个参数都定义为隐式？

object Wrapper2 {
  def apply(block: (TypeA, TypeB) => String) = {
    TypeA a = ...
    TypeB b = ...
    block(a, b)
  }
}

这个不起作用:

Wrapper { implicit (a, b) => functionThatUseImplicitAB() } 

唯一的解决方法是将它们定义为 val:

Wrapper { (a, b) => 
  implicit val ia = a
  implicit val ib = b
  functionThatUseImplicitAB()
} 

谢谢!

Answer 1

根据SLS 6.23
匿名函数 implicit关键字仅允许用于单参数函数:

Expr ::= (Bindings | [‘ implicit ’] id | ‘_’) ‘=>’ Expr
ResultExpr ::= (Bindings | ([‘ implicit ’] id | ‘_’) ‘:’ CompoundType) ‘=>’ Block

因此，您不能将两个函数参数设为隐式。

这是使用柯里化(Currying)函数的原因之一:

object Wrapper {
  def apply(block: TypeA => TypeB => String) = ???
}

Wrapper { implicit a => implicit b =>
  functionThatUseImplicitAB()
}