3

我正在定义一个可操作的类型:

trait Operable {
  def +[A](other: A)(implicit evidence: this.type =:= A): this.type
  def -[A](other: A)(implicit evidence: this.type =:= A): this.type
  def *[A](other: Float): this.type
}
/** Position descriptions */
trait Pos[T <: Operable] {
  def eval: T
}
def test[T <: Operable](x1: Pos[T], x2: Pos[T]): T = {
  x2.eval - x1.eval
}

我得到以下编译时错误:

 Cannot prove that _1.type =:= T.

为什么编译器不能证明类型相等,以及如何克服这个问题?x1 和 x2 的 T 参数应该相同。为什么不是这样?

4

1 回答 1

5

this.type是特定实例的类型。它与任何其他实例不兼容,即使是完全相同类型的实例。所以基本上在这个定义中:

def -[A](other: A)(implicit evidence: this.type =:= A): this.type

您的证据试图证明other与 完全相同this,这可能不是您的想法。

我想你会想要重新设计你的设计。您可以尝试改用 F 有界多态性:

trait Operable[Self <: Operable[Self]] {
  def +(other: Self): Self
  def -(other: Self): Self
  def *(other: Float): Self
}
/** Position descriptions */
trait Pos[T <: Operable[T]] {
  def eval: T
}
def test[T <: Operable[T]](x1: Pos[T], x2: Pos[T]): T = {
  x2.eval - x1.eval
}
于 2013-06-18T10:33:08.967 回答