Scala：隐式参数解析优先级

假设我们只涉及本地范围的隐式参数查找：

trait CanFoo[A] {
  def foos(x: A): String
}
object Def {
  implicit object ImportIntFoo extends CanFoo[Int] {
    def foos(x: Int) = "ImportIntFoo:" + x.toString
  }
}
object Main {
  def test(): String = {
    implicit object LocalIntFoo extends CanFoo[Int] {
      def foos(x: Int) = "LocalIntFoo:" + x.toString
    }
    import Def._
    foo(1)
  }
  def foo[A:CanFoo](x: A): String = implicitly[CanFoo[A]].foos(x)
}

在上面的代码中，LocalIntFoo 赢过 ImportedIntFoo。

能否有人解释一下为什么使用“静态重载解析规则（§6.26.3）”认为它更具体？

编辑：

名称绑定优先级是一个有力的论据，但还有几个未解决的问题。

首先，Scala语言参考说：

如果有几个符合隐式参数类型的合适参数，则将使用静态重载解析规则（§6.26.3）选择最具体的一个。

其次，名称绑定优先级是关于解决已知标识符 x 到特定成员 pkg.A.B.x 的问题，如果作用域中有几个命名为 x 的变量/方法/对象，则将其解析为特定成员 pkg.A.B.x 。ImportIntFoo 和 LocalIntFoo 的名称不相同。

第三，我可以展示名称绑定优先级单独不起作用，如下所示：

trait CanFoo[A] {
  def foos(x: A): String
}
object Def {
  implicit object ImportIntFoo extends CanFoo[Int] {
    def foos(x: Int) = "ImportIntFoo:" + x.toString
  }
}
object Main {
  def test(): String = {
    implicit object LocalAnyFoo extends CanFoo[Any] {
      def foos(x: Any) = "LocalAnyFoo:" + x.toString
    }
    // implicit object LocalIntFoo extends CanFoo[Int] {
    //   def foos(x: Int) = "LocalIntFoo:" + x.toString
    // }
    import Def._
    foo(1)
  }
  def foo[A:CanFoo](x: A): String = implicitly[CanFoo[A]].foos(x)
}
println(Main.test)

将其放在 test.scala 中并运行 scala test.scala，它将打印出 ImportIntFoo:1。

这是因为静态重载解析规则（§6.26.3）表示最具体的类型胜利。

如果我们假装所有合格的隐式值都命名相同，则 LocalAnyFoo 应掩盖 ImportIntFoo。

相关：

• Scala在哪里查找隐式？

这是一个关于隐式参数解析的很好的总结，但它引用了Josh的nescala演示而不是规范。他的讲话是促使我调查这个问题的动力。

编译器实现

• rankImplicits