Lisp如何动态分配符号？Lisp符号的基础数据结构/机制？

Question

Lisp允许您在列表中定义诸如A和B之类的符号

(setf mylist '(+ 1 2 A))

然后您可以随时返回并将A设置为值,例如.(set 'A 100).此时,您可以执行(eval mylist)并返回103.然后,您可以反复将A重新分配给任何新值.

似乎Lisp正在保存文字"A"(符号名称)和它的指定值.这允许动态变量分配/重新分配.它有点像查找列表.允许这种情况的基础数据结构或机制是什么？

编辑:具体来说,这是如何在内部(或外部,因为包看起来直接参与)完成的？寻找一个深入的技术答案,重点关注它在Lisp-2中的实现方式.

Answer 1

请注意,'(+ 1 2 A)不是变量,而是形式(引用(+ 1 2 A)),它评估对象.列表中的A是符号,但它不是变量.

变量是由符号表示的存储位置.

Re:像Lisp这样的语言在运行时如何进行这种评估？

(常见)Lisp有两种变量:动态和词法.动态变量可以在运行时进行评估,因为您可以获取符号并确定它是否具有动态变量绑定,并检索或分配该绑定.

词汇变量是在编译时被"烘焙"的变量:没有可移植的方式来反映它们的名称.

两种变量都可用于不同的目的.

动态变量可以存储在与符号相关联的位置,称为其值单元格.(这个术语实际上出现在ANSI Common Lisp中).该符号用作检索单元格的一种键(如果有的话).例如,值单元格可以cdr是存储在散列表中的某个cons单元的字段,其中键是符号.各种实现都是可能的.

有一个复杂的问题,Lisp支持动态变量的本地重新绑定:即您可以使用let或其他绑定结构为隐藏任何现有绑定的动态变量创建本地绑定.当构造退出时(以任何方式:包括非本地出口throw等),隐藏的绑定将被恢复.这种动态范围必须以某种方式实现,这意味着动态变量查找不一定只是追逐从符号到值单元格的指针.

更复杂的是,多线程Lisps的用户希望拥有动态变量的每线程绑定.

这里可能有更多信息:http://en.wikipedia.org/wiki/Scope_%28computer_science%29#Dynamic_scoping