clojure - 如何在不强制实现的情况下找到惰性序列的长度？

Question

我目前正在阅读 O'reilly Clojure 编程书，其中有关惰性序列的部分提到了以下内容:

It is possible (though very rare) for a lazy sequence to know its length, and therefore return it as the result of count without realizing its contents.

我的问题是，这是如何完成的以及为什么如此罕见？

不幸的是，本书在本节中没有具体说明这些内容。我个人认为，在实现之前了解惰性序列的长度非常有用，例如，在同一页面中是一个使用 map 函数处理的文件惰性序列的示例。如果能知道在实现序列之前可以处理多少个文件，那就太好了。

Answer 1

受到 soulcheck's answer 的启发，这是固定大小集合上昂贵函数的惰性但计数的映射。

(defn foo [s f] 
  (let [c (count s), res (map f s)] 
    (reify 
      clojure.lang.ISeq 
        (seq [_] res) 
      clojure.lang.Counted 
        (count [_] c) 
      clojure.lang.IPending 
        (isRealized [_] (realized? res)))))


(def bar (foo (range 5) (fn [x] (Thread/sleep 1000) (inc x))))

(time (count bar))
;=> "Elapsed time: 0.016848 msecs"
;    5

(realized? bar)
;=> false


(time (into [] bar))
;=> "Elapsed time: 4996.398302 msecs"
;   [1 2 3 4 5]

(realized? bar)
;=> true

(time (into [] bar))
;=> "Elapsed time: 0.042735 msecs"
;   [1 2 3 4 5]