2

我有记录(defrecord Rec [id])

我和它一起工作

(def my ( Rec. 2 ))
(println (:id my))

现在我想用宏替换记录定义。这样我就可以写

(r 2) 
(println (:id my))

我写了宏

(defmacro r [id]
   (list 'def 'my (symbol "(") 'Rec. id (symbol ")")))

我用macroexpand检查了它

(macroexpand-1 '(r 2))  => (def my ( Rec. 2 ))

但我RuntimeException: Too many arguments to def继续(r 2)。

4

1 回答 1

10

从左括号创建符号与使用左括号评估文本不同。前者无特殊意义；后者使读者生成一个嵌套列表，然后对其进行评估。

换句话说，Clojure 评估数据结构，而不是文本（或符号列表）。当您在 REPL 中键入内容时，该文本被读入数据结构，然后评估数据结构。

为了使其正常工作，宏需要自己生成一个嵌套列表：

(defmacro r [id]
  (list 'def 'my (list 'Rec. id)))

或者更好的是，使用语法引号运算符：

(defmacro r [id]
  `(def my (Rec. ~id)))

出于说明目的，您可以看到将 Clojure 代码读取为文本时会发生什么：

(read-string "(def my (Rec. 2))")
=> (def my (Rec. 2))
(map type (read-string "(def my (Rec. 2))"))
=> (clojure.lang.Symbol clojure.lang.Symbol clojure.lang.PersistentList)
于 2012-08-01T20:19:55.427 回答