定义具有抽象类型的特征的排序，该排序仅针对兼容类型进行编译？

Question

假设以下特征：

trait A {
  type B       
}

是否有任何方法可以使其成为有序类型，其中只有具有相同 B 的 A 可以进行比较，并且这是在编译时强制执行的？

Answer 1

是的，通过隐式（使用类型别名使事情变得更加干燥），

type AA[T] = A { type B = T }

implicit def aIsOrdered[T](a : AA[T]) = new Ordered[AA[T]] {
  def compare(that : AA[T]) = 0
}

示例 REPL 会话，

scala> val ai1 = new A { type B = Int }
ai1: java.lang.Object with A{type B = Int} = $anon$1@1ec264c

scala> val ai2 = new A { type B = Int }
ai2: java.lang.Object with A{type B = Int} = $anon$1@1a8fb1b

scala> val ad = new A { type B = Double }
ad: java.lang.Object with A{type B = Double} = $anon$1@891a0

scala> ai1 < ai2
res2: Boolean = false

scala> ai1 < ad
<console>:16: error: type mismatch;
 found   : ad.type (with underlying type java.lang.Object with A{type B = Double})
 required: AA[Int]
       ai1 < ad
             ^

编辑...

感谢 scala.math.LowPriorityOrderingImplicits 中的隐式定义，此定义足以为我们提供对应的Ordering类型的类实例。这允许我们将 A 与需要排序的类型一起使用，例如。 scala.collection.SortedSet，

scala> implicitly[Ordering[AA[Int]]]
res0: Ordering[AA[Int]] = scala.math.LowPriorityOrderingImplicits$anon$4@39cc63

scala> import scala.collection.SortedSet
import scala.collection.SortedSet

scala> val s = SortedSet(ai1, ai2)
s: scala.collection.SortedSet[java.lang.Object with A{type B = Int}] = TreeSet($anon$1@1a8fb1b)

Answer 2

将 B 作为 A 的参数怎么样？

trait A[B] {
    compare(x: A[B]): Int
}