在Clojure中嵌套宏

Question

请看以下伪代码：

(defrc name
  "string"
    [a :A]
    [:div a])

defrc将是一个宏，它会扩展为以下内容

(let [a (rum/react (atom :A))]
  (rum/defc name < rum/reactive []
    [:div a]))

其中rum/defc是一个宏。我编写了下面的代码：

(defmacro defrc
          [name subj bindings & body]
          (let [map-bindings# (apply array-map bindings)
                keys# (keys map-bindings#)
                vals# (vals map-bindings#)
                atomised-vals# (atom-map vals#)]
               `(let ~(vec (interleave keys# (map (fn [v] (list 'rum/react v)) (vals atomised-vals#))))
                     (rum/defc ~name < rum/reactive [] ~@body))))

几乎可以工作:

(macroexpand-all '(defrc aname
       #_=>   "string"
       #_=>   [a :A]
       #_=>   [:div a]))
(let* [a (rum/react #object[clojure.lang.Atom 0x727ed2e6 {:status :ready, :val nil}])] (rum/defc aname clojure.core/< rum/reactive [] [:div a]))

然而，当使用它时，会导致语法错误：

ERROR: Syntax error at (clojure.core/< rum.core/reactive [] [:div a])

这是因为内部宏没有被展开吗？

- Pete

---

啊，看起来这是来自于 Rum 自身，在 parse-defc 中进行调查... - Pete

抱歉，我很难想象预期的行为，您能提供一些示例吗？ - Valentin Waeselynck

Answer 1

原来宏是正常工作的，但问题出在语法引用中有 <，它被扩展为 clojure.core/<，而 Rum 只寻找引用的 <，以下是 Rum 源代码的相关片段：

...(cond
        (and (empty? res) (symbol? x))
          (recur {:name x} next nil)
        (fn-body? xs)        (assoc res :bodies (list xs))
        (every? fn-body? xs) (assoc res :bodies xs)
        (string? x)          (recur (assoc res :doc x) next nil)
        (= '< x)             (recur res next :mixins)
        (= mode :mixins)
          (recur (update-in res [:mixins] (fnil conj []) x) next :mixins)
        :else
          (throw (IllegalArgumentException. (str "Syntax error at " xs))))...

- Pete