ostrzeżenie Odbicie w kodzie generowane przez Clojure makro

Question

Nie rozumiem dlaczego poniższy kod generuje ostrzeżenie refleksji:

(set! *warn-on-reflection* true) 

(defmacro my-macro [k] `(.length ~(with-meta k {:tag String}))) 

(defn my-fun1 [k] (my-macro k)) 
;; Reflection warning, /tmp/form-init2370243866132870536.clj:1:18 - reference to field length can't be resolved. 

Korzystanie macroexpand-1 pokazuje, że wygenerowany kod nie mają typehint, a jeśli piszę to samo Kod ręcznie bez użycia makra, nie ma ostrzeżenia odbicie:

(set! *print-meta* true) 

(macroexpand-1 '(my-macro k)) 
;; (.length ^java.lang.String k) 

(defn my-fun2 [k] (.length ^String k)) 
;; All good, no reflection warning 

benchmarking funkcji pokazuje, że ostrzeżenie to nie tylko czerwony śledź, odbicie w rzeczywistości występuje w czasie wykonywania:

(time (reduce + (map my-fun1 (repeat 1000000 "test")))) 
;; "Elapsed time: 3080.252792 msecs" 

(time (reduce + (map my-fun2 (repeat 1000000 "test")))) 
;; "Elapsed time: 275.204877 msecs" 

Answer 1

Znacznik powinien być symbolem, a nie klasą. Więc następujący kod działa:

(defmacro my-macro [k] `(.length ~(with-meta k {:tag `String}))) 

To jest rzeczywiście stwierdzono w documentation of special forms:

: tag

symbol nazewnictwa klasy lub obiektu klasy wskazującą typ Java obiektu w var lub jego wartość zwracaną, jeśli obiekt jest obiektem o numerze fn.

Fakt macroexpand-1 przedstawia wskazówkę typu, który jest nieważny, ale wygląda dokładnie tak, jak poprawny jest dość mylący :)