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 (~< /code>) 内的 unquote-splicing (~@)。 unquote-splicing 取消引用外部 syntax-quote (`)，因此内部两个 unquote 不会取消引用没有任何匹配的 syntax-quote，这就是您收到“未绑定”错误的原因。

您想要做的是首先评估 (map ssymbols) 以获取操作数序列，然后将扁平化结果传递给函数 (~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