Pregunta sobre el comportamiento de C para el flujo insuficiente de enteros sin signo

Question

He leído en muchos lugares que el desbordamiento de enteros está bien definido en C a diferencia de la contraparte firmada.

¿El subdesbordamiento es el mismo?

Por ejemplo:

unsigned int x = -1; // Does x == UINT_MAX? 

Gracias.

No puedo recordar dónde, pero he leído que la aritmética en los tipos integrales sin signo es modular, por lo que si ese fuera el caso, entonces -1 == UINT_MAX mod (UINT_MAX + 1).

Answer 1

§6.2.5, párrafo 9:

Un cálculo que implica sin signo operandos nunca puede desbordamiento, porque un resultado que no puede ser representado por el tipo entero sin signo resultante se reducido módulo el número que es uno mayor que el valor más grande que se puede representar por el tipo resultante .

Editar:

Lo sentimos, la referencia equivocada, pero el resultado sigue siendo inmovilizada. La referencia correcta es §6.3.1.3 (firmado y la conversión entero sin signo):

si el nuevo tipo es sin signo, el valor se convierte por adición o sustracción de uno más que el valor máximo en repetidas ocasiones que puede estar representado en el nuevo tipo hasta el valor está en el rango del nuevo tipo .

Así que sí, x == UINT_MAX.

Answer 2

-1, cuando se expresa como un número de complemento de 2, equivale a 0xFF ... F por cuantos bits hay en su número. En un espacio numérico sin signo, ese valor es el valor máximo posible (es decir, todos los bits están configurados). Por lo tanto, sí, x == UINT_MAX. El siguiente código emite "1" en un compilador estricto C99:

#include <stdio.h> 
#include <stdint.h> 
#include <limits.h> 

int main(int argc, char **argv){ 
    uint32_t x = -1;  
    printf("%d", x == UINT_MAX ? 1 : 0); 
    return 0; 
} 

Answer 3

Está mezclando números con y sin signo, lo que no es bueno.

unsigned int x = 0u - 1u; // is OK though