多态类排序的发散隐式扩展

【问题标题】：diverging implicit expansion on ordering of polymorphic class多态类排序的发散隐式扩展
【发布时间】：2018-11-24 21:51:12
【问题描述】：

为什么我在以下代码中收到 diverging implicit expansion 编译器异常？

trait Person extends Ordered [Person] {
    def age: Int
    def compare (that: Person) = this.age.compare(that.age)
}

class Dinner[A <: Person](val people: Seq[A]) {
    def who = people.sorted
}


<console>:16: error: diverging implicit expansion for type scala.math.Ordering[A]
starting with method $conforms in object Predef
           def who = people.sorted
                            ^

好的，我可以使用people.sorted[Person]，但我为什么要使用，A 是它的子类。

【问题讨论】：

标签： scala implicit

【解决方案1】：

您指定了如何比较 Persons，但您没有为 A <: Person 和在 people.sorted 中的编译器必须知道如何做到这一点。

试试

trait Person extends Ordered [Person] { 
  def age: Int
  def compare(that: Person): Int = implicitly[Ordering[Person]].compare(this, that)
}

implicit def personOrdering[A <: Person]: Ordering[A] = (x, y) => x.age.compare(y.age)

class Dinner[A <: Person](val people: Seq[A]) {
  def who: Seq[A] = people.sorted
}

case class PersonImpl(age: Int) extends Person
val dinner = new Dinner[PersonImpl](Seq(PersonImpl(30), PersonImpl(20)))
dinner.who // List(PersonImpl(20), PersonImpl(30))

【讨论】：