macros - Clojure 宏中的类型提示 deftype

Question

我正在尝试创建一个宏来生成 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)))

看起来我的类型暗示了错误的事情，或者元数据没有被传递。除了解决眼前的问题之外，如果您可以帮助解决更一般的“元”问题，那就加分:如何调试将元数据作为宏扩展进行操作的宏在这里不是很有用。

谢谢

Answer 1

:tag 元数据应该是一个符号，而不是一个类对象(因为毕竟，符号是您在非宏情况下可以作为代码键入的所有内容:我可以'不要将 Class 对象 int 本身嵌入到我的代码中!)。因此，您不需要 Integer/TYPE，而只需要 'int，对于所有其他类型提示也是如此。