世间风物论自由,喜一生我有,共四海丰收。
12.表达式求值
表达式求值的顺序一部分是由操作符的优先级和结合性决定。
同样,有些表达式的操作符在求职过程中需要转换为其它类型。
1)隐式类型转换
C的整型算术运算总是至少以缺省(默认)整型类型的精度来进行的。
为了获得这个精度,表达式中的字符和短整型操作数在使用之前被转换为普通整型,这种转换称为整型提升。
整型提升的意义:
表达式的整型运算要在CPU的相应运算器内执行,CPU内整型运算器(ALU)的操作数的字节长度一般就是int的字节长度,同时也是CPU的通用寄存器的长度。
因此,即使两个char类型的相加,在CPU执行时实际上也要转换为CPU内整型操作数的标准长度。
通用CPU是难以直接实现两个8比特字节直接相加运算(虽然机器指令中可能有这种字节相加指令)。所以,表达式中各种长度可能小于int长度的整型值,都必须先转换为int或unsigned int,然后才能送入CPU去执行运算。
如何进行整型提升?
整型提升是按照变量的数据类型的符号位来提升的
//负数的整型提升
char c1 = -1;
变量c1的二进制位(补码)中只有8个比特位:
11111111
因为char为有符号的char
所以整型提升的时候,高位补充符号位,即为1
提升之后的结果是:
11111111111111111111111111111111
//正数的整型提升
char c2 = 1;
变量c2的二进制位(补码)中只有8个比特位:
00000001
因为char为有符号的char
所以整型提升的时候,高位补充符号位,即为0
提升之后的结果是:
00000000000000000000000000000001
//无符号整型提升,高位补0
(注:对于字符类型我们把它归为整型家族中,因为字符在底层存储的时候,存的是它的ASCII值,ASCII值也是整数。整型类型在内存中存的都是二进制补码。)
2)算术转换
如果某个操作符的各个操作数属于不同的类型,那么除非其中一个操作数的转换和另一个操作数的类型,否则操作就无法进行。下面的层次体称为寻常算术转换。
long double
double
flaot
unsigned long int
long int
unsigned int
int
如果某个操作数的类型在上面这个列表中排名较低,那么首先要转换为另外一个操作数的类型后执行运算。
(警告:但是算术转换要合理,要不然会有一些潜在的问题。)
3)操作符属性
复杂表达式的求值有三个影响的因素:
·操作符的优先级(用于两个相邻操作符之间)
·操作符的结合性
·是否控制求值顺序
(两个相邻的操作符先执行哪个取决于它们的优先级,如果两者优先级相同,取决于它们的结合性)