clojure - 如何解释《Clojure 编程》一书中的 &env 示例

Question

书上有一个例子(P252)，是关于宏中的&env，我只是不明白如何得到结果{x 1, y 2}

(defmacro spy-env []
  (let [ks (keys &env)]
    `(prn (zipmap '~ks [~@ks]))))

(let [x 1 y 2]
  (spy-env)
  (+ x y))
; {x 1, y 2}
;= 3

我在 REPL 中尝试过这样的操作:

user=> (defmacro spy-env [] (let [ks (keys &env)] `(prn ~@(keys &env))))
#'user/spy-env
user=> (let [x 1 y 2] (spy-env))
2 1

已经写好了。

Answer 1

展开宏将是您了解其工作原理的好方法，但不幸的是 macroexpand-1 无法传达 &env 的正确绑定(bind)。这个例子:

 (let [x 1 y 2] (spy-env))

实际上扩展到:

 (let [x 1 y 2] (prn (zipmap '(x y) [x y])))

你明白了吗？在第一个序列中，x 和 y 不被求值，但在第二个序列中，它们被求值。因此它将符号压缩到它们评估的任何内容。在该 let block 中，(zipmap '(x y) [x y]) 的计算结果为 {x 1 y 2}。