使用协变泛型实现有序特征

Question

有没有办法混合在协变泛型的有序性状中？

我有以下代码：

trait Foo[+T  <: Foo[T]] extends Ordered[T] {
def id: Int
override def compare(that : T) : Int = {
this.id compare that.id
}    
}

我需要T协变的地方，也想订购工作。上面的版本给出了"逆变位置误差中的协变类型"。

Answer 1

不能将Ordered与协变类型一起使用，因为它要求泛型类型处于逆变位置。 相反，您应该使用在伴随对象中定义的隐式Ordering

trait Foo[+T] {
def id: Int
}
object Foo {
implicit def fooOrdering[A <: Foo[_]]: Ordering[A] = {
new Ordering[A] {
override def compare(x: A, y: A): Int = x.id compare y.id
}
}
}

任何比较对象的合理函数都应该在它所比较的对象的 Sort 实例中采用，并且许多函数都是隐式的。 例如

case class F(id: Int) extends Foo[Int]
case class G(id: Int) extends Foo[Int]
List(F(1), F(2), F(5), F(3), G(12)).max // = G(12)

Answer 2

Ordered[A]

在A中是不变的。此特征的旧文档解释了原因：

完全有序数据的特征。请注意，从版本 2006-07-24 开始，此特征在 a 中不再协变。重要的是，Ordered[A] 实例的 equals 方法与比较方法一致。但是，由于类型纠删语义固有的限制，没有合理的方法可以为 Ordered[A] 的实例提供相等的默认实现。因此，如果您需要能够在 Ordered[A] 的实例上使用相等性，则必须在继承或实例化时自己提供相等性。重要的是，Ordered[A] 实例的哈希代码方法与比较方法一致。但是，不可能提供合理的默认实现。因此，如果您需要能够计算 Ordered[A] 实例的哈希，则必须在继承或实例化时自己提供它。

这意味着如果要使用Ordered[A]则必须明确地为Foo的子类型提供compare的实现。

解决方法可以使用隐式Ordering[A]

：

implicit def ord[A <: Foo[A]] = new math.Ordering[A] {
override def compare(a: A, b: A) = a.id compare b.id
}