Zdefiniowanie porządku na cechach z typami abstrakcyjnymi, które kompilują się tylko dla zgodnych typów? - scala

Załóż następującą cechę:

trait A {
type B
}

Czy istnieje jakiś sposób uczynienia tego w uporządkowany typ, gdzie można porównywać tylko litery A z tymi samymi literami B, a to jest wymuszane w czasie kompilacji?

Odpowiedzi:

Tak, przez niejawny (z aliasem typu, który sprawia, że ​​rzeczy są bardziej suche),

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

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

Przykładowa sesja 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
^

Edytować ...

Dzięki niejawnym definicjom w scala.math.LowPriorityOrderingImplicits ta definicja jest wystarczająca, aby dostarczyć nam odpowiednie instancje klasy Typu zamawiania. To pozwala nam używać A z typami, które wymagają zamówień, np. 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)

Co powiesz na zrobienie B parametr A?

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