我试图解决Clojure中的反射警告,这似乎是由于缺少对普通
Java对象的函数返回值的类型推断.
演示该问题的简单示例代码:
(set! *warn-on-reflection* true) (defn foo [#^Integer x] (+ 3 x)) (.equals (foo 2) (foo 2)) => Reflection warning,NO_SOURCE_PATH:10 - call to equals can't be resolved. true
解决方法
这两个版本似乎有效:
user> (defn foo [^Integer x] (+ 3 x)) #'user/foo user> (.equals (foo 2) (foo 2)) Reflection warning,NO_SOURCE_FILE:1 - call to equals can't be resolved. ;' true user> (.equals ^Integer (foo 2) ^Integer (foo 2)) true user> (defn ^Integer foo [^Integer x] (+ 3 x)) #'user/foo user> (.equals (foo 2) (foo 2)) true
请注意,Clojure的类型提示在1.2版本中仍然有一定的局限性,所以这可能永远不会一样.还要注意,^ ^不赞成使用^.