小编Ges*_*sar的帖子

我有一个typeclass Search，Search[A]如果我们有个TypeClass1[A]或一个TypeClass2[A]实例，则有一个实例。优先考虑1实例。

编译如下：

trait TypeClass1[A]
trait TypeClass2[A]
trait Search[A]

object Search extends LPSearch {
  implicit def case1[A](implicit ev: TypeClass1[A]): Search[A] = null
}

trait LPSearch {
  implicit def case2[A](implicit ev: TypeClass2[A]): Search[A] = null
}

object Test {
  implicit val ev1: TypeClass1[Int] = null
  implicit val ev2: TypeClass2[Int] = null
  implicitly[Search[Int]]
}

就像我期望的那样，隐式搜索finds case1，finds ev1并停止搜索。

但是，如果我们更改TypeClass2为具有更多结构，则隐式搜索将停止工作：

trait TypeClass1[A]
trait TypeClass2[M[_], A]
trait Search[A]

object Search extends LPSearch …