【C语言】深入理解 整型提升 和 算术转换

💖 技术宅，拯救世界！

🎁 对读者的话：相信奇迹的人本身和奇迹一样伟大

生命中最快乐的事情是拼搏，而非成功，生命中最痛苦的是懒散，而非失败。大家好，这里是ecember。今天我们来聊一聊大家头疼的整型提升和算术转换问题，最后还把操作符优先级给大家整理成了一张表格。（以下结果均在VS2022中编译哦）

---

🌹感谢大家的点赞 和关注 🌹，如果有需要可以看我主页专栏哟💖

---

---

⚡1. 表达式求值

表达式求值的顺序一部分是由操作符的优先级和结合性决定。同样，有些表达式的操作数在求值的过程中可能需要转换为其他类型。

🌠1.1 隐式类型转换

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

整型提升的意义：

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

接下来，我们根据一组实例来彻底解释这个整型提升。

int main()
{
	char c1 = 3;
	//00000000000000000000000000000011
	//00000011 - c1 - char只能存8个bit位
	char c2 = 127;
	//00000000000000000000000001111111
	//01111111 - c2
	char c3 = c1 + c2;
	//整型提升 - 正数高位补0
	//00000000000000000000000000000011-c1
	//00000000000000000000000001111111-c2
	//00000000000000000000000010000010-c3

	//10000010-c3 - 负数高位补1
	//11111111111111111111111110000010-c3补码
	//10000000000000000000000001111101
	//10000000000000000000000001111110-c3原码

	printf("%d\n", c3);

	return 0;
}

原码打印出来正好是-126，我们看看结果。

我们由上述例子总结出整型提升的规律。

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

负数的整型提升

char c1 = -1;

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

正数的整型提升

char c2 = 1;

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

unsigned 型整数

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

实例1

int main()
{
	char a = 0xb6;//10110110-整型提升后为负
	short b = 0xb600;//1011011000000000
	int c = 0xb6000000;//int 类型不需要整型提升
	if (a == 0xb6)//进行比较运算需要整型提升
		printf("a");
	if (b == 0xb600)
		printf("b");
	if (c == 0xb6000000)
		printf("c\n");
	return 0;
}

实例2

int main()
{
	char c = 1;
	printf("%u\n", sizeof(c));//1
	printf("%u\n", sizeof(+c));//整型提升 4
	printf("%u\n", sizeof(-c));//4
	
	return 0;//凡是char类型的变量参与到表达式计算中均会发生整型提升
}

🌠1.2 算术转换

如果某个操作符的各个操作数属于不同的类型，那么除非其中一个操作数的转换为另一个操作数的类型，否则操作就无法进行。下面的层次体系称为寻常算术转换。

<1> long double
<2> double
<3> float
<4> unsigned long int
<5> long int
<6>unsigned int
<7> int

如果某个操作数的类型在上面这个列表中排名较低，那么首先要转换为另外一个操作数的类型后执行运算。

警告：
但是算术转换要合理，要不然会有一些潜在的问题。

float f = 3.14;
int num = f;//隐式转换，会有精度丢失

🌠1.3 操作符的属性

复杂表达式的求值有三个影响的因素。

1. 操作符的优先级
2. 操作符的结合性
3. 是否控制求值顺序

两个相邻的操作符先执行哪个？取决于他们的优先级。如果两者的优先级相同，取决于他们的结合性。

下面是操作符优先级顺序表，大家可以保存昂。

🌠1.4 一些问题表达式

表达式1

a*b + c*d + e*f

注释：代码1在计算的时候，由于* 比+的优先级高，只能保证，* 的计算是比+早，但是优先级并不能决定第三个*比第一个+早执行。

所以就可能出现多种顺序。

//顺序1
a*b 
c*d 
a*b + c*d 
e*f 
a*b + c*d + e*f

//顺序2
a*b 
c*d 
e*f 
a*b + c*d 
a*b + c*d + e*f

表达式2

c + --c;

注释：同上，操作符的优先级只能决定自减–的运算在+的运算的前面，但是我们并没有办法得知，+操作符的左操作数的获取在右操作数之前还是之后求值，所以结果是不可预测的，是有歧义的。

表达式4

此表达式为非法表达式。表达式3在不同编译器中测试结果：

⚡2.整型提升练习

下列代码输出什么？

int main()
{
	unsigned char a = 200;
	unsigned char b = 100;
	unsigned char c = 0;
	c = a + b;
	printf("%d %d", a + b, c);

	return 0;
}

由我们前面讲的得知char类型数据参与表达式运算时，会发生整型提升，但如果此时将它放入到一个char类型数据则会发生截断。

int main()
{
	unsigned char a = 200;
	//000000000000000000000000 11001000
	unsigned char b = 100;
	//000000000000000000000000 01100100
	unsigned char c = 0;
	//000000000000000000000000 00000000
	c = a + b;
	//000000000000000000000001 00101100 - a + b
	//00101100 - 截断 - c
	printf("%d %d", a + b, c);//300 44
	return 0;
}

⚡3. 结语

到这，我们的 《深入理解 整型提升 和 算术转换》 已经接近尾声了，后续我还会持续更新C语言相关内容，学习永无止境，就会永远只会留给有准备的人。希望我的博客对大家有所帮助，如果喜欢的可以 点赞+收藏哦，也随时欢迎大家在评论区及时指出我的错误。