Clojure 宏在调用时抛出“CompilerException java.lang.IllegalStateException: Var clojure.core/unquote is unbound”

Question

我正在尝试编写一个 clojure 宏，它允许我调用一个函数并使用提供的键值从映射/结构中检索参数，例如：

   (with-params  {:apple 2 :banana 3 :cherry 7} + :apple :banana)
   ;; 5

但是当我尝试使用我写的宏时：

(defmacro with-params [s f & symbols]
  `(~f ~@(map ~s ~symbols)))

打电话

   (with-params  {:apple 2 :banana 3 :cherry 7} + :apple :banana)

给我

#<CompilerException java.lang.IllegalStateException: Var clojure.core/unquote is unbound. (NO_SOURCE_FILE:0)>

有人可以帮我理解语法引用在这里的工作原理吗？

Answer 1

不管怎样，这不应该是一个宏。一个函数非常强大，而宏版本只有在映射和关键字都作为编译时文字给出时才能工作。

(defmacro with-params-macro [s f & symbols]
  `(~f ~@(map s symbols)))

(defn with-params-fn [s f & symbols]
  (apply f (map s symbols)))

user> (with-params-macro {:x 1} (fn [z] z) :x)
1
user> (let [params {:x 1}] 
        (with-params-macro params (fn [z] z) :x))
nil

user> (let [params {:x 1}] 
        (with-params-fn params (fn [z] z) :x))
1

Answer 2

`(~f ~@(map ~s ~symbols)) 不起作用的原因是编译器阻塞了unquote-splicing (~@) 中不必要的unquote (~)。 unquote-splicing 取消引用外部 syntax-quote (`)，因此内部两个 unquotes 没有任何匹配的 syntax-quote，这就是您收到“未绑定”错误的原因。

您要做的是首先评估(map s symbols) 以获取操作数序列，然后将展平结果传递给函数（~f）；因此正确的版本是：

(defmacro with-params [s f & symbols] `(~f ~@(map s symbols)))

您可以通过以下方式轻松验证：

(macroexpand '(with-params {:a 1 :b 2 :c 5} * :a :b :c))    ;; (* 1 2 5)
(with-params {:a 1 :b 2 :c 5} * :a :b :c)                   ;; 10