java - ¿Por qué "short treinta=3*10" es una asignación legal?

type-promotion

Question

Si short se promociona automáticamente a int en operaciones aritméticas, entonces por qué es:

short thirty = 10 * 3;

¿Una asignación legal a la variable short thirty ?

A su vez, esto:

short ten = 10;
short three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

tan bien como esto:

int ten = 10;
int three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

no se compila porque no se permite asignar un valor int a un short sin convertir como se esperaba.

¿Hay algo especial en los literales numéricos?

Answer 1

La siguiente answer agrega la sección JLS y algunos detalles sobre este comportamiento.

Según JLS §15.2 - Formas de expresiones

Algunas expresiones tienen un valor que se puede determinar en tiempo de compilación. Estas son expresiones constantes (§15.28).

Answer 2

Porque el compilador reemplaza 10*3 con 30 en tiempo de compilación . Entonces, efectivamente: short thirty = 10 * 3 se calcula en tiempo de compilación.

Intente cambiar ten y three a final short (haciendo que compilen constantes de tiempo) y vea qué sucede: P

Examine el código de bytes usando javap -v para ambas versiones ( 10*3 y final short ). Podrá ver que hay poca diferencia.

Ok, entonces, aquí está la diferencia de código de byte para diferentes casos.

Caso 1 :

Código Java: main () {short s = 10 * 3; }

Código de bytes:

stack=1, locals=2, args_size=1
0: bipush 30 // directly push 30 into "s"
2: istore_1
3: return 

Caso -2:

public static void main(String arf[]) {
final short s1= 10;
final short s2 = 3;
short s = s1*s2;
}

Código de bytes:

 stack=1, locals=4, args_size=1
0: bipush 10
2: istore_1
3: iconst_3
4: istore_2
5: bipush 30 // AGAIN, push 30 directly into "s"
7: istore_3
8: return 

Caso -3:

public static void main(String arf[]) throws Exception {
short s1= 10;
short s2 = 3;
int s = s1*s2;
}

Código de bytes:

stack=2, locals=4, args_size=1
0: bipush 10 // push constant 10
2: istore_1
3: iconst_3 // use constant 3
4: istore_2
5: iload_1
6: iload_2
7: imul
8: istore_3
9: return 

En el caso anterior, 10 y 3 se toman de las variables locales s1 y s2

Answer 3

Sí, hay algo especial en el caso literal: 10 * 3 se evaluará en tiempo de compilación . Por lo tanto, no necesita una conversión explícita (short) para literales multiplicados.

ten * three no es evaluable en tiempo de compilación, por lo tanto, necesita una conversión explícita.

Sería diferente si ten y three fueran marcados como final .