SBCL宏未绑定变量问题：判断传入列表首元素为defun

宏和函数的核心区别在于：函数调用时会先求值所有参数，而宏在编译展开阶段直接接收原始表达式，不会自动对参数求值。

你调用(check '(defun my-function (x y)))时，宏的参数fun-param拿到的是(quote (defun my-function (x y)))这个完整表达式，而不是求值后的(defun my-function (x y))列表。此时(first fun-param)取出的是quote，宏展开后代码变成直接执行quote——但quote是特殊运算符，不能单独作为表达式运行，所以报“quote未绑定”错误。

要获取到被quote包裹的目标函数定义列表，需要取fun-param的第二个元素，再从中提取首元素：

(defmacro check (fun-param)
  (first (second fun-param)))

(format t "~a~%" (check '(defun my-function (x y))))

运行后会输出DEFUN，符合你的预期。

如果要确保传入的表达式符合要求（必须是带quote的defun定义），可以在宏里添加编译期检查：

(defmacro check (fun-param)
  (unless (and (listp fun-param)
               (eq (first fun-param) 'quote)
               (listp (second fun-param))
               (eq (first (second fun-param)) 'defun))
    (error "Invalid input: must be a quoted defun definition!"))
  (first (second fun-param)))

这样如果传入非法参数（比如(check defun)），编译阶段就会直接报错，提前拦截问题。

• 用eval包裹first：(eval (first fun-param))试图求值quote，但quote是特殊形式，不能被求值，因此报错。
• 用equal判断首元素为"defun"：Lisp中符号defun和字符串"defun"是完全不同的类型，equal不会返回真，应该用eq或eql来判断符号相等。

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