如何定义无残留宏？Common Lisp与Emacs Lisp技术问询

在Emacs Lisp和Common Lisp中，都可以通过定义宏实现完全移除包裹代码的需求——宏是在代码求值前展开，能直接丢弃被包裹的内容，不会像函数那样强制求值参数，也不会留下多余的残留。

Emacs Lisp 实现 #

定义erase-code宏，让它直接返回nil，这样宏展开后，原包裹的代码会被完全丢弃，既不会被求值，也不会产生任何副作用：

(defmacro erase-code (&rest body)
  "将包裹的代码完全移除，展开后无任何残留。"
  nil)

使用场景示例 #

• 作为顶层表达式：(erase-code (display-time-mode t)) 展开后变为nil，求值时不会执行display-time-mode，对程序无任何影响。
• 在custom-set-variables中使用：如果需要彻底移除某个参数项，仅用宏可能仍会留下nil，此时可以结合Emacs Lisp的阅读器条件#+nil，直接让阅读器忽略目标表达式：

  (custom-set-variables
   '(some-variable t)
   #+nil '(display-time-mode t)
   '(another-variable t))
  

  这种写法会让'(display-time-mode t)完全不被纳入代码，真正做到“无残留”。

Common Lisp 实现 #

Common Lisp的实现逻辑和Emacs Lisp一致，宏定义如下：

(defmacro erase-code (&rest body)
  "移除包裹的代码，无残留。"
  nil)

同样，Common Lisp也支持#+nil阅读器条件，可直接忽略目标表达式，达到彻底移除的效果。

原off函数的问题根源 #

函数调用时会先求值所有参数，再执行函数体：

• 比如(off '(display-time-mode t))会先把'(display-time-mode t)求值为列表，再传给off，最后返回nil；
• 这会导致两个问题：被包裹的参数仍会被求值（若参数是复杂表达式，可能产生意外副作用）；返回的nil会留在代码中，比如在custom-set-variables的参数列表里，nil不是合法的变量设置项，引发报错。

而宏在展开阶段就直接丢弃了被包裹的代码，既不会求值参数，也不会留下多余返回值，完美解决了上述问题。

内容的提问来源于stack exchange，提问作者shynur