Clojure 中的变量作用域 + eval

Question

在 Clojure 中，

(def x 3)
(eval '(prn x))

打印 3，而

(let [y 3]
   (eval '(prn y)))

和

(binding [z 3] (eval '(prn z)))

生成“无法解析 var”异常。

根据http://clojure.org/evaluation、eval、load-string等生成临时命名空间来评估其内容。因此，我希望上述代码示例都不起作用，因为 (def x 3) 是在我当前的命名空间中完成的，而不是 eval 创建的命名空间。

1. 为什么第一个代码示例有效，而后两个无效？
2. 如何在不使用def 的情况下eval 绑定变量的表单？

谢谢！

Answer 1

1.：

这不起作用的原因（或多或少）在您链接的页面上给出：

It is an error if there is no global var named by the symbol […]

还有：

[…]

4. 在当前命名空间中进行查找以查看是否存在映射 从符号到变量。如果是这样，则 value 是绑定的值 符号引用的变量。

5. 这是一个错误。

eval 在空（CL-lingo 中的null）词法环境中计算表单。这意味着，您不能从调用者的范围访问词法变量绑定。此外，binding 为现有变量创建新的绑定，这就是为什么您不能“单独”使用它，而没有 declared 或 defed 尝试绑定的变量。此外，词法变量（至少在 CL 中，但如果 Clojure 不是这种情况，我会感到惊讶）在运行时已经不复存在——它们被转换为地址或值。

有关此主题，另请参阅我的older post。

2.：

因此，您必须使用动态变量。你可以避免显式的def，但你至少仍然需要declare它们（其中defs var 名称没有绑定）：

user=> (declare ^:dynamic x)
#'user/x
user=> (binding [x 10] (eval '(prn x)))
10
nil

顺便说一句：我想您知道为什么需要 eval，并且当其他解决方案适合时，它的用途是 considered evil。