operadores - ¿Cuál es la diferencia entre asignar directamente el resultado de la operación de desplazamiento a la izquierda a una variable y la operación de asignación de desplazamiento a la izquierda en C?

operadores logicos en pic c

Question

En la siguiente expresión, el resultado de la operación de desplazamiento a la izquierda se asigna a la variable i .

int i;
i = 7 << 32;
printf("i = %d/n",i);

En la siguiente expresión, se lleva a cabo la operación de asignación de desplazamiento a la izquierda.

int x = 7;
x <<= 32;
printf("x = %d/n",x);

Ambas expresiones anteriores dieron resultados diferentes. Pero no es lo mismo con las siguientes dos expresiones. Ambos dieron el mismo resultado. Entonces, ¿cuál podría ser la razón de que las expresiones anteriores devuelvan valores diferentes?

int a;
a = 1 + 1;
printf("a = %d/n",a);

int b = 1;
b += 1;
printf("b = %d/n",b);

Answer 1

Estoy de acuerdo con los comentarios de Cody Gray . Solo para las personas en el futuro que terminen aquí, la manera de resolver esta ambigüedad es usar sin firmar durante mucho tiempo.

unsigned long long int b = 7ULL<<32; // ULL here is important, as it tells the compiler that the number being shifted is more than 32bit.

unsigned long long int a = 7;
a <<=32;

Answer 2

La semántica operacional abstracta de ISO/IEC 9899 dice:

6.5.7 Bitwise shift operators --- Semantics

3 .... .... Si el valor del operando derecho es negativo o es mayor o igual que el ancho del operando izquierdo promovido, el comportamiento no está definido.

En su caso, desmontando y viendo lo que sucede, vemos así:

[root@arch stub]# objdump -d a.out | sed ''/ <main>/,/^$/ !d''
00000000004004f6 <main>:
  4004f6:       55                      push   %rbp
  4004f7:       48 89 e5                mov    %rsp,%rbp
  4004fa:       48 83 ec 10             sub    $0x10,%rsp
  4004fe:       c7 45 fc 07 00 00 00    movl   $0x7,-0x4(%rbp)
  400505:       b8 20 00 00 00          mov    $0x20,%eax
  40050a:       89 c1                   mov    %eax,%ecx
  40050c:       d3 65 fc                shll   %cl,-0x4(%rbp)  <<== HERE IS THE PROBLEM
  40050f:       8b 45 fc                mov    -0x4(%rbp),%eax
  400512:       89 c6                   mov    %eax,%esi
  400514:       bf b4 05 40 00          mov    $0x4005b4,%edi
  400519:       b8 00 00 00 00          mov    $0x0,%eax
  40051e:       e8 cd fe ff ff          callq  4003f0 <printf@plt>
  400523:       b8 00 00 00 00          mov    $0x0,%eax
  400528:       c9                      leaveq 
  400529:       c3                      retq   
  40052a:       66 0f 1f 44 00 00       nopw   0x0(%rax,%rax,1)

El código generado intenta cambiar, pero el shll %cl,-0x4(%rbp) (desplazamiento a la izquierda de un largo) no tiene ningún efecto.

El undefined behaviour en este caso se encuentra en el ensamblaje, es decir, en la operación SHL.

Answer 3

El estándar C dice:

El resultado no está definido si el operando derecho es negativo, o mayor o igual que el número de bits en el tipo de expresión izquierda.

Por lo tanto, es un comportamiento indefinido porque int normalmente tiene un tamaño de 32 bits, lo que significa que solo de 0 a 31 pasos están bien definidos .