在《Programming Clojure(Stuart)》一书中,在阅读如何扩展宏时,我感到困惑。
user=> (defmacro chain
([x form] (list '. x form))
([x form & more] (concat (list 'chain (list '. x form)) more)))
#'user/chain
上面的宏可以扩展为:
user=> (macroexpand '(chain a b c))
(. (. a b) c)
但以下只展开到第一层:
user=> (macroexpand '(and a b c))
(let* [and__3822__auto__ a]
(if and__3822__auto__ (clojure.core/and b c) and__3822__auto__))
和 宏源:
user=> (source and)
(defmacro and([] true)
([x] x)
([x & next]
`(let [and# ~x]
(if and# (and ~@next) and#))))
为什么 链 宏一直扩展,而 和 没有?为什么它没有扩展到如下所示的内容:
user=> (macroexpand '(chain a b c d))
(. (chain a b c) d)
最佳答案
macroexpand
一遍又一遍地扩展最外层的形式,直到得到一个非宏结果。如果您只想查看宏展开的单个阶段的输出,请使用 macroexpand-1
。
所以区别在于, chain
的递归调用是第一个,而 and
的不是。
关于macros - clojure 中的宏是如何扩展的?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/11321880/