整数范围与类型转换

-2147483647-1 == 2147483648U
-2147483647-1 < -2147483647
-2147483647-1 < 2147483647
(unsigned)-2147483647-1 < 2147483647

上面四个表达式成立吗？为什么？并用C语言编程测试并提交运行截图。

#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)
#include <stdio.h>
#include <string.h>

int checktruefalse(int a)
{
    if (a)
    {
        printf("   true!\n");
        return 1;
    }
    else
    {
        printf("   false!\n");
        return 0;
    }
}

int main()
{
    printf("-2147483647-1 == 2147483648u");
    checktruefalse(-2147483647 - 1 == 2147483648u);
    printf("-2147483647-1 < 2147483647");
    checktruefalse(-2147483647 - 1 < 2147483647);
    printf("-2147483647-1 < -2147483647");
    checktruefalse(-2147483647 - 1 < -2147483647);
    printf("(unsigned)-2147483647-1 < 2147483647");
    checktruefalse((unsigned)-2147483647 - 1 < 2147483647);
    return 0;
}

2的32次方为4294967296，后面计算都基于这个值，因为是32位机器。
现在的计算机普遍32位，所以int的范围是：-2147483648~2147483647，unsigned int的范围是：0_{4294967295。但是由于人为规定的100000…000（31个0）为-2147483648，所以范围就变成了-2147483648}2147483647
第一个-2147483647-1 == 2147483648U是正确的，因为 2147483648U 是无符号数,所以会将-2147483647-1 转为无符号数，所以二者相等。
第二个-2147483647-1 < -2147483647是正确的，因为两个都是有符号数，所以小于成立。
第三个-2147483647-1 < 2147483647是正确的，因为两个都是有符号数，所以小于成立。
第四个(unsigned)-2147483647-1 < 2147483647是错误的，因为 (unsigned)-2147483647-1 是无符号数,所以会将2147483647 转为无符号数，所以应该是大于。