LinearSeqOptimized#find 参考副本

Question

看Scala 2.10.0在LinearSeqOptimized.scala中对LinearSeqOptimized#find的实现，为什么一定要调用var these = this呢？

为什么不能简单地使用this？

  override /*IterableLike*/
  def find(p: A => Boolean): Option[A] = {
    var these = this
    while (!these.isEmpty) {
      if (p(these.head)) return Some(these.head)
      these = these.tail
    }
    None
  }

Answer 1

因为你必须在循环外有相同的条件和操作，然后开始使用这些。

将每个人都放在同一个篮子中并在循环本身中完成所有操作要简单得多。示例：

def find(p: A => Boolean): Option[A] = {

  if (!this.isEmpty && p(this.head)) {
    return Some(this.head)
  }

  var these = this.tail

  while (!these.isEmpty) {
    if (p(these.head)) return Some(these.head)
    these = these.tail
  }

  None
}

如你所见，不是很聪明。

您也可以轻松地将其实现为 @tailrec 操作：

@tailrec final def find[A](p : A => Boolean) : Option[A] = {    
  if ( this.isEmpty ) {
    None
  } else {
    if ( p(this.head) ) {
      Some(this.head)
    } else {
      this.tail.find(p)
    }
  }
}

在 Scala 中并没有这样做，因为 tailrec 调用必须是最终的或私有的。