预定义全局变量的词法绑定

问题描述

这是让我困惑的片段：

(setq lexical-binding t)
(defvar x 0)
    
(setq test (let ((x 1))
            (lambda () 
               x)))

(funcall test)

我的理解是，既然lexical-binding为真，那么值1的x应该涵盖let的范围，{{1}的定义中应该包括x }，因此，测试应该返回值 1 而不是 0，但结果返回 0，即 lambda 的 x 值。

我是不是误会了什么？

更新 只是为了澄清，我想在这里发表我的理解。动态边界意味着它只有一个符号，并且值在堆栈中弹出和弹出。因此，当 defvar 的定义完成时，let 中使用的值会弹出。 词法/静态边界意味着始终在词法环境的上下文中检查该值，因此只要在 lambda 定义之前有 let，就会使用 lambda 中的值。 let 定义的变量总是动态绑定的，因此这里的词法绑定控制没有任何区别。

解决方法

根据https://www.gnu.org/software/emacs/manual/html_node/elisp/Using-Lexical-Binding.html，即使lexical-binding 不是nil，特殊变量（比如x 因为它是用defvar 定义的）仍然是动态的绑定。