Clojure 宏中的类型提示 deftype答案

【问题标题】：Type hint deftype in Clojure macroClojure 宏中的类型提示 deftype
【发布时间】：2014-05-31 04:10:37
【问题描述】：

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

我似乎在提示错误的内容，或者元数据没有被传递。除了解决眼前的问题之外，如果您能帮助解决更普遍的“元”问题，则可以加分：如何调试将元数据操作为宏扩展的宏在这里不是很有用..

谢谢

【问题讨论】：

标签： macros clojure

【解决方案1】：

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

【讨论】：

嗯。如果我将宏中的类型提示更改为 'int、'boolean 和 'java.lang.Object，我会得到 java.lang.UnsupportedOperationException: Can't type hint a original local.
如果我可以让宏插入代码以创建类型提示，这将是一个解决方案，但我无法插入阅读器宏并将“with-meta”插入到 deftype 中' 也不起作用（我尝试编写一个 deftype [即甚至不使用宏生成它] 使用 with-meta 进行类型提示而不是阅读器宏并且无法使其工作）。
带有with-meta 的版本（并且使用符号而不是类对象）与使用阅读器宏生成的版本相同。如果你写 (... (remove [_ ^int x] (.remove obj ^int x))) 你会得到同样的行为。相反，请确保不在第二次出现 x 时包含类型提示：它应该只是 (.remove obj x)。
啊啊啊啊。 :) 就是这样。谢谢。