采用函数参数的重载泛型方法中的“缺少参数类型”

Question

我的 DSL 中存在重载泛型方法的问题，导致编译器希望我添加显式参数类型：

def alpha[T](fun: Int => T): String = fun(33).toString

def beta [T](fun: Int => T): String = fun(66).toString
def beta [T](thunk:   => T): String = thunk.toString

alpha { _ + 11 }          // ok
beta { _ + 22 }           // "error: missing parameter type for expanded function"
beta { _: Int => _ + 22 } // ok... ouch.

我有没有机会摆脱最后一行的混乱？

编辑：

为了证明重载对 scalac 本身来说不是一个模棱两可的问题，这里是一个没有类型参数的版本，它工作得非常好：

def beta(fun: Int => String): String = fun(66).reverse
def beta(thunk:   => String): String = thunk.reverse

beta(_.toString)  // ok
beta("gaga")      // ok

Answer 1

问题是Int => T 也是一个类型。例如，假设您只定义了第二个beta：

def beta[ T ]( thunk: => T ) : String = thunk.toString

现在你将一个函数 Int => Int 传递给它：

scala> beta((_: Int) + 1)
res0: String = <function1>

所以，假设一个函数适合=> T，并且你也有一个Int => T，Scala 应该如何知道你想要哪个？可以是String，例如：

scala> beta((_: String) + 11)
res1: String = <function1>

Scala 怎么会认为它是Int？您展示的用于演示重载的示例不应归咎于任何此类事情，因为您摆脱了其中的类型参数。

Answer 2

您可能已经意识到，问题的出现是因为您的 beta 功能超载。 当你定义：

beta { _ + 22 }

您希望它调用哪个测试版？ Scala 无法知道 _ 是 Int 只是因为您将其与 22 相加。因此对于这个特定示例，您必须定义 _ 是什么。