scala - Thunk 与函数重载

Question

我想定义一个重载方法，一个接受 function0，一个接受 function1，即:

def produces(f: Context => Any): Processor = ...

def produces(thunk: => Any): Processor = ...

这编译得很好，因为第一个被编译为使用 Function1，第二个被编译为使用 Function0，但是当我想调用时问题出现了，因此:

produces {
 ctx => "hello"
}

给我一​​个

missing parameter type

接受输入的参数只有一个，为什么不能推断。

关于我可以做些什么来解决这个问题的任何提示(除了重命名其中一种方法:))

Answer 1

这看起来有点傻，但您可以(笨拙地)通过要求隐式转换为 I-can-take-anything-anything-by-name 版本来帮助编译器的搜索策略:

object Test {
  implicit def low_priority_conversion(t: Test.type) = LowPriority
  object LowPriority {
    def produces(x: => Any) : Boolean = false
  }
  def produces(f: String => Any): Boolean = true
}

无论您是否import Test._，您都会发现您有正确的行为:

scala> Test.produces("fish")
res0: Boolean = false

scala> Test.produces(_.length)
res1: Boolean = true

scala> import Test._
import Test._

scala> produces("fish")
res2: Boolean = false

scala> produces(_.length)
res3: Boolean = true