Scala 泛型：Int 不符合 Comparable？

Question

以下 Scala 声明是可以的：

trait Base[B <: Base[B,M,ID], M <: Meta[B,M,ID], ID <: Comparable[ID]] {
    // ...
}

trait Meta[B <: Base[B,M,ID], M <: Meta[B,M,ID], ID <: Comparable[ID]] extends Ordered[Meta[_,_,_]] {
    // ...
}

trait BaseWithID[B <: BaseWithID[B,M,ID], M <: Meta[B,M,ID], ID <: Comparable[ID]] extends Base[B,M,ID] with Ordered[B] {
    // ...
}


trait BaseWithIntID[B <: BaseWithIntID[B,M,ID], M <: MetaWithIntID[B,M,ID], ID <: Comparable[ID]] extends BaseWithID[B,M,ID] {
    // ...
}

trait MetaWithIntID[B <: BaseWithIntID[B,M,ID], M <: MetaWithIntID[B,M,ID], ID <: Comparable[ID]] extends Meta[B,M,ID] {
    // ...
}

但以下两个则不行：

trait BaseWithIntID[B <: BaseWithIntID[B,M], M <: MetaWithIntID[B,M]] extends BaseWithID[B,M,Int] {
    // ...
}

trait MetaWithIntID[B <: BaseWithIntID[B,M], M <: MetaWithIntID[B,M]] extends Meta[B,M,Int] {
    // ...
}

不同之处在于我删除了 BaseWithIntID 和 MetaWithIntID 中的 ID 类型参数，并在各自的基本特征中显式指定了 Int。但这不能编译，那么这是否意味着 Int 在 Scala 中不可比较？如果是的话，我做错了什么？我尝试使用 Ordered 而不是 Comparable，但没有什么区别。

我正在使用 Eclipse，和往常一样，错误消息没有任何帮助：

type arguments [B,M,Int] do not conform to trait BaseWithID's type parameter bounds [B <: BaseWithID[B,M,ID],M <: Meta[B,M,ID],ID <: java.lang.Comparable[ID]]

它只是说出现了问题，但没有说明哪个类型参数错误以及原因。查看这个问题 ，我想我可以尝试“ID <% Comparable[ID]”，但这在特征声明中是不合法的。

实际上，这也不起作用（具有相同的错误消息）：

trait TestBase extends BaseWithID[TestBase,TestMeta,Int]

trait TestMeta extends Meta[TestBase,TestMeta,Int]

Answer 1

Int 在 scala 中确实无法比较，当然是因为它实际上是作为 java int 实现的，而不是 java.lang.Integer 。我不确定这是不可能的，C# struct（值类型）可以实现接口，但这里没有这样做。

您通常所做的就是说，在您的 ID 类型的隐式范围内有一个可用的 Ordering，其中 ID : Ordering。

举一个简单的例子：

import Ordering.Implicits._
def max[A : Ordering](x: A, y: A) : A = if (x > y) then x else y

这相当于将一个 Ordering（与 java.util.Comparator 相同）传递给函数。事实上，该声明

def max[A : Ordering](x: A, y: A)

翻译为

def max[A](x: A, y: A)(implicit ev: Ordering[A])

ev 是一个新名称。如果 A : Ordering 出现在类上而不是方法定义上（如代码中所示），它会转换为构造函数的隐式参数，如果需要，该参数将保留在字段中，并可在类的隐式作用域中使用。这比强制 A 为 Comparable （在 scala 中为 Ordered）更灵活，因为它可能用在不属于您的且未实现 Comparable 的类上。您也可以在同一类上的不同 Odering 之间进行选择，只要通过反转默认的 Odering 即可：Ordering 上有一个 defverse : Ordering 方法，它就是这样做的。

不利的一面是，虚拟机不太可能能够内联对比较方法的调用，但对于泛型中的接口方法来说也不太可能。

在 Java 中实现 Comparable 的类型会凭借对象 ordered) 自动在隐式作用域中获取 Ordering >订购。 java Comparator 也可以转换为 Ordering (Ordering.comparatorToOrdering)。

导入 Ordering.Implicits._ 可以让你得到很好的 x >; y 语法，当 Ordering[A] 位于隐式作用域中时。

Answer 2

“这是否意味着 Int 在 Scala 中不可比较？”的答案显然是 YES，因为如果我用 java.lang.Integer 替换 Int，那么它编译时不会出错。问题是，每次访问 ID 时，我最终都必须创建一个包装对象，这种情况经常发生，因此成本高昂。

我想指定 ID 是可比较/有序的，以便我可以使 BaseWithID 本身有序，并使用可比较的 ID 在其中显式定义比较方法。

目前的解决方案似乎是不指定 ID 是有序的，并让具体类实现自身进行比较，而不是在特征中一次性实现它。有人有更好的解决方案吗？