使用“绑定”的好例子有哪些？在 Clojure 中？

Question

据我了解，绑定 形式允许在 clojure 中重新绑定动态作用域。到目前为止，我看到它的唯一用途是 I/O，例如 print，其中 *out* 反弹到您想要的任何写入器时间。

我希望看到真正利用绑定功能的示例，而其他工具确实无法使用。就我个人而言，我只在将用户提供的对象传递给所有函数非常乏味的情况下使用它。基本上是我试图创建辅助函数使用的上下文的情况。 （类似于这种情况 当应该在 Clojure 中使用temporary-rebind-a-special-var 习语吗？）更具体地说，我依靠用户创建一个动态绑定到*db* var 允许数据库函数知道要操作的内容。当用户需要编写大量对数据库函数的嵌套调用时，这特别有用。通常，如果我需要编写宏来让自己的事情变得更容易，我没问题，但要求用户这样做似乎很糟糕。话虽这么说，我尽量避免这样做。

我可以复制并合并到我的代码中的“绑定”还有哪些其他好的用例？

Answer 1

我使用绑定有两个原因：

1. 运行覆盖常量或其他符号的其他值的测试
2. 使用“全局”资源（例如数据库连接或消息代理通道）

测试

我正在使用多个组件的分布式系统通过消息交换发送消息进行通信。这些交换器具有全局名称，我对其进行了如下定义：

(ns const)
(def JOB-EXCHANGE    "my.job.xchg")
(def CRUNCH-EXCHANGE "my.crunch.xchg")
;; ... more constants

这些常量在许多地方使用，以将消息发送到正确的位置。为了测试我的代码，我的测试套件的一部分运行使用实际消息交换的代码。但是，我不希望我的测试干扰实际系统。

为了解决这个问题，我将测试代码包装在一个覆盖这些常量的绑定调用中：

;; in my testing code:
(binding [const/CRUNCH-EXCHANGE (str const/CRUNCH-EXCHANGE (gensym "-TEST-"))
          const/CRUNCH-TASK-QUEUE (str const/CRUNCH-TASK-QUEUE (gensym "-TEST-"))]
  ;; tests here
)

在这个绑定函数内部，我可以调用任何使用常量的代码，并且它'将使用覆盖的值。

使用全局资源

我使用绑定的另一种方法是“修复”特定范围内的全局或单例资源的值。下面是我编写的 RabbitMQ 库的示例，其中我将 RabbitMQ Connection 的值绑定到符号 *amqp-connection* 以便我的代码可以使用它

(with-connection (make-connection opts)
  ;; code that uses a RabbitMQ connection
)

： with-connection 的实现非常简单：

(def ^{:dynamic true} *amqp-connection* nil)

(defmacro with-connection
  "Binds connection to a value you can retrieve
   with (current-connection) within body."
  [conn & body]
  `(binding [*amqp-connection* ~conn]
     ~@body))

我的 RabbitMQ 库中的任何代码都可以使用 *amqp-connection* 中的连接，并假设它是有效的、开放的连接。或者使用 (current-connection) 函数，当您忘记将 RabbitMQ 调用包装在 with-connection 中时，该函数会抛出描述性异常：

(defn current-connection
  "If used within (with-connection conn ...),
   returns the currently bound connection."
  []
  (if (current-connection?)
    *amqp-connection*
    (throw (RuntimeException.
      "No current connection. Use (with-connection conn ...) to bind a connection."))))

Answer 2

在 VimClojure 后端中，您可能在同一个 JVM 中运行多个 repl。然而，由于 Vim 和后端之间的连接不是连续的，因此您可能会为每个命令获得一个新线程。因此您无法轻松保留命令之间的状态。

VimClojure 的作用如下。它为所有有趣的变量设置了一个绑定，例如*warn-on-reflection*、*1、*2，等等。然后它执行该命令，然后将可能更改的变量从某些簿记基础设施中的绑定中存储起来。

因此，每个命令都只是说“我属于 repl 4711”，并且它将看到所述 repl 的状态。不影响repl 0815的状态。

Answer 3

绑定函数在测试代码中非常有用。这是在 var 中存储函数的巨大优势之一（就像 Clojure 默认情况下所做的那样）。

我编写的密码学程序的摘录。

(defmacro with-fake-prng [ & exprs ]
  "replaces the prng with one that produces consisten results"
  `(binding [com.cryptovide.split/get-prng (fn [] (cycle [1 2 3]))]
     ~@exprs))

如何对密钥生成器函数进行单元测试？它应该是不可预测的。您可以在任何地方使用线程（如果测试...）或使用某种模拟框架。或者您可以使用一个“动态模拟”随机数生成器的宏，并将此仅放在测试代码中，从而使您的生产端免受干扰。

(deftest test-key-gen 
   (with-fake-prng 
         ....))