我正在尝试编写一个宏,该宏使用一些反射来生成 reify 表达式。
clojure.reflect 生成与 'java.util.Iterator<>' 类似的类型符号
不幸的是,编译器不接受类型提示中的 <> 语法
(reify Iterable (^{:tag java.util.Iterator} iterator [this] nil)) ; 工作正常
(reify Iterable (^{:tag java.util.Iterator<>} iterator [this] nil)) ;; 失败
CompilerException java.lang.RuntimeException: java.lang.ClassNotFoundException: java.util.Iterator<>, compiling:(NO_SOURCE_PATH:1325)
看起来编译器本应该足够了解 <> 以至于可以移除它,而不仅仅是拒绝它。这将使编写涉及类型提示和反射的正确宏变得容易得多。
我一直使用的弥补方法是
(defn hint
"clojure.reflect 使用尖括号标记泛型,但
编译器不支持类型提示中的泛型"
[obj tag]
(let [tag (-> tag .toString (.replace "<>" "") symbol)]
(with-meta obj {:tag tag}));)