scala - scalaz.Equal 是如何解决的

Question

包中有Equal对象scalaz：

package scalaz

object Equal extends EqualLow {

  // ...

  implicit def Tuple3Equal[A: Equal, B: Equal, C: Equal]: Equal[(A, B, C)] = equal {
    case ((a1, b1, c1), (a2, b2, c2)) => a1 ≟ a2 && b1 ≟ b2 && c1 ≟ c2
  }

  //...
}

编译器怎么可能知道，implicit def Tuple3Equal当我调用时会调用该方法：

import scalaz._
import Scalaz._

implicitly[Equal[Tuple3[Int,Int,Int]]]
//or
(1,2,3).=== (1,2,3)

请注意，我只导入scalaz._包和Scalaz._对象，并且没有显式导入 scalaz.Equal._ 包含隐式。

Answer 1

因为在寻找 type 的隐含时，总是检查Foo伴随对象的。Foo有关隐式解析的完整描述，请参阅此答案。