Clojure 惰性序列用法

Question

我无法理解如何在 Clojure 中创建惰性序列。

我对宏的文档一无所知：

用法：（lazy-seq & body） 接受返回 ISeq 或 nil 的表达式体，并产生 一个 Seqable 对象，它只会在第一次 seq 时调用主体 被调用，并将缓存结果并在所有后续 seq 调用。

我见过的所有例子，似乎都做了如下的事情：

; return everything in the sequence starting at idx n
(defn myseq-after-n [n]
  (...)
)

(def my-lazy-seq
  (lazy-seq (conj [init-value] (myseq-after-n 2)))
)

所以，我不明白的第一件事是，由于lazy-seq 在对 conj 的调用之外，它如何防止 conj 在评估时生成无限序列？

我的第二个问题是，惰性序列定义总是采用这种一般形式吗？

Answer 1

lazy-seq 调用仅在第一次访问时执行一次主体，然后缓存并在以后再次调用时返回相同的结果。

如果您想使用它来构建长（甚至无限）序列，那么您需要在返回的序列中递归地嵌套其他惰性序列调用。这是我能想到的最简单的情况：

(defn ints-from [n]
  (cons n (lazy-seq (ints-from (inc n)))))

(take 10 (ints-from 7))
=> (7 8 9 10 11 12 13 14 15 16)

任何 (ints-from n) 调用都会产生一个以 n 开头的序列，然后是一个惰性序列 (ints-from (inc n))。这是一个无限列表，但这不是问题，因为惰性序列确保 (int-from (inc n)) 仅在需要时才被调用。你可以在没有lazy-seq的情况下尝试完全相同的代码，你会很快得到一个StackOverflowError。

lazy-seq 只是创建惰性序列的众多可能方法之一，它通常不是最方便的。以下是创建惰性序列的其他一些有趣/有用的方法：

; range is an easy way to get an infinite lazy sequence of integers, starting with zero     
(take 10 (range))
=> (0 1 2 3 4 5 6 7 8 9)

; map produces lazy sequences, so the following is lazy 
(take 10 (map #(* % %) (range)))
=> (0 1 4 9 16 25 36 49 64 81)

; iterate is a good way of making infinite sequenes of the form x, f(x), f(f(x))..... 
(take 10 (iterate (partial * 2) 1))
=> (1 2 4 8 16 32 64 128 256 512)