clojure 如何绑定可变参数？

Question

我是Clojure的新手，问题源于我曾经查看conj的源代码：

    (def conj 
      (fn ^:static conj
        ([] [])
        ([coll] coll)
        ([coll x] (clojure.lang.RT/conj coll x));4
        ([coll x & xs] ;1
         (if xs ;2
           (recur (clojure.lang.RT/conj coll x) (first xs) (next xs)) ;3
           (clojure.lang.RT/conj coll x)))))

conj的源码显示它使用recur来实现该功能。这个源代码看起来很简单。 我感到困惑的是它在确定递归是否需要继续时使用的条件。看起来它检查变量参数是否为nil，但如果变量参数为nil，它很快就相当于conj 的第三个“arity”？ 然后我尝试评估以下表达式：

user=> (conj [] 1 (next []))
[1 nil]
user=>

它工作正常并成功地将nil添加到向量中。我知道clojure实际上将nil包装在一个列表中并将其传递给函数，但我不明白为什么recur可以传递一个真正的nil？为什么clojure会识别并匹配正确的“arity”？

---

user=> (def my_conj
   (fn [coll x & xs]
     (println "xs is" xs)
     (if xs
       (recur (clojure.lang.RT/conj coll x) (first xs) (next xs))
       (clojure.lang.RT/conj coll x))))
#'user/my_conj
user=> (my_conj [] 1 (next []))
xs is (nil)
xs is nil
[1 nil]

Answer 1

好的，很抱歉之前没有意识到您遇到了我以前从未见过的 Clojure 行为的一个方面。今天我学到了一些关于 Clojure 的新东西，并且用了 10 年，这让我很惊讶。

这在 Clojure 官方文档的几句话中提到了 recur，这里：https://clojure.org/reference/special_forms#recur

这里是社区编写的示例和文档页面（因此不是“官方”），描述了这种带有可变参数的函数的递归行为：https://clojuredocs.org/clojure.core/recur#example-55ff3cd4e4b08e404b6c1c7f

Answer 2

我建议复制此函数，将其名称更改为其他名称，并添加一些对您感兴趣的值的println 的调用，例如x、xs 等，并观察当您使用您感兴趣的不同参数调用函数时在 Clojure REPL 会话中打印的内容。

如果xs 的值是除nil 或false 之外的任何值，则if xs 为真。值(nil) 是一个元素的列表，当用作if 条件表达式时被认为是真的。

Answer 3

用参数[coll x & xs]声明的函数部分意思是“将第一个参数的值绑定到coll，将第二个参数的值绑定到x，然后如果没有更多的参数，将xs绑定为nil , 否则将 xs 与剩余参数列表的值绑定”。

您可以通过这个完全不使用 recur 的更简单的函数看到这一点：

user=> (defn my-fn [a & xs]
         (println "a=" a " xs=" xs))

user=> (my-fn 1)
a= 1  xs= nil

user=> (my-fn 1 2)
a= 1  xs= (2)