为什么当 B 扩展 A 时类型为 A 和 B 的范围内隐式值没有歧义？

Question

为什么 Test2 中的代码即使我们显然有不明确的隐含值也能编译？


object Method {
  def foo(implicit i: A): Unit = println(i.i)
}

trait A {
  val i: Int
}
class B(override val i: Int) extends A

object Test1 {
  implicit val i1: A = new A {
    val i: Int = 20
  }
}

object Test2 {
  implicit val i2: B = new B(10)
  import Test1._
  // This compiles fine and prints 10
  Method.foo
}

object Test3 {
  implicit val i2: A = new B(10)
  import Test1._
  // This does not compile, get `ambiguous implicit values`
  Method.foo
}

Answer 1

在Test2中没有歧义。 i2 比 i1 具有更具体的类型，因此 i2 比 i1.

具有更高的优先级

在Test3中i1和i2有相同的类型A，所以这是歧义。

为什么当 B 扩展 A 时类型为 A 和 B 的范围内隐式值没有歧义？

Why in-scope implicit values typed A and B are not ambiguous when B extends A?

scala

implicit

ambiguous