惰性序列 StackOverflowError

Question

为什么会这样

(def fibs (cons 0 (cons 1 (lazy-seq (map + fibs (rest fibs))))))
(take 10 fibs)

而这另一个

(def fibs (lazy-seq (cons 0 (cons 1 (map + fibs (rest fibs))))))
(take 10 fibs)

生成 StackOverflowError？

Answer 1

首先我们要注意，它也适用于外部cons：

(def fibs (cons 0 (lazy-seq (cons 1 (map + fibs (rest fibs))))))

让我们还确定lazy-seq 是一个宏（显然，因为它不评估参数）并将body（lazy-seq 的参数）放入一个函数中。

现在，如果您从该序列中“请求”一个元素，该函数将被调用一次，随后的调用将返回缓存值。

显然，只有在该函数返回某些内容时，您才有可用的值。现在，在我们的坏案例中发生了什么：

想象一下 clojure 正在第一次评估函数。它需要的第一件事是+、fibs 和(rest fibs)，以便将其传递给 cons。现在 clojure 将看到 fibs 是一个惰性序列并调用它！这是因为您当前处于第一次调用中并且尚未返回。这会导致无限递归。

解决方法很简单：确保列表开头有一个已实现的元素，以便两个表达式 fibs 和 (rest fibs) 可以返回一些内容。特别是，使用(cons 1 whatever) 的rest 将返回whatever without realizing a single element（很重要，否则我们会再次遇到同样的问题）。