一文搞明白整型提升，截断等相关概念【C语言】

首先看一道题目：

如下程序输出的结果是：

int main()
{
    char a = 0xb6;
    short b = 0xb600;
    int c = 0xb6000000;
        if(a==0xb6)
            printf("a");
        if(b==0xb600)
            printf("b");
        if(c==0xb6000000)
            printf("c");
    return 0;
}

这道题的答案竟然是c

为什么会这样？

这就得先介绍一下c语言中的隐式类型转换

C的整型算术运算总是至少以缺省整型类型的精度来进行的。
为了获得这个精度，表达式中的字符和短整型操作数在使用之前被转换为普通整型，这种转换称为整型提升

表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器(ALU)的操作数的字节长度。
一般就是int的字节长度，同时也是CPU的通用寄存器的长度。
因此，即使两个char类型的相加，在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。

通用CPU（general-purpose CPU）是难以直接实现两个8比特字节直接相加运算（虽然机器指令中可能有这种字节相加指令）。所以，表达式中各种长度可能小于int长度的整型值，都必须先转换为int或unsigned int，然后才能送入CPU去执行运算。

负数的整型提升：

char c1 = -1;
变量c1的二进制位(补码)中只有8个比特位：
1111111
因为 char 为有符号的 char
所以整形提升的时候，高位补充符号位，即为1
提升之后的结果是：
11111111111111111111111111111111

正数的整形提升

char c2 = 1;
变量c2的二进制位(补码)中只有8个比特位：
00000001
因为 char 为有符号的 char
所以整形提升的时候，高位补充符号位，即为0
提升之后的结果是：
00000000000000000000000000000001

无符号整形提升，高位补0

再回到之前的例题：

int main()
{
    char a = 0xb6;
    short b = 0xb600;
    int c = 0xb6000000;
        if(a==0xb6)
            printf("a");
        if(b==0xb600)
            printf("b");
        if(c==0xb6000000)
            printf("c");
    return 0;
}

由于a,b整形提升之后,变成了负数,所以表达式 a==0xb6 , b==0xb600 的结果是假,但是c不发生整形提升,则表达式 c==0xb6000000 的结果是真

截断即为从某处起舍弃掉后面或前面的全部数字，注意是直接舍弃。主要出现在浮点型数据强制转化为整数型的时候。

例如：

char a,b,c;
b = 1;
c = 2;
a = b + c;

这串代码进行运算时会先进行整型提升，将b 和 c中的数值整型提升

计算之后得到的结果因为a是整型，所以要进行截断。

具体细节为

如果帮到你的话，就请点个赞吧