具有隐式排序的 Scala 类集合

Question

我想创建一个数组（或 List、ArrayBuffer 等），它只能包含具有定义隐式排序（例如 Int、Long、Double）的类的实例。

类似这样的：

val ab = new ArrayBuffer[???]()
ab += 7
ab += 8.9
ab += 8L

我不想将这些值相互比较。

Answer 1

如果您真的想要一个不同类型的对象列表，并且仍然能够在编译时静态检查该列表中的对象，您将不得不使用来自shapeless 的HList 之类的东西。这是一个示例，说明如何拥有两个异构列表，并在编译时检查两个列表的每个 i^th 元素是否可以相互比较。

import shapeless._
import shapeless.ops.hlist.{LiftAll, Zip, Mapper}

object lt extends Poly1 { 
  implicit def instance[A] = at[(Ordering[A], A, A)] { 
    case (ord, a, b) => ord.lt(a, b)
  } 
}

def areLessThan[L <: HList, O <: HList, OLL <: HList](a: L, b: L)(
  implicit 
  ord: LiftAll.Aux[Ordering, L, O], 
  zip: Zip.Aux[O :: L :: L :: HNil, OLL], 
  map: Mapper[lt.type, OLL]
) = zip(ord.instances :: a :: b :: HNil).map(lt)

使用它：

scala> val a = 1 :: "b" :: Option(4L) :: HNil
a: Int :: String :: Option[Long] :: shapeless.HNil = 1 :: b :: Some(4) :: HNil

scala> val b = 2 :: "a" :: Option(7L) :: HNil
b: Int :: String :: Option[Long] :: shapeless.HNil = 2 :: a :: Some(7) :: HNil

scala> areLessThan(a, b)
res10: Boolean :: Boolean :: Boolean :: shapeless.HNil = true :: false :: true :: HNil

Answer 2

只需使用如下所示的类型类约束

def createList[T: Ordering](values: T*) = values.toList

T: Ordering 意味着只有在范围内具有 Ordering 实例的类型才允许作为参数传递给函数。

scala> def createList[T: Ordering](values: T*) = values.toList
createList: [T](values: T*)(implicit evidence$1: Ordering[T])List[T]

scala> case class Cat()
defined class Cat

scala> createList(1, 2, 3)
res2: List[Int] = List(1, 2, 3)

scala> createList(Cat())
<console>:15: error: No implicit Ordering defined for Cat.
       createList(Cat())
             ^

整数排序在范围内可用，但 cat 排序在范围内不可用。因此，在您提供 Ordering[Cat] 的实例之前，您不能传递 Cat 值

现在让我们提供一些虚假的排序，看看编译器是否接受 Cat 作为参数

scala> implicit val orderingCat: Ordering[Cat] = (a: Cat, b: Cat) => ???
orderingCat: Ordering[Cat] = $anonfun$1@6be766d1

scala> createList(Cat())
res4: List[Cat] = List(Cat())

有效。