Java ngầm chuyển đổi

Question

Với đoạn mã sau:

Float a = 1.2; 

có lỗi bởi vì nó lấy số thập phân giá trị đôi và double là một kiểu dữ liệu lớn hơn float.

Hiện tại, số nguyên này là số nguyên theo mặc định int loại. Vì vậy, tại sao mã sau đây không đưa ra bất kỳ lỗi nào?

Byte b = 20; 

Answer 1

Trình biên dịch là đủ thông minh để hình dung ra rằng các đại diện chút 20 (một giá trị int) có thể phù hợp với một byte với không mất dữ liệu. Từ Java Language Specification §5.1.3:

Chuyển đổi nguyên thủy thu hẹp từ double để float được điều chỉnh bởi IEEE 754 quy tắc làm tròn (§4.2.4). Chuyển đổi này có thể mất độ chính xác, nhưng cũng mất phạm vi, dẫn đến một số float bằng 0 từ số double và float vô cùng từ một số hữu hạn kép. A double NaN được chuyển đổi thành float NaN và double vô cực được chuyển đổi thành float vô cùng giống nhau.

Một chuyển đổi thu hẹp của một số nguyên thành một kiểu tách rời T đơn giản loại bỏ tất cả trừ các bit thứ tự thấp nhất, trong đó n là số bit được sử dụng để biểu diễn loại T. Ngoài khả năng mất thông tin về độ lớn của giá trị số, điều này có thể khiến dấu của giá trị kết quả khác với dấu của giá trị đầu vào.

Xem thêm this thread.

Answer 2

Không có chuyển đổi hẹp ngầm nói chung - biểu thức hằng số là ngoại lệ duy nhất, và họ được phép một cách rõ ràng bởi JLS 5.2:

Bên cạnh đó, nếu biểu thức là một biểu thức hằng số (§15.28) của loại byte, ngắn, char hoặc int:

* Chuyển đổi nguyên thủy thu hẹp có thể được sử dụng nếu loại biến là byte, ngắn hoặc char và giá trị của biểu thức hằng số được thể hiện trong loại của biến.

Không có đề cập đến các chuyển đổi thu hẹp tiềm ẩn được phép cho số điểm động, vì vậy chúng bị cấm theo quy tắc chung.