的列表理解使用返回意外的结果

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和1运行笛卡尔乘积y与y回到7为每每次迭代x。

从REPL：

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]) 

它运行循环而x是奇数，则休息。

所以在你的第一个例子，:while休息每一次迭代上y时y等于1因为没有x值，对于这个(and (< x 1) (even? x))持有true。

你的第二个例子，在另一方面，适用于中y因为(< 1 1)产量false第一次迭代，因为即使:while短时休息，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之间区别的部分。