为何Emacs Lisp（与Common Lisp不同）将引用符号视为未定义变量？

问题场景 #

以下代码在Common Lisp中可正常运行，但在Emacs Lisp中执行时会触发void-variable hammer错误，拒绝接受传入的引用符号'hammer：

(defvar *glist* nil)

(defun add-to-global-list (item ctgry)
  (let ((elem (assoc ctgry *glist*))
        (newlst *glist*))
    (cond
     (elem
      (setf (cdr elem) (list (append (cadr elem) (list item)))))
     (t
      (setf newlst (append newlst (list (list ctgry (list item)))))))
    newlst))

(setf *glist* (add-to-global-list 'hammer 'tools))

核心差异解释 #

两者的本质区别在于符号的存在性与求值规则：

• Common Lisp：符号是完全独立的一等公民，符号的存在和它是否绑定值、是否被定义为函数毫无关系。使用'hammer引用符号时，直接返回符号本身，哪怕这个符号从未被赋值或定义，也能自由地作为数据传递、存储和使用，不会触发任何错误。

• Emacs Lisp：在传统动态绑定模式下，Emacs会将未被定义的符号（既没通过defvar/setq声明为变量，也没被defun定义为函数）标记为“void变量”。虽然'hammer本身是阻止求值的，但当这个符号被作为列表元素存储或后续处理时，Emacs的求值器或调试器会检查符号的绑定状态，从而抛出void-variable错误。简单说，ELisp要求符号必须先“存在”（被定义）才能被当作数据使用，而CL无此限制。

解决方法（Emacs Lisp环境） #

要让这段代码在ELisp中运行，只需提前声明符号hammer为变量即可（无需赋值）：

(defvar *glist* nil)
(defvar hammer) ; 声明符号hammer，避免void-variable错误

(defun add-to-global-list (item ctgry)
  (let ((elem (assoc ctgry *glist*))
        (newlst *glist*))
    (cond
     (elem
      (setf (cdr elem) (list (append (cadr elem) (list item)))))
     (t
      (setf newlst (append newlst (list (list ctgry (list item)))))))
    newlst))

(setf *glist* (add-to-global-list 'hammer 'tools))

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