如何使用特征来描述运算符

Question

我正在尝试定义一个基于其他运算符描述运算符的特征。像这样：

trait LessThanComparable[T] {
    def < (that: T) : Boolean
    def > (that: T) = that < this
}

然后我使用它：

class Example(val x : Int) extends LessThanComparable[Example] {
    def < (that: Example) = x < that.x
}

但我得到这个：值

我怎么能说那个和这个是同一类型呢？还是我在尝试一些不可能的事情？

Answer 1

我认为这就是你想要的：

trait LessThanComparable[T <: LessThanComparable[T]] { this: T =>
  def <(that: T): Boolean
  def >(that: T) = that < this
}
class Example(val x: Int) extends LessThanComparable[Example] {
  def <(that: Example) = x < that.x
}

为了能够说that < this，必须坚持两件事。

1. that必须有一个接受T的<方法，或者换句话说，that必须是LessThanComparable[T]。 我们可以通过说T必须是 LessThanComparable[T] 或 T <: LessThanComparable[T] 的子类来确保这一点。

2. this必须是T. 我们可以通过使用 自类型 this: T => .

那么，

val a = new Example(5)
val b = new Example(4)
println(a < b)  // false
println(a > b)  // true
println(b < a)  // true
println(b > a)  // false

Answer 2

更好的方法是遵循标准库中Ordered和Ordering特征中播放的方法。前者类似于你上面的例子。但事实证明，后者使用"类型类"，更容易、更灵活。

首先，定义一个类型类和一个混合特征：

class Ord[T](val lessThan: (T, T) => Boolean)
trait CompareOps[T] { this: T =>
  def < (that: T)(implicit ord: Ord[T]) = ord.lessThan(this, that)
  def > (that: T)(implicit ord: Ord[T]) = ord.lessThan(that, this)
}

现在，对于您的示例，您所要做的就是将类型类的实例放入隐式作用域：

case class Example(x: Int) extends CompareOps[Example]
implicit val exampleOrd = new Ord[Example](_.x < _.x)
scala> Example(3) > Example(4)
res0: Boolean = false
scala> Example(3) < Example(4)
res1: Boolean = true

通常，当你编写一个类时，你会把Ord[Example]放到Example的伴侣对象中。然后，当Example实例需要它时，它将自动处于隐式作用域中。

旁白：如果您将CompareOps定义为类并使用隐式转换，您实际上不必扩展CompareOps，但这有点超出此答案的范围，所以我在这里写了它。