「^：static」在Clojure中做了什麼？

我已經在Clojure core.clj源代碼中看到了很多功能上的^:static元數據，例如，在seq?定義：「^：static」在Clojure中做了什麼？

(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使用如此頻繁？

來源

2011-09-26 mikera

在Clojure中1.3的開發豐富的想添加的函數返回其他類型的對象比的能力。這將允許使用本地數學運算符，而不必將所有內容都塞進一個函數中。

最初的實現需要支持這個功能的功能被標記爲:static。這個元數據導致編譯器爲函數產生兩個版本，一個返回Object，另一個返回該特定類型。在編譯器確定類型總是匹配更具體的版本的情況下將被使用。

這是後來做成全自動的，所以你不需要再添加這個。

來源

2011-09-26 17:35:10

當你說*全自動*，你的意思是在最近的clojure編譯器版本產生雙胞胎，並執行這樣的優化*爲每個功能*無論標記爲^靜態或不是？ –

當類型註釋導致編譯器確定某個函數可以產生除Object之外的其他東西時，則會生成其他表單。 –

-3

似乎它是clojure 1.3中的一個新的元數據屬性。你可以比較1.3和1.2之間的源：

所以我認爲這是與^：動態指示VAR是否允許動態綁定。只是我的猜測。直到我看到有關此屬性的文檔時才確定。

來源

2011-09-26 09:33:26

根據Google網上論壇線程「Type hinting inconsistencies in 1.3.0」,這是一個無操作。

^:static一段時間以來AFAIK暫時無法使用，在改變了一段時間之後，沒有必要再做改動。

- a May 2011 post通過查斯Emerick

來源

2011-09-26 12:52:24 bmillare

「^：static」在Clojure中做了什麼？

回答

相關問題