使用與原始參數的協議

Question

我試圖定義的Clojure 1.4與原始參數的協議（讓我能避免性能敏感的代碼不必要的原始拳）：

(defprotocol A 
    (foo [a ^long x])) 

(extend-type java.lang.String A 
    (foo [s ^long x] (.charAt s x))) 

這個樣子吧工作正常，但我嘗試使用它時出現異常：

(foo "abracadarbra" 3) 
=> ClassCastException XXXX cannot be cast to clojure.lang.IFn$OLO 

我在做什麼錯？

Answer 1

經過一番研究後，似乎協議還不支持原始類型提示（截至Clojure 1.4）。見例如https://groups.google.com/d/topic/clojure-dev/HxBqIewc494/discussion

替代似乎是：與原始的提示

• 寫正功能。你失去了多態性。
• 使用的Java接口（可以使用reify Clojure中建實例）

Answer 2

採取型暗示出defprotocol，並把它留在extend-type

(defprotocol A 
(foo [a x])) 

(extend-type java.lang.String A 
    (foo [s ^Long x] (.charAt s x))) 
nil 
core> (foo "abracadarbra" 3) 
\a 

，或者你可以改變類型提示，像這樣：

(defprotocol A 
(foo [a ^Long/TYPE x])) 

(extend-type java.lang.String A 
    (foo [s ^long x] (.charAt s x))) 
nil 
core> (foo "abracadarbra" 3) 
\a 

這仍然不會產生反射警告，而不提示defprotocol

編輯：

(extend-type java.lang.String A 
    (foo [s ^Long x] (type x))) 
nil 
core> (foo "abracadarbra" 3) 
java.lang.Long