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

102

Si shortse promueve automáticamente a inten operaciones aritméticas, entonces por qué es:

short thirty = 10 * 3;

¿Una cesión legal a la shortvariable 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 intvalor a a shortsin convertir como se esperaba.

¿Está sucediendo algo especial con los literales numéricos?

java short type-promotion

— Gecko de techo
fuente

short thirty = 10 * 3;Lo más probable es que sea reemplazado por short thirty = 30;el compilador, que es una declaración válida. (Sin embargo, tendría que buscar la sección JLS relevante).

— Thomas

El compilador calcula 10 * 3e inicializa la variable con el resultado. En su ejemplo no funcional, el cálculo ocurre en tiempo de ejecución donde la JVM lanza el corto.

— Felix

Creo que esto es un duplicado de stackoverflow.com/questions/30346587/java-char-to-byte-casting o stackoverflow.com/questions/9379983/… . Sin embargo: tenga en cuenta que se final int ten = 10; final int three = 3; short thirty = ten * three;compila bien.

— Marco13

If short is automatically promoted to int in arithmetic operations- eso no es relevante. Ni 10tampoco 3son cortos ni son promovidos, son literales.

— Matthew Read

@MatthewRead: pero incluso como literales, tienen que ser evaluados como un tipo de datos en particular, ¿verdad? Entonces, ¿es cierto que 10y el compilador los 3evalúa como ints?

— LarsH

Respuestas:

139

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

Prueba a cambiar teny threeque final short(por lo que las constantes de tiempo de compilación) y ver lo que sucede: P

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

Bien, aquí está la diferencia de código de bytes para diferentes casos.

Caso 1 :

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

Código de byte:

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 byte:

  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 byte:

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, 10y 3se toman de las variables locales s1ys2

— TheLostMind
fuente

gustó el Try changing ten and three to final shortejercicio :)

— Sergey Pauk

@SergeyPauk: eso es realmente importante para comprender las constantes de tiempo de compilación ... se aplica a todas las primitivas (cadenas también ...) :)

— TheLostMind

@TheLostMind Sugeriría una mejor redacción you will see that there's no difference (between those two lines in the decompiled code)porque ¿no es este tu punto?

— Sergey Pauk

Curiosamente, esto también significa que case 10*3:y similar es legal en una construcción de interruptor.

— Ceiling Gecko

Y de manera similar en las construcciones enum. De hecho, usar cosas como 1 << 5 para constantes de enumeración de campo de bits es idiomático.

— Betsabé

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

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

Sería diferente si teny threeestuvieran marcados final.

— Betsabé
fuente

La siguiente respuesta 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).

— Nicolás Henneaux
fuente