在Clojure宏中评估修改参数的习惯用法是什么？

Question

想象一下，我的意图是修改传递给宏的s表达式的语法树，方法是修改语法树，然后评估修改后的参数。我可以做类似如下：

(defmacro runargs [args] 
    (eval (cons (first args) " buckeroo"))) 

(runargs (println "hi there")) 

现在，这并不觉得习惯，因为我已经疲惫不堪的我的代码中间的大eval。

现在我稍微修改，并拿出了以下内容：

(defmacro runargs [args] 
    `(~@(cons (first args) " buckeroo"))) 

(runargs (println "hi there")) 

这已经解决了这个问题eval。但我仍然觉得这不太习语。

我的问题是：在Clojure宏中评估修改参数的习惯用法是什么？

Answer 1

你给出的两个例子做了完全不同的事情。首先是在宏展开时间处评估修改的s表达式，这几乎肯定不是您想要的。

user=> (defmacro runargs-eval [args] 
     (eval (cons (first args) " buckaroo"))) 
#'user/runargs-eval 

user=> (macroexpand '(runargs-eval (println "hi there"))) 
    b u c k e r o o 
nil 

user=> (defmacro runargs [args] 
     `(~@(cons (first args) " buckeroo"))) 
#'user/runargs 

user=> (macroexpand '(runargs (println "hi there"))) 
(println \space \b \u \c \k \e \r \o \o) 

没有多大的差别，如果你只是简单地评价一个s表达式，恰好包含调用您的宏，但如果你正在编译代码，使用您的宏（如的λ的主体），宏扩展发生在编译时：

user=> (defn say-hello-eval [x] (runargs-eval (println x))) 
    b u c k e r o o 
#'user/say-hello-eval 

user=> (say-hello-eval "hi there") 
nil 

user=> (defn say-hello [x] (runargs (println x))) 
#'user/say-hello 

user=> (say-hello "hi there") 
    b u c k e r o o 
nil 

宏是简单地接受一个未计算的表达式，并返回一个修改后的未计算的表达式的功能。如果你真的想评估表达式作为宏展开的一部分，这将是一个非常不寻常的情况 - 通常你的宏将返回修改的表达式，并让Clojure编译器负责在适当的时候评估它。

第二个示例中的语法引用并不是真的必要 - 语法引用的一般用例是，当您将宏参数插入包含符号的模板化表达式中时，该符号应解析为名称空间中的某些该宏被定义。

(defmacro runargs [args] 
    (cons (first args) " buckeroo"))