在Clojure中鍵入函數的提示

Question

我試圖解決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 

什麼是解決它的最好方法？這可以通過類型提示來完成嗎？

Answer 1

這兩個版本似乎工作：

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版本，所以這可能無法正常工作永遠以同樣的方式。還請注意，#^已被棄用，轉而使用^。