使用^或:tag meta键入提示返回值？

Question

这两个似乎在Clojure中做同样的事情.哪种语法是规范的？

(defn a ^int [] 4)

(defn b ^{:tag int} [] 4)

我希望它是a因为它更短.

Answer 1

我只b在需要包含除标签之外的元数据时使用.例如,在实现瞬态集合时,我需要

(deftype Whatever [^{:tag ITransientVector
                     :unsynchronized-mutable true} foo])

请注意,编写它是等效的,完全可以接受

(deftype Whatever [^:unsynchronized-mutable ^ITransientVector foo])

但我个人更喜欢显式地图.

Answer 2

它的'a'是规范的.它是迄今为止我在Clojure代码和Clojure网站上的文档中看到的唯一一个.有关类型提示的更多信息,请参见此处.

希望这可以帮助.