scala - Scala：避免强制转换为 foldLeft 中的类型参数

Question

考虑这个片段定义了模拟状态的特征，用户希望以某种派生类型实现该特征。在 trait 上，实用方法的集合应该能够提供具有实现类型的结果，类似于 Scala 库集合执行此操作的方式。为此，我认为我需要使用实现类型参数化特征，如下所示：

trait State[+This <: State[This]] {
   def update : This  // result has type of State's implementor
}

现在我想定义一个多步更新方法，如下所示：

def update(steps: Int) : This

当我尝试天真的方法时：

def update(steps: Int) : This = 
    (this /: (0 until steps))( (s,n) => s.update )

编译器抱怨类型不匹配：

 error: type mismatch;
 found: State[This]
 required: This

这是有道理的，因为this在 State 中看到的具有 State[This] 类型。要编译代码，似乎我必须进行显式转换：

def update(steps: Int) : This = 
    (this.asInstanceOf[This] /: (0 until steps))( (s,n) => s.update )

有没有办法避免这种显式转换，或者更普遍地以更好的方式实现预期结果？谢谢。

score 5 · Accepted Answer

您需要添加一个自类型注释以确保它State是This：

trait State[+This <: State[This]] { this: This =>
  def update: This  // result has type of State's implementor
}

update(Int)在没有折叠的情况下重新定义方法的一种可能方法是：

def update(steps: Int): This = Iterator.iterate(this)(_.update).drop(steps).next

1 回答 1