使用宏创建 defrecord 方法给出了不知道如何从以下位置创建 ISeq：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。