本文探讨了Common Lisp的变量机制，比较了Lisp-1与Lisp-2的区别，解释了绑定、词法作用域与动态作用域的原理及其混合使用。Common Lisp的函数与数据命名空间分离，词法作用域在函数定义时确定，而动态作用域依赖于调用链。通过示例展示了两种作用域的不同表现。