隐式参数和泛型类型

Question

我试图了解编译器在这种情况下的行为

object ImplicitTest extends App {

  def foo[T](implicit x: (String => T)): T = ???

  implicit val bar = (x: String) => x.toInt

  foo
}

上面的代码无法编译并给出以下错误：

不明确的隐含值：对象 Predef 中的两个方法 $conforms 在类型为 ⇒ String ⇒ 的对象 ImplicitTest 中键入 [A]⇒ <: bar int string t>

正如错误所说，我的隐式值与 Predef 中定义的另一个隐式冲突...基于此，似乎无法将隐式参数声明给将值从已知类型转换为未知类型的函数（通用） 类型。

这是由于编译器的一些技术限制，还是只是它应该工作的方式，并且我违反了一些我不知道的限制？

Answer 1

当您调用 foo 时，您没有向它提供类型参数（并且没有其他方法可以推断它，原因如下），因此编译器无法找到正确的和正确的隐含的。

您在范围内有隐式bar: String => Int，但您也在Predef 中有隐式，它们创建=:= 和<:< 的实例，它们都扩展A => B，并创建隐式String => As。编译器正在为foo 寻找some 隐式函数String => T，但不确定是哪一个，并且您有多个范围。 bar 不会优先，因为您尚未指定它要查找的特定 String => T。

这将起作用：

def foo[T](implicit x: (String => T)): T = ???

implicit val bar = (x: String) => x.toInt

foo[Int]