Clojure 宏参数

Question

大约一周前，我在这个帖子中问了一个问题：Looping through a "let"-list in Clojure? 我得到了一个很好的答案，然而，一个相当令人困惑的问题出现在我的脑海中：

以下是部分答案：

(defmacro anaphoric-let [alternating-symbols-and-values & body]
    `(let [~@alternating-symbols-and-values
           names# (quote ~(flatten (partition 1 2 alternating-symbols-and-values)))
           values#  ~(vec (flatten (partition 1 2 alternating-symbols-and-values)))
           ~'locals (zipmap names# values#)]
        ~@body))


Input: 
(anaphoric-let [a 1 b 2 c 3 d 4 e "cat"] 
     (dorun (for [x (vals locals)] 
          (if (number? x) (println "roar")))))

本例中的（dorun）语句是宏参数中的主体，对吧？所以我的印象是它只会“复制粘贴”身体。所以而不是：

~@body

如下所示，它会取消引用复制的文本和所有内容：

~@(dorun (for [x (vals locals)] 
       (if (number? x) (println "roar"))))

在尝试解释所有正在发生的事情时，我尝试了我刚才解释的确切内容。而不是 ~@body 我试图在那里放置一些“真实代码”。

然后它看起来像这样：

(defmacro anaphoric-let [alternating-symbols-and-values & body]
     `(let [~@alternating-symbols-and-values
          names# (quote ~(flatten (partition 1 2 alternating-symbols-and-values)))
          values#  ~(vec (flatten (partition 1 2 alternating-symbols-and-values)))
          ~'locals (zipmap names# values#)]
       ~@(dorun (for [x (vals locals)] 
             if (number? x) (println "roar"))))))

这不起作用并抱怨它是“无法解析符号：在这种情况下的本地人” 我在这方面是个新手，我尝试过尝试和分析，但我并没有变得更聪明。每次我想我都明白了，总会有一个小小的“但是……”出现并粉碎一切！

我觉得我对示例的其余部分确实有一个不错的理解，除了邪恶〜@body ...我个人的猜测是，因为我对如何组合所有这些小古怪的东西缺乏充分的理解符号，我可能错过了它们的某种组合......

Answer 1

~@expr 在反引号表达式中表示计算 expr 并将其拼接到周围的表达式中。

由于您不想要评估您的 (dorun ...) 表达式，您可以直接复制并粘贴它：

(defmacro anaphoric-let [alternating-symbols-and-values & body]
     `(let [~@alternating-symbols-and-values
          names# (quote ~(flatten (partition 1 2 alternating-symbols-and-values)))
          values#  ~(vec (flatten (partition 1 2 alternating-symbols-and-values)))
          locals# (zipmap names# values#)]
       (dorun (for [x (vals locals#)] 
           if (number? x) (println "roar"))))))

由于您不再需要在正文中插入特定符号，因此我将替换的本地人移到了 gensym'd 符号

现在你为什么要在这样的硬编码宏中引入用户指定的符号，我不知道。我假设这只是为了实验。