使用宏生成函数(或其他宏)时避免符号捕获

在您的示例中,不会发生符号捕获,因为将变量部分作为参数提供。所以开发者可以自己选择名字。

当宏引入用户未指定的新局部变量时,将发生符号捕获。考虑下面的例子(真的很愚蠢和无稽之谈只是为了说明问题):

(defmacro foo
  [name & body]
  `(defn ~name
     [~'bar]
     (println ~'bar)
     ~@body))

在这种情况下,会捕获条。现在假设用户有这样的代码。

(def bar 5)
(foo baz (* 2 bar))
(baz 7)

这并不能达到预期的效果。因为全局栏,引用的用户会被宏引入的本地栏隐藏。正如你已经说过的:在这种情况下,应该使用bar来介绍本地。

所以捕获总是用~'表示。宏编写宏并不能真正改变这一点。只需再添加一个级别:~~'。