Dlaczego operator inkrementacji Java pozwala na zawężanie operacji bez jawnego rzutowania?

Question

Powiel możliwe:
Java += operator

W Javie, to nie jest ważne (nie skompilować), zgodnie z oczekiwaniami:

long lng = 0xffffffffffffL; 
int i; 
i = 5 + lng; //"error: possible loss of magnitude" 

Ale to jest w porządku (?!)

long lng = 0xffffffffffffL; 
int i = 5; 
i += lng;  //compiles just fine 

Jest to oczywiście operacja zwężania, która może prawdopodobnie przekroczyć zakres int. Dlaczego więc kompilator nie narzeka?

Answer 1

i += lng; Operator przypisania złożenia działa w sposób dorozumiany.

i+=lng; 
is same as 
i = int(i+lng); 

Z JLS:

Wyrażenie zadanie związku o op postać E1 = E2 równoważne E1 = (T) ((E1) OP (E2)), gdzie T jest typ E1, z tym wyjątkiem, że E1 jest oceniany tylko jeden raz.

Answer 2

to określono w JLS #15.26.2:

Związek przyporządkowanie ekspresja postaci E1 op= E2 odpowiada E1 = (T) ((E1) op (E2)), gdzie T jest typu E1 tym wyjątkiem, że E1 jest obliczane tylko raz.

Innymi słowy, i += lng wykonuje niejawnie rzutowanie.

Answer 3

Kompilator nie skarży się, ponieważ według JLS §15.26.2. Compound Assignment Operators:

Związek przyporządkowanie ekspresja postaci E1 op= E2 odpowiada E1 = (T) ((E1) op (E2)), gdzie T jest typu E1 tym wyjątkiem, że E1 jest obliczane tylko raz.

Zatem

i += lng; 

jest równoważna

i = (int)(i + lng);