Không thể gõ gợi ý một địa phương với một initializer nguyên thủy

Question

Có thể ai đó giải thích cho tôi lỗi này:

user> (let [^int i 3] i) 
CompilerException java.lang.UnsupportedOperationException: Can't type hint a local with a primitive initializer, compiling:(NO_SOURCE_PATH:1) 

Tôi không hiểu,

• chính xác những gì tôi không thể gõ-gợi ý và lý do tại sao ?

• lý do tại sao tôi có thể sử dụng gợi ý loại mảng trong cùng một tình huống?

  user> (let [^ints ii (int-array 1)] ii) 
  #<int[] [I@334a123f> 
  

• cách nhập gợi ý biến số nguyên cục bộ?

Answer 1

Trường hợp ngoại lệ này được trình biên dịch gửi từ dòng this. Về cơ bản, nếu bạn sử dụng biểu thức là hằng số nguyên thủy hoặc thứ gì đó có thể được đánh giá tại thời gian biên dịch là hằng số nguyên thủy, như: (+ 1 10), trình biên dịch có thể phát hiện loại đối tượng và không cần loại gợi ý. Kiểm tra các phương thức getJavaClass và hasJavaClass trong cùng một lớp mà liên kết trước đó trỏ đến. Các phương thức này kiểm tra nếu biểu thức là nguyên thủy, sau đó lấy lớp từ biểu thức chính nó, nếu không hãy sử dụng loại gợi ý nếu được cung cấp.