宏迭代未定义的符号

Question

当与另一个宏多次应用一个宏时，裸符号不会插入到当前上下文中：

(defmacro ty [type]
  `(deftype ~type []))

(defmacro empties [& args]
  (doseq [arg args]
    `(ty ~arg))
  )

(empties Base Person Animal)
;equivalent to:
;(ty Base)
;(ty Person)
;(ty Animal)


(derive ::Person ::Base)
(derive ::Animal ::Base)
(ty Me)
(prn ::Me)
(prn Me)
(empties Empty)
(prn ::Empty)
(prn Empty)

最后一行给出：“无法解析符号：此上下文中为空”，即使在使用直接宏 ty 时，它也有效。有办法解决这个问题吗？如果可以不用 eval 就更好了。

Answer 1

(defmacro empties [& args]
  (doseq [arg args]
    `(ty ~arg)))

(empties Base Person Animal)
;equivalent to:
;(ty Base)
;(ty Person)
;(ty Animal)

这是错误的。您的 empties 调用意味着 empties 的宏扩展函数获取符号 Base、Person 和 <代码>动物。然后，它对每个宏调用求值，但不返回任何内容，因为 doseq 始终返回 nil。因此，empties 调用的扩展代码为零。您需要从宏函数返回单个表单。您应该将多个表单包装到一个 do 中，并实际上将所有子表单返回给该表单：

(defmacro empties [& args]
  `(do ~@(map (fn [arg]
               `(ty ~arg))
              args)))

Answer 2

FWIW，我更喜欢编写@Svante 的解决方案，因为

(defmacro empties [& args]
  (cons `do
        (for [arg args]
          `(ty ~arg))))

它也非常接近您的 doseq 方法的结构。