lisp - 以下使用 gensym 的 Common Lisp 宏有什么问题？

Question

学习 Common Lisp(使用 GNU CLISP 2.43).. 所以可能是一个菜鸟错误。示例是“打印 x 和 y 之间的素数”

(defun is-prime (n)
  (if (< n 2) (return-from is-prime NIL))

  (do ((i 2 (1+ i)))
      ((= i n) T)
    (if (= (mod n i) 0) 
        (return NIL))))

(defun next-prime-after (n)
  (do ((i (1+ n) (1+ i)))
      ((is-prime i) i)))

(defmacro do-primes-v2 ((var start end) &body body)
  `(do ((,var (if (is-prime ,start)
                  ,start
                  (next-prime-after ,start))
              (next-prime-after ,var)))
       ((> ,var ,end))
     ,@body))

(defmacro do-primes-v3 ((var start end) &body body)
  (let ((loop-start (gensym))
        (loop-end (gensym))) 
    `(do ((,loop-start ,start)
          (,loop-end ,end)
          (,var (if (is-prime ,loop-start)
                    ,loop-start
                    (next-prime-after ,loop-start))
                (next-prime-after ,var)))
         ((> ,var ,loop-end))
       ,@body )))

do-primes-v2 完美运行。

[13]> (do-primes-v2 (p 10 25) (format t "~d " p))11 13 17 19 23

接下来我尝试使用 gensym 来避免宏扩展中的命名冲突 - do-primes-v3。但是我坚持使用

*** - EVAL: variable #:G3498 has no value

尝试使用宏扩展来查看是否可以发现错误，但我不能。

[16]> (macroexpand-1 `(do-primes-v3 (p 10 25) (format t "~d " p)))(DO ((#:G3502 10) (#:G3503 25)  (P (IF (IS-PRIME #:G3502) #:G3502 (NEXT-PRIME-AFTER #:G3502))     (NEXT-PRIME-AFTER P))) ((> P #:G3503)) (FORMAT T "~d " P)) ;

Answer 1

使用 DO* 而不是 DO。

DO 在绑定(bind)不可见的范围内初始化绑定(bind)。 DO* 在绑定(bind) 可见的范围内初始化绑定(bind)。

在这种特殊情况下，var 需要引用其他绑定(bind) loop-start。