将元数据添加到惰性序列

Question

当我尝试将元数据添加到 Clojure 中的无限惰性序列时，出现堆栈溢出，如果我删除元数据，那么它就可以正常工作。 为什么添加 with-meta 宏会破坏惰性序列？

首先创建一个非常好的数字的无限序列：

(defn good []
  (lazy-seq 
    (cons 42
      (good))))

user> (take 5 (good))
(42 42 42 42 42)

然后，向每个惰性序列实例添加一些元数据：

(defn bad []
  (lazy-seq 
    (cons 42
      (with-meta 
       (bad)
       {:padding 4}))))


user> (take 5 (bad))
java.lang.StackOverflowError (NO_SOURCE_FILE:0)
  [Thrown class clojure.lang.Compiler$CompilerException]

尝试将元数据向上移动一级：

(defn also-bad []
  (with-meta 
   (lazy-seq 
     (cons 42
       (also-bad)))
   {:padding 4}))

user> (take 5 (foo))
java.lang.StackOverflowError (NO_SOURCE_FILE:0)
  [Thrown class clojure.lang.Compiler$CompilerException]

这是有限序列上的元数据的示例：

(defn also-works []
     (lazy-seq 
       (cons 4 
         (with-meta 
          () 
          {:a 5}))))

user> (also-works)
(4)
user> (meta (rest (also-works)))
{:a 5}
user> 

Answer 1

因为一旦您在 LazySeq 上调用 withMeta，LazySeq 就会评估其主体。 你失去了你的懒惰。

public final class LazySeq extends Obj implements ISeq, List{
    ...
    public Obj withMeta(IPersistentMap meta){
        return new LazySeq(meta, seq());
    }
    ...
}

seq() 会评估惰性 seq 的主体（如果尚未评估）。 上面的代码不断在连续的惰性序列上调用 with-meta ，这会评估它们直到堆栈爆炸。 我认为目前没有任何方法可以将元数据添加到惰性序列而不使其评估其主体。