使用宏生成方法时出现奇怪的错误？

Question

这是一个演示问题的简短 sn-p：

(defmulti test-dummy type)

(defmacro silly [t]
  `(defmethod test-dummy ~(resolve t) [some-arg] "FOO!"))

(silly String)

评估此结果会导致“无法使用限定名称作为参数：user/some-arg”，但运行宏扩展会得到非常好的结果：

(defmethod test-dummy java.lang.String [some-arg] "FOO!")

在参数名称之前键入 ~' 以使其评估为符号有效，但这是怎么回事？

Answer 1

好的。所以这里的问题是，Clojure 试图通过确保宏的扩展中没有符号是可以从宏的扩展环境中捕获的不合格本地符号来强制 macro hygiene。

传统上，Lisp 方言允许宏扩展包含任意符号。这会产生问题，其中包含要扩展的宏的表达式定义了一个符号 some-arg，该符号在宏的扩展结果中没有定义就使用。这意味着宏正在从其扩展环境中“捕获”一个符号/值，这是很少需要的行为。这正是 Clojure 编译器认为您的符号 some-arg 在这里发生的事情。 Clojure 编译器尝试将 some-arg 解析为命名空间级别的符号（先前的定义或需要为符号 some-var 创建别名），但它未能这样做，从而生成 user/some-arg 未定义的警告。

这个问题有两种规范的解决方案。第一种是对some-arg 使用 gensym，宏扩展系统知道它表示本地并且不会尝试解析。

(defmacro silly [t]
  `(defmethod test-dummy ~(resolve t) [some-arg#] "FOO!"))

另一种方法是可以使用宏拼接操作符~插入带引号的符号的值。

(defmacro silly [t]
  `(defmethod test-dummy ~(resolve t) [~'some-arg] "FOO!"))

在这两种情况下，您必须在符号的所有使用中使用相同的表达式（gensym 或 splice）。顾名思义，gensym 将生成一个符号以供使用，因此不会产生可重复的命名。这是逃避符号冲突的功能。然而，拼接将使您能够始终生成一个指定的符号，以防您需要一个真正的人类可用名称（例如 def），或者您确实想明确地从环境中关闭某些东西。