整数范围与类型转换

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

运行结果

因此可知，最后一个是错误的，其他的都是正确的。

原因：常规int的范围是：-2147483648~2147483647，unsigned int的范围是：0_{65535。但是由于人为规定的100000…000（31个0）为-2147483648，所以范围就变成了-2147483648}2147483647。对于“-”，是对原值补码进行“取反加1”操作。由于2147483648超出了有符号常量的表示范围，所以变成了unsigned long int，而写成-2147483647 -1则可以精确的表示成为32位有符号整数的最小值。所以前三个是正确的。