即使我在函数中增加了它的值，它也会在屏幕上打印 1。有没有办法通过引用调用参数，以便在函数调用后使用它？
(defparameter a 1)
(defun foo (x)
(+ x 1))
(foo a)
(print a)
【问题讨论】：
标签： lisp common-lisp
您的代码不包含任何就地修改存储位置的操作员的痕迹。变量a 和x 都不会发生突变。
函数foo返回一个比输入数字大1的数字。
注意a 和x 是不同的变量；如果我们要增加 x，这对 a 没有影响。
数字不是 ANSI Lisp 中的可变对象；如果我们用(incf x) 增加一个变量x，那么会发生(+ 1 x) 的值被计算出来，并将这个新值存储回x 变量中。
ANSI Lisp 函数参数使用“按值传递”，就像大多数主要的 Lisp 方言一样。当(foo a) 被调用时，参数表达式a 被缩减为一个值：它产生值1。此值不再与变量关联。它被传递到函数中而没有任何来自a 的记忆。在函数内部，实例化了一个新变量x，它是函数的本地变量；这将接收参数值的副本：它使用1 进行初始化。所以x与a无关；它刚刚收到相同的值。
【讨论】：
一般解决方案 - 破坏性访问变量
我想，你想知道的其实是这样的：
(defparameter a 1)
(defmacro foo (x)
`(setf ,x (+ ,x 1))) ;; this macro takes the variable given for x
;; accesses its memory location using `setf`
;; and changes its value to 2
;; by increasing the accessed value by 1
(foo a) ;; a's value becomes 2
a ;; 2
但是，作为普通 lisp 的初学者，要小心地改变周围的值。虽然我不想带你去享受 Lisp 的力量。 :)
特殊解决方案-foo = incf
但是foo（将给定值加 1）
在 common lisp 中恰好是 incf，因为经常需要这个增量。所以对于这种非常特殊的情况，你可以使用incf。
(defparameter a 1)
a ;; => 1
(incf a) ;; incf mutates a to 2 - in exactly the way foo does
a ;; => 2 ;; a ist after that changed.
注意，还有 decf 将变量减 1 - 与 incf 相反。
全局变量的特殊解决方案
但是对于全局变量，你可以使用很正常的defparameter重新赋值给a：
(defparameter a 1)
(defparameter a (foo a)) ;; reassigns new value `2` to `a`
a ;; returns 2, since mutated now
对第一个版本的评论：
(setf <var> <new-value>) 就像一个指针访问变量的内存位置并将<new-value> 给定的内容写入它。
所以在 Lisp 中，你必须使用 defmacro 和 setf 的组合来模仿或实际执行引用调用，就像在 C 或 Python 中一样。
但是您已经从 Python 或 C 中知道，通过引用调用会引发意想不到的副作用。由于性能原因，Python 默认执行按引用调用（因为 Python 被解释，如果每次调用函数时都按值调用会变得非常慢）。但是对于 Lisp，你/你至少可以在你想要比解释 Python 快的数量级时（好吧，我正在简化 - Python 当然可以调用 C 函数并且也非常快 - 但是，纯 Python 当然会是数量级比编译的 Lisp 慢）。你还有很多其他的可能性来编程同样的东西。所以不要试图在 Lisp 中模仿 Python 或其他程序的函数调用行为——这是错误的做法。
学习函数式编程 (FP) 规则，它尽量不改变任何值，而是始终按值调用（就像你的函数 foo 所做的那样）。它产生 2 但留下 a 相同。推理此类程序对大脑更友好，因此在许多情况下可以避免出现可避免的错误。顺便说一句，在处理 Lisp 时，FP 绝对是你应该学习的东西。 FP 是您在学习 Lisp 时学到的许多其他概念之一——我不想错过它。
破坏性函数只有在状态确实不可避免和需要时才有意义，尤其是在性能很重要的情况下。
【讨论】：
(defun foo (x) (setf a (+ x 1)))。