binding - Clojure 中的 Let 与 Binding

Question

我知道它们是不同的，因为一种可以设置 *compile-path* 而另一种则不能。但是，我需要帮助了解它们为何不同。

let 使用给定的绑定(bind)创建一个新作用域，但是 binding...？

Answer 1

let 为某个值创建一个词法作用域的不可变别名。 binding 为某些Var 创建动态范围的绑定(bind)。

动态绑定(bind)意味着 binding 表单内的代码以及该代码调用的任何代码(即使不在本地词法范围内)都将看到新的绑定(bind)。

给定:

user> (def ^:dynamic x 0)
#'user/x

binding 实际上为 Var 创建动态绑定(bind)，但 let 仅使用本地别名隐藏 var:

user> (binding [x 1] (var-get #'x))
1
user> (let [x 1] (var-get #'x))
0

binding 可以使用限定名称(因为它在 Var 上运行)，而 let 不能:

user> (binding [user/x 1] (var-get #'x))
1
user> (let [user/x 1] (var-get #'x))
; Evaluation aborted.
;; Can't let qualified name: user/x

let 引入的绑定(bind)是不可变的。 绑定(bind)引入的绑定(bind)是线程局部可变的:

user> (binding [x 1] (set! x 2) x)
2
user> (let [x 1] (set! x 2) x)
; Evaluation aborted.
;; Invalid assignment target

词法绑定(bind)与动态绑定(bind):

user> (defn foo [] (println x))
#'user/foo
user> (binding [x 1] (foo))
1
nil
user> (let [x 1] (foo))
0
nil

另请参阅Vars , let .