使用宏创建 defrecord 方法给出 Don't know how to create ISeq from: clojure.lang.Symbol

Question

玩 Clojure，我尝试使用宏为 defrecord 中的协议创建方法，但出现了我无法理解的类型错误。

使用这个最小协议

(defprotocol fooprot     
  (ffoo [_ v])    
  )

我想用宏来定义方法。这是两个引用不同的非工作尝试：

(defmacro mk-m1    
 [fnname value]    
 `(~fnname [~'_ ~'p]    
    (str ~'p ~value )))    

(defmacro mk-m2    
 [fnname value]    
 (list fnname '[_ p]    
    (list 'str 'p value )))

展开它们会得到相同的输出（命名空间和列表类型除外）

(macroexpand '(mk-m1 ffoo "foo")) ; => (ffoo [_ p] (clojure.core/str p "foo")) 
(macroexpand '(mk-m2 ffoo "foo")) ; => (ffoo [_ p] (str p "foo"))

如果我将该输出复制并粘贴到 defrecord 中，它们都有效：（在这个按比例缩小的示例中，方法不使用字段（x、y))

(defrecord myrec1 [x y]    
  fooprot    
  (ffoo [_ v] (str v "foo"))    
)    

(defrecord myrec2 [x y]    
  fooprot    
  (ffoo [_ p] (clojure.core/str p "foo"))    
)    

(ffoo (->myrec1 1 2) "hello ") ; => "hello foo"    
(ffoo (->myrec2 1 2) "hello ") ; => "hello foo"

现在，当我尝试使用宏来定义方法时，我得到 IllegalArgumentException Don't know how to create ISeq from: clojure.lang.Symbol :

(defrecord myrec-m1 [x y]         
  fooprot    
  (mk-m1 ffoo "foo")         
)            
; => IllegalArgumentException Don't know how to create ISeq from: clojure.lang.Symbol  clojure.lang.RT.seqFrom (RT.java:505)

(defrecord myrec-m2 [x y]
  fooprot
  (mk-m2 ffoo "foo")
)
; => IllegalArgumentException Don't know how to create ISeq from: clojure.lang.Symbol  clojure.lang.RT.seqFrom (RT.java:505)

...这就是我迷路的地方。哪个 Symbol 是问题所在？看着宏扩展到什么，对我来说似乎很合理：

(let [ex (macroexpand '(mk-m1 ffoo "foo"))]
  (println ex " : " (type ex))
  (doseq [tmp ex] (println tmp " : " (type tmp))))
; => (ffoo [_ p] (clojure.core/str p foo))  :  clojure.lang.Cons
;    ffoo  :  clojure.lang.Symbol 
;    [_ p]  :  clojure.lang.PersistentVector 
;    (clojure.core/str p foo)  :  clojure.lang.Cons 
;    nil

和

(let [ex (macroexpand '(mk-m2 ffoo "foo"))]
  (println ex " : " (type ex))
  (doseq [tmp ex] 
    (println tmp " : " (type tmp))) )
; => (ffoo [_ p] (str p foo))  :  clojure.lang.PersistentList                                                     
;    ffoo  :  clojure.lang.Symbol
;    [_ p]  :  clojure.lang.PersistentVector
;    (str p foo)  :  clojure.lang.PersistentList
;    nil

其中矢量元素也是符号：

(doseq [e (nth (macroexpand '(mk-m1 ffoo "foo"))1)] 
   (println e " : " (type e)))
;=>  _  :  clojure.lang.Symbol                                                                                     
;    p  :  clojure.lang.Symbol
;    nil

我错过了什么？我是否忽略了一些微不足道的事情，或者是否与 defrecord 宏有一些互动？

一个可行的解决方法是让宏创建函数，然后在方法中调用这些生成的函数，如

(defrecord myrec1 [x y]    
  fooprot    
  (ffoo [this v] (generated-ffoo this v))    
)

没关系，但我想了解一下。

Answer 1

defrecord 本身是一个宏，因此不会对其子窗体执行宏扩展。避免这种情况的一种快速方法是定义您自己的 my-defrecord 并使用您想要的方法 impls 扩展为 defrecord。

使用宏创建 defrecord 方法给出 Don't know how to create ISeq from: clojure.lang.Symbol

Using a macro for creating defrecord methods gives Don't know how to create ISeq from: clojure.lang.Symbol

macros

clojure