macros - 在Clojure中恢复宏的全局作用域？

我想制作一个宏来定义局部变量范围之外的函数，以捕获程序员（又名我）在局部范围中错误地引用变量的错误。它只应允许在宏的第一个参数中声明的变量。

例如，以下应编译良好：

(let [ foo 'x
       bar 'y ]
   (my-macro [ foo ] ;; this designates that foo can be used
     (print foo)
     )
   )

但是，以下代码将无法编译，因为在my-macro的第一个参数中未声明“ bar”：

(let [ foo 'x
       bar 'y ]
   (my-macro [ foo ] ;; only foo is declared here, but bar
                     ;; is used, so should fail to compile
     (print foo)
     (print bar) ;; <-- should fail here
     )
   )

除了错误检查之外，宏还需要返回使用的变量值的向量和包含主体的函数。到目前为止，这就是我所拥有的。

(defmacro my-macro
  [ declared-vars-in-use & body ]
  `[~declared-vars-in-use (fn [~@declared-vars-in-use]
                               ~@body
                               )
   ]
  )

我唯一不知道如何做的是，在从本地范围中引用未在my-macro中声明的符号（在上面的示例中为“ bar”）时，发生编译错误。如果我使用的术语不正确，请原谅我，希望您能理解这一点，我仍然是clojure的新手。

最佳答案

（已更新为explicit-closure版本，不受原始方法的明显限制。）

下面的宏返回一个函数，该函数关闭指定的本地变量并接受指定的其他参数。如果您只想要一个根本不覆盖任何本地人的函数（换句话说，它的主体仅不使用外部本地人），这是my-macro产生的，如果具有所需的防止访问本地人的能力。 declared-vars-in-use列表（因为列表上的本地人会被参数遮盖），您可以简单地eval适当的fn形式，因为eval会忽略本地人。 （因此，在下面的代码段中，在内部close-over周围跳过let和list*。）

(defmacro explicit-closure [close-over params & body]
  (eval (list 'let
              (vec (interleave close-over (repeat nil)))
              (list* 'fn params body)))
  `[~close-over (fn [~@params] ~@body)])

请注意，这里的eval调用在编译期间发生，并且仅是在函数主体引用错误的局部语言时诱使编译器抱怨。如果主体不使用不允许的局部变量，否则将导致eval调用失败，则将在运行时发出函数的常规代码，而不进行进一步检查或eval引发的编译。

从REPL：

(let [foo 1
      bar 2]
  (explicit-closure [foo] [x] (+ foo x)))
;= [[1] #<user$eval1887$fn__1888 user$eval1887$fn__1888@39c4d0cd>]

(let [foo 1
      bar 2]
  (let [[vals f] (explicit-closure [foo] [x] (+ foo x))]
    (prn vals)
    (f 3)))
;=> [1]
;= 4

;;; replace (+ foo x) with (+ foo bar x) in the above
;;; to get a CompilerException

关于macros - 在Clojure中恢复宏的全局作用域？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/16869430/