隐式类型转换——C语言中的整型提升

整型提升概念：

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

整型提升的意义

三点说明：

1).表达式的整型运算要在CPU的相应运算器件内执行，CPU内整型运算器(ALU)的操作数的字节长度一般就是int的字节长度，同时也是CPU的通用寄存器的长度。
2).因此，即使两个char类型的相加，在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。
3).通用CPU（general-purpose CPU）是难以直接实现两个8比特字节直接相加运算（虽然机器指令中可能有这种字节相加指令）。所以，表达式中各种长度可能小于int长度的整型值，都必须先转换为int或unsigned int，然后才能送入CPU去执行运算。

例如：

char a,b,c;
...
a = b + c;

存在 a、b、c 三个char类型的变量，在进行“ a = b + c ”这步运算时，b 和 c 的值要先被提升为普通整型（即整型提升），然后再执行加法运算。加法运算完成之后，依据变量 a 的类型，所得结果将被截断，然后再存储于 a 中。

如何整型提升

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

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

2.负数的整形提升

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

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

整型提升实例

例1：
首先看代码和运行结果

会不会很意外，为啥结果为 -126 ？其实这里就涉及到整型提升

int main()
{
	char a = 127;//因为127为整数，而127在内存中的二进制序列为:
   //00000000000000000000000001111111
   //变量a的类型为char,所以127放入a中会发生截断，即只会放入前8个比特位
   //所以a中放的二进制序列为 01111111
   
	char b = 3;
	//同上理，b中放的二进制序列为 00000011
	
	char c = a + b;
	//此时当a与b发生运算时，a,b就会整型提升
	//a被提升为: 00000000000000000000000001111111
	//b被提升为: 00000000000000000000000000000011
  //所以a+b后得: 00000000000000000000000010000010
  //将结果放入变量c中，而c的类型为char,所以又会发生截断
  //最终c的二进制序列: 10000010
  
	printf("%d\n", c);
	//当以%d的形式（即整数的形式）打印时，c会先根据自己的类型来整型提升
	//提升后变为: 11111111111111111111111110000010
	//不难看出，此时的c变为负数，以补码的形式放在内存中，然后在
	//以‘%d’（有符号整型）的形式打印出来
	//经过转换可得打印出的数字为 -126
	return 0;
}

例2：

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

例2中的，因为变量a和b的类型大小都小于int型 ，所以a , b 要进行整形提升,但是 c 不需要整形提升；a,b整形提升之后,变成了负数,所以表达式a == 0xb6，b == 0xb600 的结果都为假,但是c为 int 型，不发生整形提升,所以表达式 c==0xb6000000 的结果是真。所以最后打印出的结果为 c 。

例3

int main()
{
	char c = 1;
	printf("%u\n", sizeof(c));
	printf("%u\n", sizeof(+c));
	printf("%u\n", sizeof(-c));
	return 0;
}

例3中的, c 只要参与表达式运算,就会发生整形提升,即表达式 +c 会发生提升,所以 sizeof(+c) 是4个字节；表达式 -c 也会发生整形提升,所以 sizeof(-c) 是4个字节,但是 sizeof(c）是1个字节。