scala - 如何比较 Scala 特征中的有序抽象类型？

Question

给出方法下面的代码 foo应该按运算符比较给定参数 bar与 lowerBound和 upperBound所有都是相同的抽象类型 Bar .

trait Foo {
  type Bar <: Ordered[Bar]
  val lowerBound: Bar
  val upperBound: Bar
  def foo(bar: Bar) = bar >= lowerBound && bar <= upperBound
}

这样的特质 Foo可以定义。问题始于下面的具体类 FooImpl .

class FooImpl extends Foo {
  type Bar = Int
  val lowerBound = 0
  val upperBound = 5
}

我明白 scala.Int没有实现什么 scala.runtime.RichInt确实有效 scala.math.Ordered[Int] .定义类型 Bar如 RichInt相反，两者都不起作用，因为它不符合 scala.math.Ordered[RichInt] .我第三次尝试定义类型 Bar如 Ordered[Ord]哪里 Ord声明为 type Ord并在 FooImpl 中定义它如 Int也没有用。

一个可能接近的解决方案会是什么样子？

Answer 1

可能有更优雅的解决方案，但您可以通过将类型限制移动到方法而不是类型声明来实现这一点:

trait Foo {
  type Bar
  val lowerBound: Bar
  val upperBound: Bar
  def foo(bar: Bar)(implicit ev: Bar => Ordered[Bar]) = {
    bar >= lowerBound && bar <= upperBound
  }
}

那么你的 FooImpl像你一样工作:

class FooImpl extends Foo {
  type Bar = Int
  val lowerBound = 0
  val upperBound = 5
}

来自 REPL:

scala> new FooImpl()
res0: FooImpl = FooImpl@2dbbec72

scala> res0.foo(3)
res1: Boolean = true

scala> res0.foo(7)
res2: Boolean = false

这里的缺点是可以使用无序类型扩展特征(尽管在这种情况下不能调用 foo):

class A // not Ordered

class BrokenFoo extends Foo {
  type Bar = A
  val lowerBound = new A
  val upperBound = new A
} // compiles

new BrokenFoo().foo(new A) // doesn't compile

或者，您可以将需求保留在类级别(因此阻止任何人创建 BrokenFoo )，如下所示，但 FooImpl必须稍微改变:

trait Foo {
  type Bar
  implicit val baz: Bar => Ordered[Bar]
  val lowerBound: Bar
  val upperBound: Bar
  def foo(bar: Bar) = { bar >= lowerBound && bar <= upperBound }
}

class FooImpl extends Foo {
  type Bar = Int
  val baz = implicitly[Bar => Ordered[Bar]]
  val lowerBound = 0
  val upperBound = 5
}

这个问题感觉就像 view or context bounds应该适用，但不幸的是，您似乎无法在 type 中使用它们。声明或在特征的泛型类型参数中。