C语言中的整型提升

一.  简介

本文来简单学习一下，C语言中的整型提升。

二. C语言中的整型提升

1.  什么是整型提升？

C语言中的算数运算表达式总是以整型的精度进行的，为了获得这个精度，表达式的字符和短整型操作数在使用之前被隐式转换为普通类型即整型提升。

表达式中的 字符型（即 char）和短整型（即 short）类型操作数在使用之前被转换成普通整型 int类型，这种转换叫做整型提升。整型提升针对类型小于整型的  char， short。char占用1字节空间，short占用2字节空间，在运算时都会提升为占用4个字节的int类型，所以，C的整型算术运算总是至少以缺省整型类型的精度来进行的。换而言之整形算术运算都至少以 int类型计算的。

2. C语言中整型提升的意义？

整型提升的意义在于：表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器(ALU)的操作数的字节长度一般就是 int类型的字节长度，同时也是CPU的通用寄存器的长度。

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

                                                                                                                                  --<百度百科>

三.  如何进行整型提升？

1.  如何进行整型提升？

整形提升是按照变量的数据类型的符号位来提升的。

有符号整数的整型提升：

负数的整形提升：高位补充符号位，即补1（负数的符号位是 1）。

例如，char c1 = -1，char类型占1字节，也就是它的二进制补码只有8个比特位 ：11111111
因为 char是有符号位的 char，所以整形提升的时候，高位补符号位 1
提升之后的效果为：11111111 11111111 11111111 11111111

正数的整形提升：也是高位补充符号位，即补 0（正数的符号位为 0）。

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

无符号的整形提升：高位直接补 0

2. 举例说明

举例一

举例来说明，C语言是如何进行整型提升的？有如下代码：

#include <stdio.h>
 
int main(void)
{
    char a = 3;
    char b = 127;
    char c = 0;

    c = a+b;
    printf("c: %d\n", c);

	return 0;
}

输出结果如下：

注意：这里有一点需要注意数据在内存存放的是数据的补码，而打印的是源码！ 

正数的补码与原码相同；

负数的补码为 其原码取反 +1。补码求原码也补码取反+1；

分析如下：
 

char a = 3；char 是 一个字节即 8位，  a为 ： 00000011

char b = 127；同理，b 为 ：01111111

char c = a + b，接下来要进行整型提升
当前 char 为有符号的char，所以对于a就高位补0，为：

00000000 000000000 000000000 00000011
b 整形提升后为：00000000 00000000 00000000 01111111

a+b 相加后为: 00000000 00000000 00000000 10000010，将这个 32 位二进制放到 c 中，截断为 10000010。

printf("%d\n", c)中，%d是打印十进制的数，所以还需整形提升，此时 c为 10000010，符号位为：1，整形提升高位补1，最终为:

11111111 11111111 11111111 10000010(补码)，

其原码为：10000000 00000000 00000000 01111110 ，所以这个数字输出为 -126

举例二

如下代码对 a， b，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;
}

分析如下：

当 进行 a== 0xb6 比较运算时，a进行了整型提升。a 为 10110110

整型提升后 a 为：11111111 11111111 11111111 10110110 （补码）

求其则原码为：10000000 00000000 00000000 01001010，char为 一个字节，截断后 a = -0x4A

同理， b == 0xb600 比较运算时，b 也进行了整形提升，经过一轮整形提升后 b 为 -4A00。

而 c==0xb6000000比较运算时，c 本身就是 int类型 无需提升，因此 c就是 0xb6000000。