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

输出结果为：c

我们计算一下可以知道变量 a 存储的内存（补码）：11001010

                                    变量 a 存储的内存（补码）：1100 1010 0000 0000

 因为char和short是有符号的数据类型，那么首字符就是符号位，那么在隐式整型提升适用于负数整形提升 高位补充符号位。 即在整形提升后 a 为：11111111 11111111 11111111 11001010

                                                    整形提升后 b 为：11111111 11111111 11001010 00000000

那么在if语句中进行判断就是整形提升后的结果

即 a 的 if语句中比较的就是 11111111 11111111 11111111 11001010 == 11001010

即 b 的 if语句中比较的就是 11111111 11111111 11001010 00000000 == 11001010 00000000

所以不打印a、b的原因就是进行了隐式整形提升，而c变量本来就是int类型，不会进行整形提升，所以可以在if语句中的结果为真。

算术转换

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

long double

double

float

unsigned long int

long int

unsigned int

int

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

举个栗子

#include <stdio.h>

int main() {
	long long a = 0xffffffffff;
	int c = (int)a;
	
	printf("%d\n", c);
// 打印结果为： -1

	return 0;
}

 long long 类型可以存放的整形空间远比 int 类型多，但是把long long 类型变量 a 强制转换成int类型 在内存中存储的内容（补码）

a：00000000 00000000 00000000 11111111 11111111 11111111 11111111 11111111

int 类型变量 b 原有空间为：00000000 00000000 00000000 00000000

强行把long long类型转成int类型后 a变量在内存中的过程

补码：00000000 00000000 00000000 11111111 （截断） 11111111 11111111 11111111 11111111

(int)a  :  11111111 11111111 11111111 11111111

即：a变量被赋值为 ：11111111 11111111 11111111 11111111（补码）

                                   11111111 11111111 11111111 11111110（反码）

                                   10000000 00000000 00000000 00000001（源码）

---

以上就是本章所有内容。若有勘误请私信不才。万分感激💖💖 若有帮助不要吝啬点赞哟~~💖💖

ps:表情包来自网络，侵删🌹