21、Clojure 并发编程：Vars、Agents 深入解析

Clojure 并发编程：Vars、Agents 深入解析

1. 动态作用域与 Vars

1.1 动态作用域的特性

set! 操作会替换当前线程局部变量的值，这使得在 binding 建立的动态作用域内的调用者，无论调用栈有多深，都能直接访问新的值，无需通过中间函数调用的返回值传递。这种灵活性支持简单的 API 扩展，如辅助返回，甚至更强大的非局部返回机制。

动态作用域会在 Clojure 原生并发形式中传播。虽然其线程局部性有助于隔离执行上下文，但在使用需要跨线程移动计算的 Clojure 设施时，如果不加以处理，会带来困难。幸运的是，Clojure 在使用 agents （通过 send 和 send-off ）、 futures 、 pmap 及其变体时，会跨线程传播动态变量绑定，即绑定传递。

以下是一个示例：

(binding [*max-value* 500]
  (println (valid-value? 299))
  @(future (valid-value? 299)))
; true
;= true

在这个例子中，尽管 valid-value? 在不同线程中调用，但 future 会在其操作期间将动态作用域传播到另一个线程。

需