遇到异常的惰性序列在重复使用时有不同的行为

Question

以下代码在与1.8.0和1.9.0-alpha14一起使用时无法编译，两种版本中出现相同的错误。

`
user=> (def fibonacci-1
((fn fib [a b]

(lazy-seq  (cons a  (fib b  (+ a b)))))
0 1))

user=> (filter #(< % 100) fibonacci-1)

ArithmeticException 整数溢出 clojure.lang.Numbers.throwIntOverflow (Numbers.java:1501)

user=> (filter #(< % 100) fibonacci-1)

NullPointerException clojure.lang.Numbers.ops (Numbers.java:1013)

user=> (def fibonacci-2

     (lazy-cat [0 1] (map + (rest fibonacci-2) fibonacci-2)))

user=> (filter #(< % 100) fibonacci-2)

ArithmeticException 整数溢出 clojure.lang.Numbers.throwIntOverflow (Numbers.java:1501)

user=> (filter #(< % 100) fibonacci-2)
(0 1 1 2 3 5 8 13 21 34 55 89)
`

补丁： 0001-CLJ-2069-cache-exceptions-thrown-during-lazy-seq-rea.patch

提案： 缓存在惰性序列实现期间抛出的异常，以避免重新运行声明为 ^:once 的 bodyfn

预审： Alex Miller

Answer 1

_评论由：find_my_way

也许我应该使用 take-while 而不是 filter。

然而，有人能解释为什么我在运行

(filter #(< % 100) fibonacci-2)

第一次时得到了 ArithmeticException，而在第二次时却得到了正确的结果吗？

Answer 2

评论由：bronsa

NPE 是由以下因素之间的交互引起的：
- 惰性序列在实现序列的一部分时抛出异常
- 惰性序列在内部使用 ^:once 清除局部变量

lazy-seq 期望 bodyfn 函数仅运行一次并将结果缓存，但如果在执行 bodyfn 期间抛出异常，那么在序列试图第二次实现时，该函数将再次运行。然而，如果已经发生了局部变量的清除（即使只是部分发生），这意味着 bodyfn 中的一些局部变量现在将是 nil，而不是保存其实际值。

Answer 3

评论由：bronsa

附上修复此问题的补丁

Answer 4

参考：[https://clojure.atlassian.net/browse/CLJ-2069](https://clojure.atlassian.net/browse/CLJ-2069)（由 alex+import 报告）