如何在SBCL中使用变量提供形式定义宏并使其正常运行？

错误原因 #

你的代码报错本质是宏定义时机与函数执行逻辑不兼容：

• Common Lisp里defmacro是顶层定义形式，用于在编译期或全局环境中定义宏，并非为函数运行时的局部环境设计。
• 当你在test函数里调用(macquer)时，Lisp求值器会先尝试将其当作函数调用，但此时函数内的macquer宏定义还未被当前执行环境正确识别，因此抛出“MACQUER是宏而非函数”的错误。
• 重定义警告则是因为每次调用test函数，都会重新定义全局的macquer宏，覆盖之前的定义。

修复方案 #

你的需求是生成查询并执行，完全不需要借助宏——宏的核心作用是编译期代码转换，这里直接用变量求值或函数调用就足够：

最简修正代码 #

(defun test ()
  (let ((quer '(query (:select '* :from 'table))))
    (eval quer)))

如果query是可以直接调用的函数（比如postmodern库中的query），甚至不需要eval，直接写：

(defun test ()
  (query :select '* :from 'table))

为什么原方案用宏不合理？ #

你写的宏只是返回变量quer的值，这种场景下宏完全是冗余的。宏的优势是编译期动态生成代码，而你这里只是要在运行时生成并执行一个查询表达式，用eval或直接调用函数才是正确思路。

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