Scala Stackable Trait 和 Self 类型不兼容的类型

Question

我有一个名为 Mutatable 的特性，它会吐出一个实现类的修改副本。我还有一个我想在它上面叠加的特征，称为 CostedMutatable，它可以跟踪这样做的成本。 applyMutation 方法返回一个选项，因为稍后我想在特定突变不适用的情况下返回 None。

一个仅适用于 Ints 的简单版本（并通过添加新数字“改变”它们）如下所示：

trait Mutatable[M] {

  def applyMutation(mut : M) : Option[this.type]
}

trait CostedMutatable[M] extends Mutatable[M]{

  var cost : Int = _
  def getCostFor(mut : M): Int

  abstract override def applyMutation(mut : M) : Option[this.type] = {
    cost += getCostFor(mut)
    applyMutation(mut)
  }
}

object Example extends App {

  case class Mutation(x: Int)

  class Test(s: Int) extends Mutatable[Mutation] {
    val start = s
    override def applyMutation(mut: Mutation): Option[Test] 
         = Some(new Test(s+mut.x))
  }

  class CostTest(s: Int) extends Test(s) with CostedMutatable[Mutation] {
    override def getCostFor(mut: Mutation): Int = 2
  }

  val testCost = new CostTest(5).cost
}

问题是，这不会编译。我在编译时收到以下错误：

Error:(23, 18) overriding method applyMutation in trait Mutatable of type (mut: Example.Mutation)Option[Test.this.type];
 method applyMutation has incompatible type
    override def applyMutation(mut: Mutation): Option[Test] = Some(new Test(s+mut.x))
                 ^

除了编译器错误之外，我还想到另一个问题：我是否以正确的方式接近这个问题？我应该改用 F 有界类型吗？ （我需要每个新的实现类从 applyMutation 返回具体实现类的新副本。）

提前致谢。

Answer 1

this.type 是一种类型，其唯一实例是 this 和 Nothing。当方法返回this.type 时，唯一允许的返回值是this。在Test 类中，applyMutation 不返回this，而是一个全新的Test，它不是this.type 的实例。这就是代码不进行类型检查的原因。

我认为您真正想要做的是声明 applyMutation 返回与this 相同类的值。这样做确实需要 F-Bounded 多态性。这是您的代码的重写版本：

trait CostedMutatable[+A <: CostedMutatable[A, M], M] extends Mutatable[A, M] {

  var cost : Int = _
  def getCostFor(mut : M): Int

  abstract override def applyMutation(mut: M): Option[A] = {
    cost += getCostFor(mut)
    super.applyMutation(mut)
  }
}

object Example extends App {

  case class Mutation(x: Int)

  class Test(s: Int) extends Mutatable[Test, Mutation] {
    val start = s
    override def applyMutation(mut: Mutation): Option[Test] 
         = Some(new Test(s+mut.x))
  }

  class CostTest(s: Int) extends Test(s) with CostedMutatable[CostTest, Mutation] {
    override def getCostFor(mut: Mutation): Int = 2
  }

  val testCost = new CostTest(5).cost
}