整数范围与类型转换

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

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

1、2、3成立
1： -2147483647-1 == 2147483648U: 因为 2147483648U 是无符号数,所以会将-2147483647-1 转为无符号数，所以二者相等。
2： -2147483647-1 < -2147483647:两个都是有符号数所以小于成立。
3： -2147483647-1 < 2147483647 :两个都是有符号数所以小于成立。
4： (unsigned)-2147483647-1 < 2147483647 ：因为 (unsigned)-2147483647-1 是无符号数,所以会将2147483647 转为无符号数，所以应该是大于。

代码：

#include <stdio.h>
#include <stdlib.h>

int main()
{
    if(-2147483647-1 ==  2147483648U){
            printf("1: true\n");
    }
    if(-2147483647-1 < -2147483647){
            printf("2: true\n");
    }
    if(-2147483647-1 <  2147483647){
            printf("3: true\n");
    }
    if((unsigned)-2147483647-1 <  2147483647){
            printf("4: true\n");
    }
    return 0;
}

截图：