¿El tipo de byte de Java es extraño?

Question

¿Podría alguien explicar el tipo de byte de Java?

Esto no se compila:

byte b1 = 9; 
byte b2 = 1; 
byte b3 = b1 + b2; 

Mientras que esto hace:

byte b4 = 9 + 1; 
byte b5 = (char)(9+1); 

Además, la asignación a una larga no funciona, incluso si el valor se ajusta a un byte:

byte b7 = (long)127; 

Se hace aún más raro con envolturas

Esto compila:

Byte b6 = (int)3; 

Pero esto no es así:

Integer i = (byte)3; 

Answer 1

b6 funciona debido al estrechamiento en tiempo de compilación de las constantes literales. b7 no funciona porque en tiempo de compilación estrechamiento se limita a todas las primitivas pero de largo (un poco extraño, no sé por qué)

La parte interesante es §5.2 of the JLS:

In addition, if the expression is a constant expression (§15.28) of type byte, short, char or int : 

A narrowing primitive conversion may be used if the type of the variable is byte, short, or char, and the value of the constant expression is representable in the type of the variable. 
A narrowing primitive conversion followed by a boxing conversion may be used if the type of the variable is : 

- Byte and the value of the constant expression is representable in the 
    type byte. 

- Short and the value of the constant expression is representable in 
    the type short.  

- Character and the value of the constant expression is representable in the type char. 

If the type of the expression cannot be converted to the type of the variable by a conversion permitted in an assignment context, then a compile-time error occurs. 

idea de por qué i no funciona aunque - la ampliación debería funcionar bien y, de hecho, el compilador debería generar algo como Integer.valueOf((byte)3); de todos modos. Usar la llamada explícita funciona como se espera, es decir, se está ampliando.

Curiosamente usando el compilador de Java de eclipse Integer i = (byte) 3; compila muy bien, lo que me lleva a creer que acaba de encontrar un error en javac - ¡felicidades! (bueno, o eso o un error en el compilador de eclipse, pero el comportamiento de eclipse me parece el correcto). FWIW He informado el error contra javac a oráculo ...

Encontrar la pieza correcta en el JLS fue menos trabajo que formatear esto que es algo legible, por lo que probablemente sea más fácil si sigues el enlace.

Answer 2

primer fragmento produce error de compilación debido a todas las constantes numéricas son por defecto int s en Java.

Answer 3

Especificación del lenguaje Java 5.6.2 Promoción binaria numérica: "De lo contrario, ambos operandos se convierten tipo int".

Así que Java convierte ambos operandos a y int, por lo que el resultado de la adición es un int.

Adición: La diferencia entre b3 y b4 es que en b4 es una expresión constante (15.28), en b3 es literal.