Lisp函数内添加元素后原列表未更新，求解决方案

你写的函数之所以没效果，是因为Common Lisp里函数参数是按值传递的——lst只是原列表*assertions*的一个副本，你在函数里用setf lst修改的只是这个副本，根本碰不到全局变量*assertions*本身。

如果你一定要不依赖返回值更新原列表，有几种可行的方式：

1. 直接在函数里操作全局变量 #

这种方式最简单，但耦合性高，函数只能用来更新*assertions*：

(defun add-element (e)
  (setf *assertions* (cons e *assertions*)))

调用时直接传元素就行：

CL-USER> (add-element '(g h))
((G H) (A B) (C D) (E F))
CL-USER> *assertions*
((G H) (A B) (C D) (E F))

2. 传递全局变量的符号 #

让函数接收变量名（符号），通过symbol-value来修改它的值，这样函数可以用来更新任意全局列表变量：

(defun add-element (e var-name)
  (setf (symbol-value var-name) (cons e (symbol-value var-name))))

调用时要把变量名加引号传进去：

CL-USER> (add-element '(g h) '*assertions*)
((G H) (A B) (C D) (E F))
CL-USER> *assertions*
((G H) (A B) (C D) (E F))

3. 用容器包裹原列表 #

把原列表放在一个单元素的容器（比如一个cons cell）里，函数修改容器里的内容：
先初始化包裹后的变量：

CL-USER> (setf *assertions* (list '((A B) (C D) (E F))))
(((A B) (C D) (E F)))

然后写函数：

(defun add-element (e lst-wrapper)
  (setf (car lst-wrapper) (cons e (car lst-wrapper))))

调用时传这个包裹容器：

CL-USER> (add-element '(g h) *assertions*)
((G H) (A B) (C D) (E F))
CL-USER> *assertions*
(((G H) (A B) (C D) (E F)))

这种方式适合不想直接操作全局变量符号的场景，也能用于局部变量。

其实在Common Lisp里，更惯用的方式是让函数返回新列表，然后手动赋值给原变量，比如(setf *assertions* (add-element '(g h) *assertions*))——这种方式更符合函数式编程的风格，也避免了副作用带来的潜在问题。

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