macros - 为什么我的宏的形式在函数调用之前没有被评估？

Question

我有以下 Clojure 代码：

(defn mul [a b]
  (* a b))

(defmacro create-my-macro [macroname]
    `(defmacro ~macroname [a# b#]
      (mul a# b#)))

(create-my-macro my-mul)

(my-mul 1 2)
;; => 2
(my-mul (+ 1 1) 2)
;; => ClassCastException clojure.lang.PersistentList cannot be cast to java.lang.Number

mul当我将参数包装在with的调用中时，我得到了我想要的答案eval：

(mul (eval #a) (eval #b))

但我不明白为什么有必要这样做：如果my-mul宏是直接定义的（而不是通过另一个宏），它会起作用。例如，以下工作正常：

(defmacro my-mul [a b] `(mul ~a ~b))
(my-mul (+ 1 1) 2)
;; => 4

为什么我会看到这种行为？

---

编辑：作为对评论的回应，以下是失败案例的宏扩展（即，不使用eval）：

(macroexpand '(create-my-macro my-mul))
;; => (do
;;      (clojure.core/defn my-mul 
;;        ([&form &env a__58__auto__ b__59__auto__] 
;;          (foo/mul a__58__auto__ b__59__auto__)))
;;      (. (var my-mul) (setMacro)) (var my-mul))

(macroexpand '(my-mul (+ 1 1) 2))
;; => ClassCastException clojure.lang.PersistentList cannot be cast to java.lang.Number  clojure.lang.Numbers.multiply (Numbers.java:146)

Answer 1

如您所见，您要发出的代码如下所示：

(defmacro my-mul [a b] `(mul ~a ~b))

因此，您需要对其进行语法引用并在所有本地人后面加上 #：

`(defmacro my-mul [a# b#] `(mul ~a# ~b#))

因此，您发出宏的宏应该是：

(defmacro create-my-macro [macroname]
    `(defmacro ~macroname [a# b#]
       `(mul ~a# ~b#)))

Answer 2

(defmacro create-my-macro [macroname]
 `(defmacro ~macroname [a# b#]
   `(mul ~a# ~b#)))