在一些文档中，我发现他们说答案是 *var* 表示全局变量。
但是当我尝试时，我无法确定。
FIRST-PACKAGE[27]> (defvar b 1)
B
FIRST-PACKAGE[28]> b
1
FIRST-PACKAGE[29]> (defun add_b (x) (+ x b))
ADD_B
FIRST-PACKAGE[30]> (add_b 3)
4
FIRST-PACKAGE[31]>
在我的示例中，如果答案正确，b 仍然不是全局的。
但是为什么add_b这个功能还能用呢？
如何理解这个例子和*var*？
谢谢~
【问题讨论】：
标签： lisp common-lisp
我在这里谈论的是 Common Lisp：
DEFVAR 声明一个全局变量并声明它使用动态绑定。它是一个特殊变量。我们使用*b* 和它周围的星号作为约定来提醒我们它是一个特殊变量 - 它使用动态绑定。任何其他名称都可以。这只是一个约定。在您的示例中，您使用名称b。我不建议这样做。请遵循 DEFVAR 声明为 *b* 的约定和命名变量。相同的规则对DEFPARAMETER 很有用。
你的例子是什么意思不清楚。当然你可以在函数中使用全局变量。
【讨论】：
好的。在 Common Lisp 中，实际上有两种类型的变量：你一直使用的变量，它们是词法绑定的，以及“特殊”变量，它们是动态绑定的。 “特殊”变量是使用defvar、defparameter 或声明创建的。 *earmuffs* 是一种约定，用于提醒 Lisp 程序员变量是特殊的。下面是一些例子：
(defvar b 3)
(defun add-to-b (x)
(+ x b))
(add-to-b 1)
=> 4
(let ((b 4))
(list (add-to-b 1) b))
=> (5 4)
(let ((a 3))
(defun add-to-a (x)
(+ x a)))
(add-to-a 1)
=> 4
(let ((a 4))
(list (add-to-a 1) a))
=> (4 4)
如您所见，更改 let 中的特殊变量的值会使该值更改“涓滴”到该 let 中的所有函数调用，而常规的、词法绑定的值更改变量不会被向下传递，事实上，词法绑定的变量是通过向上移动位于函数 wan defined 的范围来查找的，而特殊变量是通过向上移动的范围来查找的该函数被调用。 *earmuffs* 对于阻止程序员意外重新绑定特殊变量很有用，因为它们使特殊变量看起来不同。
【讨论】：
首先：为了在 Common Lisp 中声明一个“特殊”变量，你必须通过defvar 引入它：
(devar *variable* "initial value")
变量名周围的“耳罩”(*) 只是一个约定，它告诉人类读者该变量是特殊的。这与告诉编译器该变量是特殊的无关。请注意，* 字符是变量名称的一部分（是的，Common Lisp 允许在符号名称中使用 * - 以及一大堆其他“不寻常”字符）
【讨论】：