добавление метаданных в ленивую последовательность - PullRequest
Новая
       7

добавление метаданных в ленивую последовательность

3 голосов
/ 29 июня 2009

Когда я пытаюсь добавить метаданные к бесконечной ленивой последовательности в Clojure, я получаю переполнение стека, и если я удаляю метаданные, то это работает просто отлично. Почему добавление макроса with-meta ломает ленивый seq?

Сначала создайте бесконечное число очень хороших чисел: 

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

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

Затем добавьте несколько метаданных в каждый из экземпляров lazy-seq: 

(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>

1 Ответ

6 голосов
/ 29 июня 2009

Поскольку 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 для последовательных ленивых последовательностей, которые оценивают их все, пока стек не взорвется. Я не думаю, что в настоящее время есть какой-либо способ добавить метаданные в ленивый seq, не заставляя его оценивать свое тело.

...