Dodawanie int do krótkiego

Question

Mój kolega zadał mi to pytanie i jestem trochę zmieszany.

int i = 123456; 
short x = 12; 

Oświadczenie

x += i; 

kompiluje jednak

x = x + i; 

nie

Co Java tu robi?

Answer 1

int i = 123456; 
short x = 12; 
x += i; 

jest rzeczywiście

int i = 123456; 
short x = 12; 
x = (short)(x + i); 

Zważywszy x = x + i jest po prostu x = x + i. Nie jest on automatycznie rzutowany jako short i dlatego powoduje błąd (x + i jest typu int).

---

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

_{- JLS §15.26.2}

Answer 2

Liczby są traktowane jako int chyba że specjalnie rzucać je inaczej. Tak więc w drugim stwierdzeniu, w którym zamiast zmiennej używa się liczby literalnej, nie jest ona automatycznie rzutowana na odpowiedni typ.

x = x + (short)1; 

... powinien działać.

Answer 3

Operator + integralnych typów (INT, krótkie Char bajt) zawsze zwraca int jako wynik.

Widać, że z tym kodem:

//char x = 0; 
//short x = 0; 
//byte x = 0; 
int x = 0; 
x = x + x; 

To nie będzie skompilować chyba x jest int.