Warum benötigt diese Zuweisung keine explizite Umwandlung?

Question

Betrachten Sie diesen Code:

byte b=1; 
long l=1000; 
b += l; 

ich die letzte Anweisung erwarten würde eine explizite Umwandlung erforderlich ist, weil b+=l als b = b+l und ausgewertet wird (b+l) Teil eine ganze Zahl gibt. Integer kann keinem Byte ohne eine explizite Umwandlung zugewiesen werden?

Answer 1

Nun, mit zu beginnen, gibt b+l ein long, keine int ...

... aber Verbindung Zuweisungsoperator anderes Verhalten haben. Wie pro JLS section 15.26.2:

Verbindung Zuordnung Expression der E1 op form = E2 zu E1 entspricht = (T) ((E1) op (E2)), wobei T ist die Art von E1, außer dass E1 wird nur einmal ausgewertet.

Beachten Sie die Besetzung zu T.