Question

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

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参数应该相同。为什么不是这样？

Answer 1

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

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

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

我想你会想要重新设计你的设计。您可能会尝试使用F-bounded多态：

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
}

Scala不能证明类型相等

1 个答案: