整数范围与类型转换

-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;
}

可得到结果：

原因如下：
现在的计算机普遍32位，所以int的范围是：-2147483648~2147483647，unsigned int的范围是：0_{4294967295。但是由于人为规定的100000…000（31个0）为-2147483648，所以范围就变成了-2147483648}2147483647
-2147483648是一个常量表达式，而不是一个常量。所以-2147483648被理解为一个“-”号和一个常量值2147483648。对于“-”，是对原值补码进行“取反加1”操作。由于2147483648超出了有符号常量的表示范围，所以变成了unsigned long int或long long int，而写成-2147483647 - 1则可以精确的表示成为32位有符号整数的最小值。所以-2147483647-1 == 2147483648U、-2147483647-1 < -2147483647、-2147483647-1 < 2147483647都是对的