Scala:避免在foldLeft中强制转换为类型参数

Question

考虑这个片段定义了模拟状态的特征，用户期望在某种派生类型中实现该特征。在这一特征上，实用方法的集合应该能够提供具有实现类型的结果，类似于 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

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

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

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

Answer 1

您需要添加自类型注释以确保 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