检查 defmacro (clojure) 中的符号相等性

Question

这将返回false。

(defmacro scratch [pattern]
  `(= 'b (first ~pattern)))

(scratch '(b))

然而，以下的输出是b。

(defmacro scratch2 [pattern]
  `(first ~pattern))

(scratch2 '(b))

如何设置第一个宏返回 true？

Answer 1

正在发生这种情况，因为您在宏中引入的 'b 是命名空间的：

例如：

user> (defmacro nsmac []
        `(namespace 'b))

user> (nsmac)
;;=> "user"

而您传递的值不是：

user> (namespace (first '(b)))
;;=> nil

所以，您可以将命名空间符号传递给宏，如下所示：

user> (scratch '(user/b)) 
;;=> true

或者您可以修复宏以使用无命名空间符号（qoute-unquote 的已知技巧）：

(defmacro scratch [pattern]
  `(= '~'b (first ~pattern)))

user> (scratch '(b)) 
;;=> true

但您真正想要的是在编译时检查这个符号，因为您拥有的这个宏作为普通函数更好，因为它不使用任何与宏相关的优点。

它可能看起来像这样：

(defmacro scratch [pattern]
  (= 'b (first pattern)))

(scratch (b))
;;=> true

可以找到有关命名空间的信息 本文