scala - 如何在scala中将Int参数化为Ordered

Question

我有一个带有参数化类型的类，我想对其进行比较运算符。我认为我需要使用 Ordered 特征来实现这一点，但编译器不喜欢我使用它。所以说我有以下类(class):

class Test[T <: Ordered[T]] {

  def someOp(t: T) if(t < 3) ...
  ...
}

但是，如果我尝试按如下方式使用此类:

val test = new Test[Int]()

编译器提示如下:

type arguments [Test[Int]] do not conform to class Test's type parameter bounds [T <: Ordered[T]]

有人可以向我解释我在这里做错了什么吗？

Answer 1

这是因为 Int不是 Ordered[Int] 的子类(见 here 为什么)。

但是，Int 存在隐式强制。至RichInt它是 Ordered[Int] 的子类，但不会针对下限触发。使用<% (查看边界)而不是 which will consider implicit coercions :

class Test[T <% Ordered[T]]