Comportamiento de desplazamiento sin signo derecho aplicado a la variable byte

Question

Considérese el siguiente recorte de código java

byte b=(byte) 0xf1; 
byte c=(byte)(b>>4); 
byte d=(byte) (b>>>4); 

de salida:

c=0xff 
d=0xff 

salida esperada:

c=0x0f 

cómo? como b en el binario 1111 0001 después del cambio a la derecha sin signo 0000 1111 por lo tanto, 0x0f pero ¿por qué es 0xff cómo?

Answer 1

El problema es que todos los argumentos son promovidos primero en int antes de la operación de cambio se lleva a cabo:

byte b = (byte) 0xf1; 

b se firma, por lo que su valor es -15.

byte c = (byte) (b >> 4); 

b es primero signo extendido al entero -15 = 0xfffffff1, a continuación, desplaza a la derecha a 0xffffffff y truncado a 0xff por el molde a byte.

byte d = (byte) (b >>> 4); 

b es primero signo extendido al entero -15 = 0xfffffff1, a continuación, desplaza a la derecha a 0x0fffffff y truncado a 0xff por el molde a byte.

Puede hacer (b & 0xff) >>> 4 para obtener el efecto deseado.

Answer 2

Supongo que b es signo extendido a int antes de cambiar.

Así que esto podría funcionar como se esperaba:

(byte)((0x000000FF & b)>>4) 

Answer 3

Según Bitwise and Bit Shift Operators:

El operador de desplazamiento a la derecha sin signo ">>>" se desplaza un cero a la posición más a la izquierda, mientras que la posición más a la izquierda después de ">>" depende de la extensión de la señal.

Así que con b >> 4 a transformar 1111 0001-1111 1111 (b es negativo, por lo que añade 1) que es 0xff.

Answer 4

Java intenta escatimar en tener soporte explícito para tipos básicos sin signo definiendo los dos operadores de cambio diferentes en su lugar.

La pregunta se refiere al desplazamiento a la derecha sin signo, pero los ejemplos hacen tanto (firmado y sin firmar), y muestra el valor del cambio firmado (>>).

Tus cálculos serían los correctos para el cambio sin signo (>>>).