Clojure扁平与懒惰

Question

(defn l-f [c]
  (if (nil? c) []
    (lazy-seq  (flatten (cons  [[ :h :j] :a :B] (l-f (rest c))))))) 


    (take 10 (l-f (repeat 2))) is how I invoke it.

这是一个相当做作的例子。另外，我知道flatten和concat将给出嵌套级别不同的序列。

我试图弄清楚为什么flatten似乎能打破这种懒惰，尽管我对Clojure.core代码的理解有限，但我认为并非如此。

Answer 1

懒惰只是让你走了这么远--懒惰只是意味着序列在创建时没有完全实现，但是从另一个懒惰序列构建一个懒惰序列有时需要向前看几个值。在本例中，flatten的实现不能很好地与调用它的递归方式配合。

首先，flatten函数调用tree-seq对集合的内容进行深度优先遍历。反过来，tree-seq使用提供的序列调用Mapcat，该序列委托给apply，后者实现序列中的前几项，以确定要调用的函数的性质。实现序列中的前几项会导致对L-F的递归调用，该调用对其余参数调用flatten，并陷入无限循环。

在这种特殊情况下，不需要递归地调用flatten，因为在第一个调用之后的任何调用都没有效果。因此，您的函数可以通过将惰性序列的生成从它的扁平化中分离出来来固定：

(defn l-f [c]                                                      
  (letfn [(l-f-seq [x] (if-let [s (seq x)]                         
                         (lazy-seq (cons [[:h :j] :a :B] (l-f-seq (rest s))))
                         []))]                                               
    (flatten (l-f-seq c))))