"^:static" 是什么意思？在 Clojure 中做什么？
我在 Clojure core.clj 源代码中的很多函数上看到了 ^:static 元数据，例如在 seq?：
(def
^{:arglists '([x])
:doc "Return true if x implements ISeq"
:added "1.0"
:static true}
seq? (fn ^:static seq? [x] (instance? clojure.lang.ISeq x)))
这个元数据到底有什么作用，为什么它在 core.clj 中如此频繁地使用？
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（3）
在 Clojure 1.3 的开发中，Rich 希望添加函数返回 Object 以外的类型的功能。这将允许使用本机数学运算符，而不必将所有内容都塞进一个函数中。
原始实现要求支持此功能的函数被标记为
:static。此元数据导致编译器生成该函数的两个版本，一个返回 Object，另一个返回该特定类型。如果编译器确定类型始终匹配，则将使用更具体的版本。后来它变得完全自动化，因此您不再需要添加它。
In the development of Clojure 1.3 Rich wanted to add the ability for functions to return types other than Object. This would allow native math operators to be used without having to cram everything into one function.
The original implementation required functions that supported this to be marked
:static. this meta data caused the compiler to produce two versions to the function, one that returned Object and one that returned that specific type. in cases where the compiler determined that the types would always match the more specific version would be used.This was later made fully automatic so you don't need to add this anymore.
根据 Google 网上论坛帖子“1.3.0 中的类型提示不一致”，这是一个空操作。
— 2011 年 5 月的帖子，作者：Chas Emerick
According to the Google Groups thread “Type hinting inconsistencies in 1.3.0”, it’s a no-op.
— a May 2011 post by Chas Emerick
似乎这是 clojure 1.3 中的新元数据属性。您可以比较 1.3 和 1.2 之间的源代码：
所以我认为它与 ^:dynamic 有关，它指示 var 是否允许动态绑定。只是我的猜测。直到我看到有关此属性的文档后才确定。
Seems it's a new metadata attribute in clojure 1.3. And you can compare the source between 1.3 and 1.2:
So I think it has something to do with ^:dynamic which indicates whether the var is allowed for dynamic binding. Just my guess. Not sure until I see document about this attribute.