在函数参数中做原始类型提示会将返回值转换为Object吗？

Question

大家好，
我正在与java-interop玩耍，并发现这个

(set! *warn-on-reflection* true)

(defonce ^:private ^ScheduledExecutorService executor (Executors/newScheduledThreadPool 1))

(defn set-timeout-primitive ^ScheduledFuture [^long ms ^Callable f]
  (.schedule executor f ms TimeUnit/MILLISECONDS))

(defn set-timeout-object ^ScheduledFuture [^Long ms ^Callable f]
  (.schedule executor f ms TimeUnit/MILLISECONDS))

(.get (set-timeout-primitive 2000 (fn [] (println :done) :done))) ; Reflection warning, ... - reference to field get on java.lang.Object can't be resolved.
(.get (set-timeout-object 2000 (fn [] (println :done) :done))) ; No warnings

这个反射警告的原因（感谢在这里解释）似乎是因为当编译器寻找匹配的接口时，它找到了这个

static public interface OLOO{Object invokePrim(Object arg0, long arg1, Object arg2);}

因此，返回值变成了Object，而不是ScheduledFuture。但使用^Long类型提示而不是^long时不会发生这种情况。

这可以改进吗？谢谢！

Answer 1

这是因为当编译器将VarExpr调用的组合转换成invokePrim表达式时，它丢失了arglist中的类型提示。我为此已经有一个补丁，如果这被转换成JIRA工单的话。

Comments

如果您喜欢，可以随意自己创建jira... 如果不这样的话，我们最终会到达那里

---

已完成 https://clojure.atlassian.net/browse/CLJ-2817