Java phá vỡ gõ mạnh mẽ! Ai có thể giải thích nó?

Question

thể trùng lặp:
Varying behavior for possible loss of precision

Tôi tìm thấy một không thống nhất trong Java kiểm tra kiểu mạnh tại thời gian biên dịch. Vui lòng xem mã sau:

int sum = 0; 
sum = 1; //is is OK 
sum = 0.56786; //compile error because of precision loss, and strong typing 
sum = sum + 2; //it is OK 
sum += 2; //it is OK 
sum = sum + 0.56787; //compile error again because of automatic conversion into double, and possible precision loss 
sum += 0.56787; //this line is does the same thing as the previous line, but it does not give us a compile error, and javac does not complain about precision loss etc. 

Có ai có thể giải thích cho tôi không? Có phải đó là lỗi đã biết hoặc hành vi mong muốn không? C++ đưa ra cảnh báo, C# đưa ra một lỗi biên dịch.

Java có đánh mạnh không? Bạn có thể thay thế + = bằng - = hoặc * = - mọi thứ đều được trình biên dịch chấp nhận.

Answer 1

Hành vi này được xác định bởi ngôn ngữ (và do đó là OK). Từ the JLS:

15.26.2 Các nhà khai thác Compound Assignment

Một biểu thức phân công hợp chất có dạng E1 op = E2 tương đương để E1 = (T) ((E1) op (E2)) , trong đó T là loại E1, ngoại trừ E1 chỉ được đánh giá một lần. Ví dụ, đoạn mã sau là đúng:

short x = 3; 
x += 4.6; 

và kết quả trong x có giá trị 7 vì nó tương đương với:

short x = 3; 
x = (short)(x + 4.6); 

Answer 2

Nó biên dịch bởi vì trình biên dịch được chuyển đổi

sum += 0.56787; 

để

sum = (int)(sum + 0.56787); 

Answer 3

này không có gì để làm với kiểu mạnh nhưng chỉ với các quy tắc khác nhau cho các chuyển đổi ngầm.

Bạn đang xem hai toán tử khác nhau tại đây. Trong trường hợp đầu tiên, bạn có toán tử gán đơn giản "=" không cho phép gán double cho một số int. Trong trường hợp thứ hai, bạn có toán tử gán "+ =" cho phép thêm double vào một số int bằng cách chuyển đổi double thành một số int trước tiên.