¿Qué significa ~ en C++?

Question

Específicamente, ¿podría decirme lo que esta línea de código:

int var1 = (var2 + 7) & ~7; 

Gracias

Answer 1

Es negación bit a bit. Esto significa que realiza el operador NOT binario en cada bit de un número. Por ejemplo:

int x = 15; // Binary: 00000000 00000000 00000000 00001111 
int y = ~x; // Binary: 11111111 11111111 11111111 11110000 

Cuando se combina con el operador & se utiliza para la limpieza de bits. Por lo tanto, en su ejemplo, significa que los últimos 3 bits del resultado de var2+7 se establecen en ceros.

Como se señala en los comentarios, también se utiliza para denotar destructores, pero ese no es el caso en su ejemplo.

Answer 2

7 en binario es 00000111, entonces ~ 7 es 11111000 (suponiendo un byte de ocho bits). El autor del código lo está usando para enmascaramiento de bits.

Answer 3

Es un NO bit a bit. No debe confundirse con el lógico no (¡que es!), Que cambia el valor lógico (verdadero a falso y viceversa). Este operador voltea cada bit en una variable.

Answer 4

Este código redondea var1 al número n * 8 más cercano. & ~ 7 establece los últimos 3 bits en 0, redondeando a 8 * n.

Answer 5

El efecto del código, como se señaló, es redondear un valor al siguiente múltiplo más alto de ocho. Mi formulación preferida sería "var1 = (var2 | 7) +1;" pero para entender la expresión tal como está escrito, es más útil para entenderlo desde afuera hacia adentro.

Aunque "&" y "~" son operadores distintos, con diferentes reglas de priorización, el concepto de "a = b & ~ c ; " es útil y en un sentido muy real merece su propio operador (permitiría reglas de promoción enteras más sensatas, entre otras cosas). Básicamente, "a = b & ~ c;" sirve para cancelar cualquier bit en 'b' que también esté en 'c' (si 'b' es largo y 'c' no, debido a las reglas de promoción de enteros, también cancelará bits más altos). Si 'c' es 2^N-1, la expresión cancelará los N bits inferiores, lo que equivale a redondear al siguiente múltiplo de 2^N.

La expresión tal como está escrita agrega 7 a var2 antes de redondear el resultado al siguiente múltiplo de 8. Si var2 era un múltiplo de 8, agregar 7 no alcanzará el siguiente múltiplo más alto de 8, pero de lo contrario lo hará . Por lo tanto, la expresión como un todo redondeará al siguiente múltiplo de 8.

Por cierto, mi formulación preferida redondea el número hasta el siguiente valor más alto que es poco menos que un múltiplo de 8, y luego lo supera hasta el siguiente múltiplo Evita la repetición del número mágico "7", y en algunos conjuntos de instrucciones, el enfoque guardará el código.