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

Question

假设有以下特征:

trait A {
  type B       
}

有没有办法将它变成有序类型，其中只能比较 A 与 B 相同的类型，并且这是在编译时强制执行的？

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 session ，

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)