数组类的类型提示在绑定形式中不起作用

Question

类型提示在绑定形式中未按预期工作。

以下形式将导致反射警告

    (let [^{:tag (Class/forName "[Ljava.lang.Object;")} a (make-array Object 2)]
      (aget a 0))

但是，类型提示似乎在vars上工作正常

    (def ^{:tag (Class/forName "[Ljava.lang.Object;")} a (make-array Object 2))
    (aget a 0) ;; 无反射警告

Answer 1

评论由：gshayban

这比类型提示更微妙：编译器不会在绑定向量中评估元数据。

这不会引发必要的异常...

(let (link: ^{:foo (Class/forName "not real")} bar 42)
bar)

也不会这样...

(let (link: ^{gyorgy ligeti} a 42)
a)

Gyorgy Ligeti 无法解析。

这两个等价的示例不进行反射
(let (link: ^objects a (make-array Object 2))
(aget a 0))

(let (link: a ^objects (make-array Object 2))
(aget a 0))

Answer 2

评论由：gshayban

在本地绑定的左侧仅对符号的元数据进行分析或评估。

Answer 3

参考： https://clojure.atlassian.net/browse/CLJ-1136（由 lvanderhart 报告）