phương pháp Làm thế nào để gọi quá tải Java trong Clojure

Question

Ví dụ lớp Java này:

package foo; 
public class TestInterop 
{ public String test(int i) 
    { return "Test(int)"; } 

    public String test(Object i) 
    { return "Test(Object)"; } 
} 

Khi tôi bắt đầu Clojure và cố gắng gọi phương thức thử nghiệm (int), các phương pháp thử nghiệm (Object) được gọi thay vào đó, bởi vì Clojure tự động đóng số nguyên vào một đối tượng java.lang.Integer.

Làm cách nào để buộc Clojure gọi phương thức thử nghiệm (int)?

user=> (.test (new foo.TestInterop) 10) 
"Test(Object)" 

Tôi muốn gọi các phương thức như Component.add(Component comp, int index) trong AWT, nhưng thay vì tiếp tục gọi add(Component comp, Object constraints), vì vậy các nút trên thanh công cụ của tôi luôn xuất hiện theo thứ tự sai.

Answer 1

Cuộc thảo luận đang diễn ra trong kênh #clojure trên Freenode ngay bây giờ về chủ đề này. Chris Houser (người sẽ đăng một câu trả lời, nhưng cuối cùng đã quyết định anh ta quá bận rộn để làm điều đó) đã đăng a Gist thể hiện điều gì xảy ra với phương thức quá tải boolean và Object; nó chỉ ra rằng trong một số tình huống, ngoài một diễn viên (boolean ...), một gợi ý kiểu là bắt buộc. Cuộc thảo luận khá sáng sủa, với một vài góc tối của quá trình biên dịch Clojure trở nên sáng đẹp. (Xem liên kết tới nhật ký IRC bên dưới.)

Về cơ bản, nếu một đối tượng được tạo ngay trong biểu mẫu gọi phương thức - (.foo (Foo.) ...), nói - gợi ý loại đó là không cần thiết; nó cũng không cần thiết nếu đối tượng đã được xây dựng như một giá trị cho một địa phương ở dạng let kèm theo (xem cập nhật 2 bên dưới và phiên bản Gist của tôi). Nếu đối tượng thu được bằng cách tra cứu Var, mặc dù, một gợi ý kiểu là bắt buộc - có thể được cung cấp hoặc trên chính Var hoặc tại trang cuộc gọi, trên biểu tượng được sử dụng để chỉ Var.

đang

Java từ Gist:

Và mã Clojure:

(.foo (mypkg.Ugly.) 5) 
;=> "obj: 5" 

(.foo (mypkg.Ugly.) true) 
;=> "obj: true" 

(.foo (mypkg.Ugly.) (boolean true)) 
;=> "bool: true" 


(def u (mypkg.Ugly.)) 
(.foo u (boolean true)) 
;=> "obj: true" 

(.foo #^mypkg.Ugly u (boolean true)) 
;=> "bool: true" 

Lưu ý cách trình biên dịch Clojure cần một loại gợi ý trên u để có thể biên dịch một phương pháp gọi trực tiếp . Nếu không, mã dựa trên phản chiếu dường như được tạo ra, điều này dường như mất đi sự theo dõi thực tế rằng đối số có nghĩa là một nguyên thủy trên đường đi.

Các bổ sung của tôi tuân theo (và đây là my fork of the above Gist).

;; renamed mypkg.Ugly to foo.TestInterop2 when doing my tests 
user> (let [t (foo.TestInterop2.)] 
     (.foo t (boolean true))) 
"bool: true" 

;;; type-hinting the Var 
user> (def #^foo.TestInterop2 x (foo.TestInterop2.)) 
#'user/x 
user> (.foo x (boolean true)) 
"bool: true" 

Chủ đề lần đầu tiên được đưa ra at this point. Chouser đăng Gist half an hour later, với các cuộc thảo luận ngày càng trở nên thú vị hơn sau đó.

Answer 2

user=> (.test (foo.TestInterop.) 10) 
"Test(Object)" 
user=> (.test (foo.TestInterop.) (int 10)) 
"Test(int)" 

Số trong Clojure thường được đóng hộp (int => Integer) trừ khi bạn yêu cầu cụ thể về nguyên thủy.

Here là thông tin thêm về nguyên thủy trong Clojure.