clojure - 使用 for 列表推导会返回意外结果

Question

所以我试试这个代码

(for [x (range 1 8) y (range 1 8) :while (and (< x y) (even? x))] [x y])

然后回来 ()

但我试试这个:

(for [x (range 1 8) y (range 1 8) :while (and (< y x) (even? x))] [x y])

我得到了想要的结果。
改变 x 和 y 的位置有什么影响？第一个片段不应该返回一个空列表..毕竟必须有一些甚至 x 小于 y

Answer 1

在 Clojure 中，(for [x (range 1 8) y (range 1 8)] [x y])返回 x 的笛卡尔积和 y与 y从 1 运行至 7对于 x 的每次迭代.

从回复:

user=> (for [x (range 1 8) y (range 1 8)] [x y])
([1 1] [1 2] [1 3] [1 4] [1 5] [1 6] [1 7] [2 1] [2 2] [2 3] [2 4] [2 5] [2 6] [2 7] [3 1] [3 2] [3 3] [3 4] [3 5] [3 6] [3 7] [4 1] [4 2] [4 3] [4 4] [4 5] [4 6] [4 7] [5 1] [5 2] [5 3] [5 4] [5 5] [5 6] [5 7] [6 1] [6 2] [6 3] [6 4] [6 5] [6 6] [6 7] [7 1] [7 2] [7 3] [7 4] [7 5] [7 6] [7 7])

在您的示例中，:while与 y 相关联而不是 x .所以:while适用于 y 的每次迭代然后在 x 的下一次迭代后重新启动.

为了更清楚地说明这一点，请注意您还可以关联 :while与 x :

user=> (for [x (range 1 8) :while (odd? x) y (range 1 8)] [x y])
([1 1] [1 2] [1 3] [1 4] [1 5] [1 6] [1 7])

运行循环 while x很奇怪，然后就断了。

所以在你的第一个例子中，:while y 上的每次迭代都会中断当y等于 1因为没有 x 的值其中(and (< x 1) (even? x))持有 true .

另一方面，您的第二个示例有效，因为即使 :while在 y 的第一次迭代时中断因为 (< 1 1) yield false ，y的第二次迭代成功是因为 x从 2 开始，所以如果 y是 1 , 和 (and (< y x) (even? x))是 (and (< 1 2) (even? 2))其计算结果为 true .

见 http://clojuredocs.org/clojure_core/clojure.core/for更多细节。尤其是显示:when之间差异的部分和 :while .