在读叶文彬的 elispIntro, 书中有道练习题无法看懂.
按我自己的理解, 第一次运行时, 第一个 message 输出 This is a variable!, 而第二个 message 应该是输出 I'am local variable!, 因为第二个 message 不是在 let 的范围内的, 应该是 (setq foo I'am local variable!)起作用了. 但是作者给出的答案明显不是如我所想的. 这个答案虽然有,但还是无法理解, elisp 新手求解答…
(set (make-local-variable 'foo) "xxxx")
会让 foo 变成 buffer-local 变量, 并把值赋给它,
而 let 范围内的 setq 赋值的是 buffer-local 变量不是 let 里的 foo, 这就传出了 let 的范围,
而第二个 message 打印的就是这个 foo 的 buffer-local 变量.
应该是这样
这是犄角旮旯里的黑魔法，研究这个感觉没什么意义。（虽然可以迫使你去读 Emacs 源代码……）
第一次运行输出
Making foo buffer-local while locally let-bound!
This is a variable!
This is a variable!
首先 make-local-variable 发现 foo 不是一个 buffer-local variable，于是强行把 foo 这个符号指向一个新创建的 buffer-local variable
(progn
(setq foo "I'm local variable!") ; 全局
(let ((foo "I'm local variable!")) ; 局部
;; 创建 buffer-local variable，覆盖了 let 定义的 foo symbol
(set (make-local-variable 'foo) "I'm buffer-local variable!")
;; 修改的是 buffer-local foo
(setq foo "This is a variable!")
(message "%s" foo))
;; 读到的是 buffer-local foo
(message "%s" foo))
第二次运行输出
This is a variable!
I'm local variable!
是因为一个注释过的行为：
If the variable is already arranged to become local when set, this function causes a local value to exist for this buffer, just as setting the variable would do.
也就是代码相当于
(progn
(setq foo "I'm local variable!")
(let ((foo "I'm local variable!"))
;; (set (make-local-variable 'foo) "I'm buffer-local variable!")
;; 相当于
(set 'foo "I'm buffer-local variable!")
;; 上下两句修改的是 let 定义的 foo
(setq foo "This is a variable!")
(message "%s" foo))
;; 读到的是 buffer-local foo
(message "%s" foo))
谢谢你如此详细的解释. 我看到你对第一次运营的解释：
(progn
(setq foo "I'm local variable!") ; 全局
(let ((foo "I'm local variable!")) ; 局部
;; 创建 buffer-local variable，覆盖了 let 定义的 foo symbol
(set (make-local-variable 'foo) "I'm buffer-local variable!")
;; 修改的是 buffer-local foo
(setq foo "This is a variable!")
(message "%s" foo))
;; 读到的是 buffer-local foo
(message "%s" foo))
中的对第二个 message 的注释, 它读到的也是 buffer-local foo. 是否意味这 let (()) 定义的 foo, 不但被覆盖了, 甚至连 let 的词法作用域都不存在了, 两个 message 的作用域都是只存在于 progn 中了?
谢谢你的解释.
不是，只是 let 引入的这个 binding 不再存在了
(let (a b)
(setq-local a 123)
(setq b 321))
这里 b 还是 locally bound 的
谢谢我翻到书本再看了下例子:
有点理解了, 原来想要读到 progn 下的第一个
(setq foo I'am local variable!)
的值.
就必须在 progn 外使用
(with-current-buffer (buffer-name) (message foo))
(在我的电脑上试运行了下)
这是因为第一次运行时, progn 内的 foo 都是 local-variable foo. 而第二次运行时, progn 内除了 let 的作用域外, 也是读取 local-variable foo. 而 let 的作用域内部就只是读取 let local bounding 的 foo.
不知道我的理解是否有误?
我不是正经的程序员, 你用C源码帮我解释, 对我这个指针还看不明白的人来说太高深了, 不过高手能花时间帮我解惑, 我还是很开心的, 谢谢😊