当我不想要它时,Lisp宏评估表达式

Question

我试图在lisp中编写一个宏,它返回传递给它的第n个表达式,并且只计算该表达式.例如:

(let ((n 2))
  (nth-expr n (/ 1 0) (+ 1 2) (/ 1 0)))

应该返回3.我得到除以0的错误.我的宏定义如下:

(defmacro nth-expr (n &rest expressions)
  (let ((i (gensym))
        (expr (gensym)))
    `(do ((,i 1 (1+ ,i))
          (,expr ,expressions (cdr ,expr)))
         ((= ,i ,n) (car ,expr)))))

知道我做错了什么吗？谢谢.

编辑:

感谢@Vsevolod Dyomkin帮助我完成上述部分.现在还有一个问题.当我尝试做的时候

(let ((n 3) (x "win") (y "lose"))
  (nth-expr n (princ x) (princ x) (princ y) (princ x)))

我收到了错误Error: Attempt to take the value of the unbound variable 'Y'.

我的更新代码如下所示:

(defmacro nth-expr (n &rest expressions)
  (let ((i (gensym))
        (expr (gensym))
        (num (gensym)))
    `(let ((,num (eval ,n)))
       (do ((,i 1 (1+ ,i))
            (,expr ',expressions (cdr ,expr)))
           ((= ,i ,num) (eval (car ,expr)))))))

Answer 1

最主要的是FIRST拿出扩展.

工作代码应该是什么样的？宏用法扩展到的代码？

然后你编写宏来创建这样的代码.

确保您没有评估宏中提供的任何代码.

CASE表单是一个简单有用的扩展目标.

(case n
  (0 (do-this))
  (1 (do-that))
  (2 (do-something-else)))

现在编写一个扩展(nth-expr n (/ 1 0) (+ 1 2) (/ 1 0))为CASE表单的宏应该很容易......

Answer 2

你必须qoute ,expressions这样：

(defmacro nth-expr (n &rest expressions)
  (let ((i (gensym))
        (expr (gensym)))
    `(do ((,i 1 (1+ ,i))
          (,expr ',expressions (cdr ,expr)))
         ((= ,i ,n) (car ,expr)))))

否则，您将得到的是这样的 -expressions列表按原样插入：

CL-USER> (let ((n 2))
           (macroexpand-1 '(nth-expr n (/ 1 0) (+ 1 2) (/ 1 0))))
(DO ((#:G864 1 (1+ #:G864))
     (#:G865 ((/ 1 0) (+ 1 2) (/ 1 0)) (CDR #:G865)))
    ((= #:G864 N) (CAR #:G865)))