PROSAGA码农传奇-lisp-在Common Lisp中为迭代创建一个宏

<div class =“post-text”itemprop =“text”>
  
    的
      检查
       <code>
 +=
 </code>
       扩展找到错误
    </强>
  
  
    您需要检查扩展：
  
   <pre>
 <code>
 CL-USER 3 > (defmacro += (x y)
 (list 'setf x '(+ x y)))
+=

CL-USER 4 > (macroexpand-1 '(+= a 1))
(SETF A (+ X Y))
T

</code>
 </pre>
  
    上面的宏观扩展表明了这一点
     <code>
 x
 </code>
     和
     <code>
 y
 </code>
     使用，这是错误。
我们需要在宏函数中评估它们：
  
   <pre>
 <code>
 CL-USER 5 > (defmacro += (x y)
 (list 'setf x (list '+ x y)))
+=

CL-USER 6 > (macroexpand-1 '(+= a 1))
(SETF A (+ A 1))
T

</code>
 </pre>
  
    上面看起来更好。请注意顺便说一句。该宏已经存在于标准的Common Lisp中。它被称为
     <code>
 incf
 </code>
    。
  
  
    另请注意，您不需要它，因为您的副作用不需要
     <code>
 iterate
 </code>
     码。我们可以使用
     <code>
 +
 </code>
     函数没有设置任何变量。
  
  
    的
      样式
    </强>
  
  
    您可能希望稍微调整一下Lisp样式：
  
  <UL>
    <LI>
      没有camelCase - ＆gt;无论如何，默认阅读器不区分大小写
    </LI>
    <LI>
      说变量名称 - ＆gt;提高可读性
    </LI>
    <LI>
      宏/函数中的文档字符串 - 提高了可读性
    </LI>
    <LI>
       <code>
 GENSYM
 </code>
       采用参数字符串 - ＆gt;提高生成代码的可读性
    </LI>
    <LI>
      没有悬空的括号，括号之间没有空格 - ＆gt;使代码更紧凑
    </LI>
    <LI>
      更好的自动缩进 - ＆gt;提高可读性
    </LI>
    <LI>
      身体标有
       <code>
 &body
 </code>
       而不是
       <code>
 &rest
 </code>
        - ＆GT;使用改进宏窗体的自动缩进
       <code>
 iterate
 </code>
    </LI>
    <LI>
       <code>
 do
 </code>
       不需要
       <code>
 +=
 </code>
       宏来更新迭代变量，因为
       <code>
 do
 </code>
       更新变量本身 - ＆gt;不需要副作用，我们只需要计算下一个值
    </LI>
    <LI>
      通常编写一个好的宏比编写一个普通的函数要花费更多的时间，因为我们在元级别编程并生成代码，还有更多要思考和一些基本的陷阱。所以，慢慢来，重新阅读代码，检查扩展，编写一些文档，......
    </LI>
  </UL>
  
    应用于您的代码，它现在看起来像这样：
  
   <pre>
 <code>
 (defmacro iterate (variable start end step &body body)
 "Iterates VARIABLE from START to END by STEP.
For each step the BODY gets executed."
 (let ((end-variable (gensym "END"))
 (step-variable (gensym "STEP")))
 `(do ((,variable ,start (+ ,variable ,step-variable))
 (,end-variable ,end)
 (,step-variable ,step))
 ((> ,variable ,end-variable) t)
 ,@body)))

</code>
 </pre>
  
    在Lisp中，第一部分 - 变量，开始，结束，步骤 - 通常写在列表中。例如，参见
     <code>
 DOTIMES
 </code>
    。这使得例如可以制作
     <code>
 step
 </code>
     可选，并为其提供默认值：
  
   <pre>
 <code>
 (defmacro iterate ((variable start end &optional (step 1)) &body body)
 "Iterates VARIABLE from START to END by STEP.
For each step the BODY gets executed."
 (let ((end-variable (gensym "END"))
 (step-variable (gensym "STEP")))
 `(do ((,variable ,start (+ ,variable ,step-variable))
 (,end-variable ,end)
 (,step-variable ,step))
 ((> ,variable ,end-variable) t)
 ,@body)))

</code>
 </pre>
  
    让我们看看扩展，格式化以便于阅读。我们使用这个功能
     <code>
 macroexpand-1
 </code>
    ，它只进行一次宏扩展 - 而不是宏扩展生成的代码。
  
   <pre>
 <code>
 CL-USER 10 > (macroexpand-1 '(iterate (i 1 10 2)
 (print i)
 (print (* i 2))))
(DO ((I 1 (+ I #:STEP2864))
 (#:END2863 10)
 (#:STEP2864 2))
 ((> I #:END2863) T)
 (PRINT I)
 (PRINT (* I 2)))
T

</code>
 </pre>
  
    您可以看到由其创建的符号
     <code>
 gensym
 </code>
     也可以通过他们的名字来识别。
  
  
    我们也可以使用函数让Lisp格式化生成的代码
     <code>
 pprint
 </code>
     给予正确的保证金。
  
   <pre>
 <code>
 CL-USER 18 > (let ((*print-right-margin* 40))
 (pprint
 (macroexpand-1
 '(iterate (i 1 10 2)
 (print i)
 (print (* i 2))))))

(DO ((I 1 (+ I #:STEP2905))
     (#:END2904 10)
     (#:STEP2905 2))
    ((> I #:END2904) T)
  (PRINT I)
  (PRINT (* I 2)))

</code>
 </pre>
</DIV>