Clojure：惰性序列的底层数据结构是什么？

Question

如上所述，惰性序列的底层数据结构是什么？ 它是一个列表吗？如果是，那么它是什么样的列表？我在哪里可以找到这方面的参考资料？

Answer 1

数据结构是clojure.lang.Lazyseq，定义为here。 lazy-seq 宏创建这样的。

如您所见，LazySeq 本质上是一个链表，它以 thunk（零参数函数）成员 fn 开始。当序列实现时，fn 用于生成数据成员s 或sv 并且本身被取消。我不太明白s 和sv 是如何相互关联的。