使用 lisp 宏生成多语句代码

Question

根据我的理解，LISP 中宏的用法之一是生成所需的代码。

我有以下主体代码：

(list (list "aVar" "Hi")
      (list "bVar" 10)
      (list "addSW1" (equal dpl->addSW1)) 
      ...
      (list "addSW100" (equal dpl->addSW100))) 

所以，基本上我正在尝试编写为 SW1 到 SW100 生成代码的宏，这样我就不需要编写 100 行。

我创建了我的第一个宏：

(defmacro myMac1 (dpl sw)
 `(list ,switchStr "boolean" (equal "Y" (get ,dpl ,sw))))

这对我有用，所以我现在可以执行 (myMac1 "addSW1") 来生成单个列表语句。

然后，我创建了第二台 mac：

(defmacro myMac2 (dpl @rest allSwitches)
 `(mapcar (lambda (sw)
            (myMac1 ,dpl sw))
          ,@allSwitches))

所以，如果我写 (myMac2 dpl "addSW1" "addSW2" ... "addSW100") 它将生成：

(list (list "addSW1" (equal dpl->addSW1)) 
      ... till 100))

但是，在主体代码中我不需要列表的列表。我只想要 100 个列表。

有什么解决办法吗？抱歉，描述很长：P。

Answer 1

您必须了解编译时间和评估时间之间的区别。

该宏在编译时展开，并且引用的所有内容都按原样插入到源代码中（不进行评估）。因此 (macroexpand-1 '(myMac2 1 2 3)) 将产生 (mapcar (lambda (sw) (myMac2 1 sw)) 2 3) （另请注意， 你必须使用&rest代替@rest。

如果你想获得mapcar的结果， ，那个形式不应该被引用：

(defmacro myMac2 (dpl &rest allSwitches)
  (mapcar (lambda (sw)
            `(myMac1 ,dpl ,sw))
          allSwitches))
(macroexpand-1 '(myMac2 1 2 3)) => ((myMac1 1 2) (myMac1 1 3))

但这不是一个有效的形式，你想要的是(list (myMac1 1 2) (myMac1 1 3))。 list 围绕生成的表单（为什么你应该在这里使用 ,@ 留作练习；）

(defmacro myMac2 (dpl &rest allSwitches)
  `(list ,@(mapcar (lambda (sw)
                    `(myMac1 ,dpl ,sw))
                   allSwitches)))
(macroexpand-1 '(myMac2 1 2 3)) => (list (myMac1 1 2) (myMac1 1 3))