Scala Streams 及其堆栈内存使用情况

Question

假设，我有一个递归定义的Stream：例如，

def from(n:Int):Stream[Int] = Stream.cons(n, from(n+1))

我猜它需要恒定的堆栈内存。正确吗？对于任何递归定义的流来说它是否正确？您能想到任何使用非常量堆栈内存的递归定义的stream示例吗？

Answer 1

您是否在问访问流是否需要恒定的堆栈内存？

如果是这样，答案是肯定的：Stream 的 apply 是根据 drop 定义的（定义在 LinearSeqOptimized），而 drop 是尾递归的，因此被编译成 while 循环。

这使得 drop 本质上如下所示：

def drop(n: Int) : Stream[A] = {
  var _this = this
  var _n = n

  while(!(_n <= 0 || _this.isEmpty)) {
    _this = _this.tail
    _n = _n - 1
  }
  _this
}

因此堆栈大小的唯一增加可能来自对 _this.tail 的调用。在 from 的定义中，该调用永远不会增加堆栈：它所做的只是构建 Stream.cons 的实例（因为递归调用实际上并未在该处进行评估）观点）。