3

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

例如,以下应该可以正常编译:

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

4

1 回答 1

1

(更新了一个版本,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
于 2013-06-01T06:26:46.293 回答