Perché l'operatore di incremento Java consente operazioni di restringimento senza cast esplicito?

Question

Eventuali duplicati:
Java += operator

In Java, questo non è valido (non compila), come previsto:

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

Ma questo è perfettamente bene (?!)

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

Si tratta ovviamente di un'operazione di restringimento che può eventualmente superare l'intervallo int. Quindi perché il compilatore non si lamenta?

Answer 1

i += lng; operatore di assegnazione composto cast implicitamente.

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

DA JLS:

Un'espressione assegnazione composta del op modulo E1 = E2 è equivalente a = (T) ((E1) op (E2)) E1, dove T è il tipo di E1, ad eccezione del fatto che E1 viene valutato solo una volta.

Answer 2

Questa viene definita nella JLS #15.26.2:

Un assegnamento espressione composto della forma E1 op= E2 equivale a E1 = (T) ((E1) op (E2)), dove T è il tipo di E1, tranne che E1 viene valutata solo una volta.

In altre parole, i += lng esegue un cast implicitamente.

Answer 3

Il compilatore non si lamenta perché, secondo JLS §15.26.2. Compound Assignment Operators:

Un assegnamento espressione composto della forma E1 op= E2 equivale a E1 = (T) ((E1) op (E2)), dove T è il tipo di E1, tranne che E1 viene valutata solo una volta.

Così,

i += lng; 

è equivalente a

i = (int)(i + lng);