关于scala中隐含示例的困惑

implicit def list2ordered[A](x: List[A])(implicit elem2ordered: A => Ordered[A]): Ordered[List[A]] =
new Ordered[List[A]] {
//replace with a more useful implementation
def compare(that: List[A]): Int = 1
}
println(List(1,2,3) <= List(4,5))

List(1,2,3) <= List(4,5)

减温至

list2ordered(List(1, 2, 3))(Predef.intWrapper) <= List(4, 5)

list2ordered的签名

implicit def list2ordered[A](x: List[A])(implicit elem2ordered: A => Ordered[A]): Ordered[List[A]]

意味着它是一个条件隐式转换，也就是说，如果有隐式转换A => Ordered[A]，就有一个隐式转换List[A] => Ordered[List[A]]。

Predef.intWrapper正是这样一个隐式转换，因为它是Int => RichInt，而RichInt扩展了Ordered[Int](RichInt <: ScalaNumberProxy[Int] <: OrderedProxy[Int] <: Ordered[Int](。

您总是可以看到使用reify是如何解决隐词的

import scala.reflect.runtime.universe._
println(reify{List(1,2,3) <= List(4,5)}.tree)
//App.this.list2ordered(List.apply(1, 2, 3))(((x) => Predef.intWrapper(x))).$less$eq(List.apply(4, 5))