为什么我无法绑定+在 Clojure 中？

Question

谁能解释为什么我可以重新绑定列表但不能重新绑定+？

(binding [list vector]
  (list 1 3))
(binding [list +]
  (list 1 3))
(binding [+ list]
  (+ 1 3))

我想重新绑定 + 这样我就可以进行部分评估。

Answer 1

至少在 Clojure 1.1.0 中，为了提高性能，带有两个参数的 + 被内联。你的绑定发生得太晚了。随着更多的争论，它的工作方式会有所不同。

Clojure 1.1.0-master-SNAPSHOT
user=> (binding [+ -] (+ 1 2))
3
user=> (binding [+ -] (+ 1 2 3))
-4

一种解决方法是使用您自己的函数创建您自己的命名空间和影子 clojure.core/+ 。

user=> (ns foo (:refer-clojure :exclude [+]))
nil
foo=> (defn + [& args] (reduce clojure.core/+ args))
#'foo/+
foo=> (+ 1 2)
3
foo=> (binding [+ -] (+ 1 2))
-1

请注意，在 Clojure 1.2.0 的当前快照中，内联似乎更加频繁地发生。

Clojure 1.2.0-master-SNAPSHOT
user=> (binding [+ -] (+ 1 2))
3
user=> (binding [+ -] (+ 1 2 3))
6

最明智的做法可能是使用 + 以外的函数名称，例如 add，以避免混淆。

Answer 2

快速解决方法：使用let而不是绑定，这对你来说很好：

user=> (let [+ list] (+ 2 3))
(2 3)

---

稍微（不完整）深入探究一下原因：

看看 + 的源代码函数：

(defn +
  "Returns the sum of nums. (+) returns 0."
  {:inline (fn [x y] `(. clojure.lang.Numbers (add ~x ~y)))
   :inline-arities #{2}}
  ([] 0)
  ([x] (cast Number x))
  ([x y] (. clojure.lang.Numbers (add x y)))
  ([x y & more]
   (reduce + (+ x y) more)))

请注意，有多个内联函数定义用于不同数量的参数。如果您尝试重新绑定 0 或 1 个参数定义，它会正常工作：

user=> (binding [+ (fn [] "foo")] (+))
"foo"
user=> (binding [+ (fn [a] (list a))] (+ 1))
(1)

现在，这对于 2 个参数的情况绝对不起作用（正如您所发现的）。我不太能把这些点联系起来，但是. （特殊形式）让我怀疑结合绑定是一个宏，而 let 是一种特殊形式......

专门调用 arity 2 的元数据也似乎很可疑。