我想定义一个可以注释s-expression的宏，例如：
希望
(list 1 2 (comment-macro (something))) -> (1 2)
但是如果我这样定义宏
(defmacro comment-macro (x))
上面表格的结果其实是
(1 2 nil)
【问题讨论】：
#=(and) 和 #+(or) 是相关的（并且 sds's answer 包括它们）。
标签： macros common-lisp
您无法使用 常规 宏完成您想要的，因为它的主值（或 nil，如果没有返回值）将始终被使用。
但是，有两种常见的选择：
评论：#| ... |# - 用于一般文本
特征表达式：#+(or) ... 或 #-(and) ... - 用于（暂时？）禁用代码
您还可以使用set-macro-character 和set-dispatch-macro-character 定义自己的read macros。
【讨论】：
#|...|# 实际上也是阅读器宏，它们也是更好的选择，因为条件阅读器宏旨在与功能一起使用。
nil）
(values) 返回零值。
在 Common Lisp 中，无法定义扩展为空的宏。从宏返回的primary value（即macro function）总是插入到宏调用的位置。
【讨论】：
#| ... |# 宏）。
简短的回答是你不能，但仍有许多其他方法可以解决它。
首先我考虑在宏的最后一句中使用 (values)，但在 SBCL 中不起作用——它似乎等于 (values) 与 nil。
更简单的思考方式是使用remove：
(remove nil '(1 2 (comment-macro (x)))))
但它可能无法随时工作。
最好的方法是使用条件：
(aif (comment-macro (x))
(list 1 2 it)
(list 1 2))
对于我遇到的条件，我只是把“我必须让它什么都不返回”的情况变成“在适当的条件下我构造适当的代码”。我希望它有效。
【讨论】：