为什么 Clojure 比其他 JVM 语言更可热插拔？

Question

我们几乎可以立即在运行时重新加载 Clojure 中的任何函数和/或变量。我们甚至可以更改方法签名。对于 Scala 或 Java，我们能做的最多就是使用速度慢、商业化和受限的 JRebel。让 Clojure 具有如此交互性的区别是什么？ 在 Slack 中阅读此内容时，我发现了以下 cmets，但我希望了解更多相关信息。还感谢您提供进一步阐明该问题的论文/文章的链接（尽管不是必需的）。

这主要是因为语言设置为可重新加载。 Clojure 对每个函数或顶级变量都有一个 var 间接寻址 你可以改变的定义，所以你可以只重新定义一个函数 同时保持环境的其余部分不变并继续进行

.

跟进 - 当函数名称为 在代码中，但是对于需要另一个长时间运行的函数 作为参数的函数（例如，您将处理函数传递给 http 服务器进程启动）您可以通过以下方式获得 var 间接的好处 手 - 通过传递 #'handler 而不是处理程序，否则你不 重新加载（不重新启动使用该 arg 的进程）

.

一种

直接链接将正在编译的 var 调用替换为直接调用 （已编辑）但是 var 路径仍然存在，并且新代码仍然可以 通过变量调用

Answer 1

您所问的关键在于 Clojure 如何识别函数并在运行时运行它们。首先，Clojure 函数定义为vars，这是它们的 JVM 根类的 Clojure 名称，Var。

Clojure 的运行时维护一个名为 Namespaces 的 ConcurrentHashMap。此映射具有 Symbol 键（命名空间名称）和 Namespace 值。每个Namespace 依次有一个AtomicReference'd Clojure map（称为“映射”），它是动态类型的，但本质上具有 Clojure Symbol 键（局部变量名称）和 Var 值。

当您调用 Clojure 函数时，它首先会在 Namespaces 中查找您引用的命名空间，然后在该命名空间的映射中查找特定变量。这使得热加载代码变得微不足道 - 您需要做的就是在给定命名空间的映射上设置一个新的 <Symbol, Var> 对。

更深一层，Clojure 还保持对“框架”（即线程或可能临时重新定义局部范围内的变量的附加绑定）的认识。它们有自己的ThreadLocal 存储，并且将使用在其中之一中找到的变量，而不是当前存储在命名空间映射中的变量。

---

Clojure 的方法在这里是可行的，因为它不尝试将函数存储为 JVM 函数，而是作为 Java 对象本身保存在可以快速访问的映射中。

Clojure 通过检查它们是否满足函数接口 (IFn) 知道这些对象实际上是可调用的。对象通过具有Invoke 方法来满足IFn。这用于许多非常聪明的目的，并解释了为什么 Clojure 的许多核心数据结构（映射、向量、关键字等）也都可以作为函数调用。