Legendes 2^31 und -2^31 integer Förderung

Question

#include <stdio.h> 

int main() { 
    printf("sizeof(int): %zu\n", sizeof(int)); 
    printf("%d\n", 2147483648u > -2147483648); 
    printf("%d\n", ((unsigned int)2147483648u) > ((int)-2147483648)); 
    printf("%d\n", 2147483648u != -2147483648); 
    printf("%d\n", ((unsigned int)2147483648u) != ((int)-2147483648)); 
    return 0; 
} 

Der Ausgang dieses Code in C und C++, auf cygwin64 und eine rhel6.4 Maschine mit gcc 5.2.0 ist:

sizeof(int): 4 
1 
0 
1 
0 

Gemäß "Integer promotions" ist 2147483648u vom Typ unsigned int (auch ohne das u Suffix) und -2147483648 vom Typ int (wie üblich). Warum die unterschiedlichen Ergebnisse beim expliziten Casting?

Nach den „Usual arithmetic conversions“, dieser Absatz gilt:

Andernfalls wird die Signedness ist anders: Wenn der Operand mit dem Typ ohne Vorzeichen hat Umwandlung Rang größer oder gleich als der Rang von die Art der der signierte Operanden, dann wird der Operand mit dem signierten Typ ist zum unsigned Typ implizit konvertiert

Dies bedeutet, dass das richtige Ergebnis ist, als ob:

2147483648u > 2147483648u 
2147483648u != 2147483648u 

wurden durchgeführt, weil in 32 Bits, signed -2 ​​^ 31 und unsigned 2^31 die gleiche Darstellung haben. Mit anderen Worten, das Ergebnis beim Casting ist korrekt. Was ist los?

Ich habe das Gefühl, dass irgendwie eine höherrangige Ganzzahl-Promotion ohne Casting angewendet wird, also bekomme ich z. eine 64-Bit-Promotion auf beiden Seiten - aber warum?

Beide ausführbare Dateien sind als 64-Bit kompiliert, kann das eine Rolle spielen?

Answer 1

Es gibt keine negativen Integer-Konstanten. Es gibt nur positive mit dem unären Operator -.

Seit 2147483648 > INT_MAX, das fördert 2147483648 auf die nächst größere Signed Integer-Typ (weil Sie nicht u hat anhängen), vor die - angewendet wird.

---

By the way, ist das, warum INT_MIN in der Regel als (-INT_MAX - 1) in <limits.h> definiert ist. ;-)