SBCL的Lisp作用域处理差异及无全局变量解决方案咨询

这现象完全正常，核心原因是Common Lisp的标准规则——词法作用域，而你之前用的Emacs/安卓环境大概率采用了非标准的动态作用域（或是混淆了Elisp和Common Lisp？毕竟Elisp是动态作用域），才让little能“越级”访问big里的局部变量num2。

SBCL是严格遵循Common Lisp标准的实现，在词法作用域规则下，little是全局定义的函数，它的词法环境里根本没有big函数内的num2，所以报错才是符合规范的行为。

不用全局变量的解决方法：闭包 #

要让little能访问big里的num2，同时不把num2变成全局变量，最地道的做法是用闭包——把little定义在big的作用域内，让它捕获局部变量num2：

(defun big (num)
  (let ((num2 5))  ; 用let定义局部变量比直接setf更规范
    (flet ((little (n)  ; 在big内部定义局部函数little
             (+ num2 n)))
      (little num))))

这样不管在哪个标准Common Lisp实现里（包括SBCL），little都能正常访问num2，因为它的词法环境包含了big的局部变量。

处理mapcar单参数限制的技巧 #

你提到用mapcar时因为它只接受单参数函数，没法传递num2，这时候闭包依然是最佳解决方案——直接生成一个绑定了num2的单参数lambda函数传给mapcar：

方法1：用lambda直接生成闭包（简洁版）

(defun process-list (lst target-num)
  (mapcar (lambda (n) (+ target-num n)) lst))

;; 调用示例
(process-list '(1 2 3) 5)  ; 返回 (6 7 8)

方法2：用局部函数（适合复杂逻辑）

如果little的逻辑比较复杂，不想写在lambda里，也可以在函数内部定义局部函数：

(defun process-list (lst target-num)
  (flet ((add-target (n)
           (+ target-num n)))
    (mapcar #'add-target lst)))

两种方式本质都是闭包，让mapcar拿到的函数已经“记住”了target-num的值，不需要额外传参。

内容的提问来源于stack exchange，提问作者Gregg Arthur Evans