我尝试创建一个生成Clojure deftype
的宏,并且需要生成类型提示。我目前有一些测试代码:
(defmacro test-macro [n]
(let [obj-sym (gensym "obj")
p0 (with-meta 'p0 {:tag java.lang.Object})
p1 (with-meta 'p1 {:tag java.lang.Integer/TYPE})
r0 (with-meta 'remove {:tag java.lang.Boolean/TYPE})
r1 (with-meta 'remove {:tag java.lang.Object})]
`(deftype ~n [~obj-sym]
java.util.List
(~r0 [_ ~p0] (.remove ~obj-sym ~p0))
(~r1 [_ ~p1] (.remove ~obj-sym ~p1)))))
返回时:
(test-macro test-it)
;clojure.lang.Compiler$CompilerException: java.lang.IllegalArgumentException: Must hint overloaded method: remove, ...
作为指南,它应该产生相当于:
的东西(clojure.core/deftype ThisWorks [obj-5546]
java.util.List
(#^"boolean" remove [_ ^java.lang.Object p0-object] (.remove obj-5546 p0-object))
(^{:tag "java.lang.Object"} remove [_ ^int p0-int] (.remove obj-5546 p0-int)))
看起来我的类型暗示了错误的东西,或者元数据没有被传递。除了解决眼前的问题,如果你可以帮助更普遍的" meta"问题:如何调试一个宏操作元数据宏作为宏扩展并不是很有用..
由于
答案 0 :(得分:5)
:tag
元数据应该是一个符号,而不是一个类对象(因为,毕竟,在非宏情况下你可以键入一个符号作为代码:我无法嵌入我的代码中的Class对象int
本身!)。因此,而不是Integer/TYPE
,您只需要'int
,同样适用于所有其他类型提示。