Question

我想创建一个宏来定义局部变量作用域之外的函数，以便捕获程序员（aka me）错误地引用局部作用域中的变量的错误。它应该只允许在宏的第一个参数中声明的变量。

例如，以下内容应编译正常：

(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的新手。

Answer 1

（更新了explicit-closure版本，不受原始方法的严重限制。）

下面的宏返回一个函数，该函数关闭指定的locals并接受指定的附加参数。如果你只想要一个根本不关闭任何本地人的函数（换句话说，它的主体只使用不使用外部本地人），如果给定所需的能力来阻止访问本地人，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调用失败，则会发出该函数的常规代码，而无需进一步检查或(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 - 在运行时引发编译。

来自REPL：

{{1}}

在clojure中恢复到宏的全局范围？

1 个答案: