使用与原始参数的协议

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