qué significa bitwise left shift un char sin signo con 16

Question

estoy leyendo un archivo .cpp que contiene una variable unsigned char, está intentando el bit shift izquierdo 16 bits, ya que unsigned char está compuesto por 8 bits, shift izquierdo 16 bits borrará todos los bits y lo llenará con ocho ceros.

unsigned char byte=0xff; byte << 16;

Answer 1

Cuando se cambia un valor,

unsigned char x = ...; 
int y = x << 16; 

El tipo de x se promueve a int si unsigned char cabe en un int (la mayoría de los sistemas), o para unsigned si unsigned char no cabe en un int (raro). Siempre que su int tenga 25 bits de ancho o más, no se descartará ningún dato .

Tenga en cuenta que esto no tiene ninguna relación con el hecho de que 16 tiene el tipo int.

/* All three are exactly equivalent */ 
x << 16; 
x << 16u; 
x << (unsigned char) 16; 

Fuente: de n1516 (C99 borrador):

§6.5.7 párrafo 3: operadores de desplazamiento a nivel de bit

Las promociones enteros se llevan a cabo en cada uno de los operandos. El tipo de resultado es el del operando izquierdo promocionado.

§6.3.1.1 párrafo 2: booleanos, caracteres y números enteros

Si un int puede representar todos los valores del tipo de original (como restringida por el ancho, para un campo de bits ) , el valor se convierte en un int; de lo contrario, se convierte en un sin signo int. Estas se llaman promociones enteras.

Notas al pie:

: Algunos chips DSP, así como ciertas superordenadores Cray se sabe que tienen sizeof(char) == sizeof(int). Esto simplifica el diseño de la unidad de almacenamiento de carga del procesador a costa de un consumo de memoria adicional.

: Si su desplazamiento a la izquierda es ascendido a int y luego se desborda el int, este es un comportamiento indefinido (demonios pueden volar fuera de la nariz).En comparación, el desbordamiento de un unsigned siempre está bien definido, por lo tanto, los cambios de bit deben realizarse generalmente en en los tipos unsigned.

Answer 2

Si char encaja dentro int, que será promovido a una int y el resultado será como se espera. Si ese no es el caso, se trata de un comportamiento indefinido de acuerdo con el estándar, y probablemente emitirá una advertencia de compilación. De la norma:

The integer promotions are performed on each of the operands. The type of the result is that of the promoted left operand. If the value of the right operand is negative or is greater than or equal to the width of the promoted left operand, the behavior is undefined.