Dlaczego (int 10) powoduje wystąpienie Long?

Question

Dlaczego (int 10) nie produkuje wystąpienia typu java.lang.Integer?

; why Long here? 
=> (type (int 10)) 
; java.lang.Long 

; this one is also Long, why not java.lang.Number? 
=> (type (num 10)) 
; java.lang.Long 

=> (type (double 10)) 
; java.lang.Double 
=> (type (long 10)) 
; java.lang.Long 
=> (type (float 10)) 
; java.lang.Float 
=> (type (short 10)) 
; java.lang.Short 
=> (type (bigint 10)) 
; clojure.lang.BigInt 
=> (type (bigdec 10)) 
; java.math.BigDecimal 
=> (type (boolean 10)) 
; java.lang.Boolean 
=> (type (char 10)) 
; java.lang.Character 
=> (type (byte 10)) 
; java.lang.Byte 

Answer 1

Clojure wewnętrznie obsługuje tylko long liczb całkowitych. (int) służy do przesyłania long do int w celu wywoływania metod Java, które oczekują argumentu int.

W tym przypadku (int 10) rzeczywiście zwrócić Java int, ale Clojure następnie promuje int powrotem do long. (type) używa (class), aby znaleźć typ argumentu (w tym przypadku), a zatem long zostaje zapakowany do java.lang.Long.

Można produkować java.lang.Integer stosując jedną z java.lang.Integer konstruktorów i metod fabrycznych:

user> (type (Integer. 10)) 
java.lang.Integer 

user> (type (Integer/valueOf 10)) 
java.lang.Integer 

user> (type (Integer/decode "10")) 
java.lang.Integer 

... 

(num) zostanie wyrzucony w górę swój argument do klasy abstrakcyjnej java.lang.Number, ale (type) powróci rzeczywisty typ jego argumentu, czyli java.lang.Long jeszcze raz.

Answer 2

int jest obsada do pierwotnej liczby całkowitej dla połączeń międzyoperacyjnych. Ponieważ każda z wywołań typu pobiera Object rzeczy stają się ponownie zapakowane, a pola Clojure (> = 1.3) to Long i Double. Jeśli potrzebujesz Integer, musisz go utworzyć.

user=> (type (Integer/valueOf 10)) 
java.lang.Integer