为何调用Common Lisp的stack-push函数无法修改全局栈*some-stack*？

嘿，这个问题是Common Lisp新手很容易踩的经典坑，核心原因是Common Lisp的参数传递是按值传递，加上你对setf的作用范围理解有点偏差。我给你掰扯清楚：

问题根源 #

当你调用(stack-push *some-stack* '(a b c d e))的时候，发生了这几件事：

• 首先计算*some-stack*的当前值，把这个值的副本传给函数stack-push的stack参数。
• 函数内部的stack是一个局部变量，它和全局的*some-stack*只是初始值相同，但完全是两个独立的绑定。
• 你在函数里写的(setf stack ...)，只是修改了这个局部变量的值，根本碰不到全局的*some-stack*。函数执行完后，局部变量被销毁，全局变量自然一点变化都没有。

解决方案 #

根据你的需求，有几种常见的处理方式：

方案1：函数返回新栈，手动赋值（推荐，符合函数式风格） #

修改函数让它返回更新后的栈，然后你手动把返回值赋值给全局变量：

(defun stack-push (stack element)
  (if (not (listp element))
      (cons element stack)
      (append (reverse element) stack)))

调用的时候这么写：

(setf *some-stack* (stack-push *some-stack* '(a b c d e)))

这种方式没有副作用，函数的行为更清晰，也更容易测试和复用。

方案2：用宏直接修改目标变量 #

如果你希望调用方式和原来一样（不用手动写setf），可以把stack-push改成宏，因为宏可以直接操作变量的绑定：

(defmacro stack-push (stack element)
  `(setf ,stack
         (if (not (listp ,element))
             (cons ,element ,stack)
             (append (reverse ,element) ,stack))))

现在直接调用(stack-push *some-stack* '(a b c d e))，宏会自动展开成修改*some-stack*的代码，全局变量就会更新了。

方案3：直接操作全局变量（不推荐） #

如果你只需要操作*some-stack*这一个全局栈，可以直接在函数里硬编码这个变量名：

(defun stack-push (element)
  (if (not (listp element))
      (setf *some-stack* (cons element *some-stack*))
      (dolist (current-el (reverse element))
        (setf *some-stack* (cons current-el *some-stack*)))))

但这种方式的问题是函数完全不通用，只能操作这一个全局变量，不建议在实际代码里这么写。

内容的提问来源于stack exchange，提问作者Олег