使用只爲兼容類型編譯的抽象類型定義特徵的排序？

Question

假設以下特點：

trait A { 
    type B  
} 

是否有製作成有序類型，其中只有與同B的A的可以比這的任何方式，而這是在編譯時執行呢？

Answer 1

是，通過隱（有型的別名，使事情更加DRY），

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.LowPriorityOrderingImplicit中的隱式定義這個定義足以爲我們提供相應的Ordering類的類實例。這允許我們使用需要訂單的類型，例如。一個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 
}