clojure cons vs conj with lazy-seq

Question

为什么 cons 在这种情况下与lazy-seq 一起工作，而 conj 却不行？
这有效:

(defn compound-interest [p i]
   (cons p (lazy-seq (compound-interest (* p (+ 1 i)) i))))

这没有(它给出了堆栈溢出异常):

(defn compound-interest2 [p i]
   (conj (lazy-seq (compound-interest2 (* p (+ 1 i)) i)) p))

Answer 1

(conj collection item)添加 item至collection .为此，它需要实现collection . (我将在下面解释原因。)所以递归调用立即发生，而不是被推迟。
(cons item collection)创建一个以 item 开头的序列，然后是 collection 中的所有内容.值得注意的是，它不需要实现collection .所以递归调用将被推迟(因为使用 lazy-seq )，直到有人试图得到结果序列的尾部。

我将解释这是如何在内部工作的:
cons实际上返回一个 clojure.lang.Cons对象，这就是惰性序列的组成部分。 conj返回您传递给它的相同类型的集合(无论是列表、向量还是其他)。 conj使用对集合本身的多态 Java 方法调用来执行此操作。 (见 line 524 of clojure/src/jvm/clojure/lang/RT.java 。)

当 Java 方法调用发生在 clojure.lang.LazySeq 上时会发生什么？ lazy-seq 返回的对象? (Cons 和 LazySeq 对象如何一起工作以形成惰性序列将在下面变得更加清晰。)查看 line 98 of clojure/src/jvm/clojure/lang/LazySeq.java .请注意，它调用了一个名为 seq 的方法。 .这就是实现 LazySeq 值(value)的原因。 (详情请跳至line 55)。

所以你可以说conj需要确切知道你通过了什么样的集合，但是cons没有。 cons只要求“集合”参数是 ISeq .

请注意 Cons Clojure 中的对象与其他 Lisps 中的“cons 单元”不同——在大多数 Lisps 中，“cons”只是一个对象，它包含两个指向其他任意对象的指针。所以你可以使用 cons 单元来构建树，等等。 Clojure Cons采用任意 Object作为头，和 ISeq作为尾部。由于Cons本身实现 ISeq ，您可以从 Cons 构建序列对象，但它们也可以指向向量或列表等。(请注意，Clojure 中的“列表”是一种特殊类型(PersistentList)，不是从 Cons 对象构建的。)clojure.lang.LazySeq还实现了ISeq , 所以它可以用作 Cons 的尾部(Lisps 中的“cdr”) .一个 LazySeq包含对某些代码的引用，该代码的计算结果为 ISeq某种形式，但在需要之前它实际上不会评估该代码，并且在它评估代码之后，它会缓存返回的 ISeq并代表它。

...这一切都开始有意义了吗？你知道惰性序列是如何工作的吗？基本上，您从 LazySeq 开始.当LazySeq已实现，它的计算结果为 Cons ，它指向另一个 LazySeq .当那个被实现时……你明白了。所以你得到一个链LazySeq对象，每个持有(并委托(delegate)给)一个 Cons .

关于 Clojure 中“conses”和“lists”的区别，“lists”(PersistentList 对象)包含缓存的“length”字段，因此可以响应 count在 O(1) 时间内。这在其他 Lisps 中不起作用，因为在大多数 Lisps 中，“列表”是可变的。但是在 Clojure 中它们是不可变的，所以缓存长度是可行的。
Cons Clojure 中的对象没有缓存长度——如果有，它们如何用于实现惰性(甚至无限)序列？如果您尝试使用 count的 Cons , 它只是调用 count在它的尾部，然后将结果增加 1。