Question

我正在尝试“获取”clojure宏，并根据现有的are宏编写are宏的调整版本。我想要的调整是签名[argv expr args]而不是[argv expr & args] 所以我试过了

(defmacro are2 [argv expr args] `(clojure.test/are ~arg ~expr ~@args))

哪种作品，除了它需要一个不带引号的列表：

(are2 [input] (= 0 input) (1 2 3))

我宁愿期待一个引用列表：

(are2 [input] (= 0 input) '(1 2 3))

但结果是：

Unable to resolve symbol: quote in this context.

如果我尝试

(are2 [input] (= 0 input) (list 1 2 3))

而不是list本身作为测试用例处理。

我不明白什么/如何通过宏观中的引用

Answer 1

'(1 2 3)正在扩展为(quote (1 2 3))，其中包含额外的quote符号和一个太多级别的列表，您可以使用macroexpand-1查看：

user> (macroexpand-1 '(are2 [input] (= 0 input) '(1 2 3)))
(clojure.test/are [input] (= 0 input) quote (1 2 3))

你可以通过先将int包装起来然后停止

来从列表中删除引号

 user> (defmacro are2 [argv expr args] 
          `(clojure.test/are ~argv ~expr ~@(first (rest args))))
#'user/are2
user> (macroexpand-1 '(are2 [input] (= 0 input) '(1 2 3)))
(clojure.test/are [input] (= 0 input) 1 2 3)

然后作为测试运行：

user> (are2 [input] (= 0 input) '(1 2 3)

FAIL in clojure.lang.PersistentList$EmptyList@1 (NO_SOURCE_FILE:1)
expected: (= 0 1)
  actual: (not (= 0 1))

FAIL in clojure.lang.PersistentList$EmptyList@1 (NO_SOURCE_FILE:1)
expected: (= 0 2)
  actual: (not (= 0 2))

FAIL in clojure.lang.PersistentList$EmptyList@1 (NO_SOURCE_FILE:1)
expected: (= 0 3)
  actual: (not (= 0 3))
false

Clojure宏和引号

1 个答案: