在JVM-Scala中，排序如何提供带有类型擦除的隐式排序[T]

Question

case class A(i: Int) extends Ordered[A] {
  def compare(that: A): Int = this.i compare that.i 
} 

Seq[A](A(2),A(1)).sorted // Seq(A(1),A(2)) Ordering will provide Ordering[A]
Seq[A](A(2),A(1)).sorted(Ordering[A]) // Seq(A(1),A(2))

排序伴随对象为可迭代[A]提供隐式排序[T]

我的问题是:排序对象如何将排序[T]提供给排序。

因为[T]将被JVM删除，并且不可能知道

Answer 1

怎么能起作用？

含义是编译时特性。也就是说，当您编译代码时，编译器强制执行需要签出的规则。在这种特殊情况下，ordering[Int]类型的隐式需要在作用域中可用，否则将出现编译错误。

这意味着，在运行时，即使类型被删除，您也可以保证有排序[Int]可用，即使它看起来像排序(OBJ:Object)，但您已经保证它能够排序底层的Int对象，否则这些对象将不允许您的代码编译。