Common Lisp中的变量
💡
原文中文，约2700字，阅读约需7分钟。
📝
内容提要
本文探讨了Common Lisp的变量机制，比较了Lisp-1与Lisp-2的区别，解释了绑定、词法作用域与动态作用域的原理及其混合使用。Common Lisp的函数与数据命名空间分离，词法作用域在函数定义时确定，而动态作用域依赖于调用链。通过示例展示了两种作用域的不同表现。
🎯
关键要点
- 本文探讨了Common Lisp的变量机制，比较了Lisp-1与Lisp-2的区别。
- Common Lisp的函数名字空间和数据的名字空间是分离的。
- 绑定是变量名与对象的映射关系，作用域决定了哪个变量绑定了哪个存储单元。
- 词法作用域是静态作用域，变量名只能在函数或代码区域内存在。
- 动态作用域的变量拥有全局的绑定栈，局部变量会创建新的绑定并压入栈中。
- Common Lisp使用词法作用域，示例代码展示了其行为。
- 使用special函数可以让Common Lisp中的变量具备动态作用域。
- 可以混合使用词法作用域和动态作用域，示例代码展示了这一点。
❓
延伸问答
Common Lisp中的变量机制有什么特点？
Common Lisp的变量机制包括函数名字空间和数据名字空间的分离，使用词法作用域和动态作用域的混合，以及绑定概念的应用。
Lisp-1与Lisp-2有什么区别？
Lisp-1使用单一名字空间，而Lisp-2（如Common Lisp）则将函数名字空间和数据名字空间分离。
什么是词法作用域？
词法作用域是指变量名的作用域在函数定义时确定，变量名只能在定义的函数或代码区域内存在。
动态作用域是如何工作的？
动态作用域允许变量在全局绑定栈中存在，局部变量会创建新的绑定并压入栈中，引用时从栈顶查找。
如何在Common Lisp中实现动态作用域？
可以使用special函数来指定变量为动态绑定，从而实现动态作用域。
Common Lisp中可以混合使用词法作用域和动态作用域吗？
可以，Common Lisp允许在代码中混合使用词法作用域和动态作用域，通过适当的声明来实现。
➡️
