macros - Common Lisp (SBCL) 中的素数宏

Question

这是我编写的用于测试素数的宏:

(defmacro primep (num)
  `(not (or ,@(loop for p in *primes* collecting `(= (mod ,num ,p) 0)))))

*primes* 是一个动态变量，其中包含到目前为止生成的素数列表(上下文是“下一个素数生成器”函数)。以下是一些 eval-ed 语句的结果:

(let ((*primes* (list 2 3)))
  (primep 6))
-> T

(let ((*primes* (list 2 3)))
  (macroexpand-1 '(primep 6))
-> (NOT (OR (= (MOD 6 2) 0) (= (MOD 6 3) 0)))
-> T

(NOT (OR (= (MOD 6 2) 0) (= (MOD 6 3) 0)))
-> NIL

这是怎么回事？

Answer 1

你应该为此使用一个函数。宏用于生成代码。这里的问题是 *PRIMES* 的 LET 绑定(bind)发生在运行时，而不是在宏展开期间。

作为函数的代码看起来像这样。

(defparameter *primes* (list))

(defun primep (num)
  (not (loop for p in *primes* thereis (zerop (mod num p)))))

(let ((*primes* (list 2 3)))
  (primep 6))
;=> NIL

(let ((*primes* (list 2 3)))
  (primep 7))
;=> T