C语言关于数值计算及比较

首先需要明确一点：在汇编语言中，add（+） sub（-） cmp（>、<、=）是不同的汇编指令，有了这个前提做基础，就会让我们更容易理解计算机的数值计算及比较

对于数值计算（+-*/），我认为需要明确3点：
1）类型提升 - 2个不同的类型操作，低类型的数据需要提升成高类型，char < short < int < long < longlong ...，如果是基础类型一样，则signed < unsigned
2）结果类型 - 以高类型为结果类型
3）溢出处理 - 有符号类型相加溢出，符号位置反（即2个整数相加如果超过表达范围，则结果为负数；2个负数相加如果超过表达范围，则结果为正数）；无符号类型相加溢出，结果直接去掉溢出位

对于数值比较（<>=），我认为需要明确3点：
1）类型提升 - 2个不同的类型操作，低类型的数据需要提升成高类型，char < short < int < long < longlong ...，如果是基础类型一样，则signed < unsigned
2）结果类型 - 一定是0或者1，无符号整数一定大于等于0
特别需要注意：
    a > b 在数学上与 a - b > 0 等同
    但在计算机中，上述换算可能是错的，原因就是计算机对指令处理的不一样：
    a - b 意味着需要进行数值计算，加入上述a为unsigned int 5, b为 unsigned int 6, a - b的结果是0xffffffff（-1），此时再通过数值比较，是0xffffffff大于0的，结果为TRUE
    a > b 直接进行数值比较，结果为FALSE

测试代码：

#include <stdio.h>

int main()
{
        int a = -6;
        unsigned int b = 0xffffffff;
        int c = a + b;
        unsigned int d = 0x77777777;
        int e = 0x44444444;
        int f = 0x44444444;
        int g = -1;
        int h = -0x77777777;
        unsigned int i = 5;
        unsigned int j = 6;

        if (a + b > 0) printf("lala\n");
        if (c > 0) printf("lblb\n");
        if (a > b) printf("lclc\n");
        if (b > 5) printf("ldld\n");
        if (d > b) printf("lele\n");
        if (d - b > 5) printf("lflf\n");
        if (e + f < 0) printf("%d\n", e+f);
        if (g > d) printf("lglg\n");
        if (a + a < 0) printf("%d\n", a+a);
        if (h + h < 0) printf("%d\n", h+h);
        if (i - j > 0) printf("%u\n", i-j);
        if (i > j) printf("ljlj\n");

        return 0;
}

测试结果：

lala
ldld
lflf
-2004318072
lglg
-12
4294967295