Question

以下Common Lisp代码不会产生我期望的输出：

(loop for a from 5 to 10
      and b = a do
      (format t "~d ~d~%" a b))

使用SCBL生成此输出：

我期望a和b的值在每一行都相同。

我已经在网上搜索了这个实例中的循环宏的良好文档，但找不到多少。我很感激任何见解！

Answer 1

(loop for a from 5 to 10
      and b = a
      do (format t "~d ~d~%" a b))

以上代码在概念上可以看作接近PSETF。值以“并行”更新。原因是AND。

让我们用FOR替换AND：

(loop for a from 5 to 10
      for b = a
      do (format t "~d ~d~%" a b))

上面会在概念上更新常见的SETF，“顺序”。

CL-USER 20 > (loop for a from 5 to 10
                   for b = a
                   do (format t "~d ~d~%" a b))
5 5
6 6
7 7
8 8
9 9
10 10

如果使用多个迭代子句控制迭代，变量初始化和步进发生默认顺序。和构造可以用来连接两个或者更多的迭代子句顺序绑定和步进是不必要。迭代行为由和加入的子句类似使用宏做的行为尊重做* 。

Answer 2

在给出任何变量的新值之前，评估AND子句的步骤形式。请改用for b = a then a强制进行有序评估。