java – 类型提示Clojure中的函数

发布时间：2020-12-15 00:27:06 所属栏目：Java 来源：网络整理

导读：我试图解决Clojure中的反射警告,这似乎是由于缺少对普通 Java对象的函数返回值的类型推断. 演示该问题的简单示例代码： (set! *warn-on-reflection* true) (defn foo [#^Integer x] (+ 3 x))(.equals (foo 2) (foo 2))= Reflection warning,NO_SOURCE_PATH:1

我试图解决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版本中仍然有一定的局限性,所以这可能永远不会一样.还要注意,^ ^不赞成使用^.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!