在 trait 中定义的 Scala 尾递归流处理器函数保存对流头的引用

Question

在以下情况下

trait T {

 @tailrec
 def consume[A](as: Stream[A]): Unit = {
    if (as.isEmpty) ()
    else consume(as.tail)
  }
 }

object O extends T

调用 O.consume(Range(1, N).toStream)与 N足够大，程序将耗尽内存，或者至少将消耗 O(N) 而不是所需的 O(1)。

Answer 1

为特征生成尾递归方法。 trait 扩展器中的方法条目(这里是 O)将调用转发到 trait 的方法，但在这样做的同时，它保留了对 Stream 头部的引用。

因此该方法是尾递归的，但仍然无法释放内存。补救措施:不要在 trait 中定义 Stream 函数，直接在对象中定义。

另一种选择是 scalaz 的 EphemeralStream ，它持有对流头和尾的弱引用，并根据需要重新计算它们。