表达式求值的顺序一部分是由操作符的优先级和结合性决定。
同样,有些表达式的操作数在求值的过程中可能需要转换为其他类型。
一.隐式类型转换
C的整型算术运算总是至少以缺省整型类型的精度来进行的。
为了获得这个精度,表达式中的字符和短整型操作数在使用之前被转换为普通整型,这种转换称为整型提升。只要参与表达式运算,就会发生整形提升
整形提升
(1).意义
表达式的整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度 一般就是int的字节长度,同时也是CPU的通用寄存器的长度。 因此,即使两个char类型的相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。 通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算(虽然机器指令 中可能有这种字节相加指令)。所以,表达式中各种长度(char类型、short类型)可能小于int长度的整型值,都必须先转 换为int或unsigned int,然后才能送入CPU去执行运算。
(2).如何进行整形提升?
整形提升是按照变量的数据类型的符号位来提升的
有符号数根据符号位,无符号数补0。
首先我们先举一个简单的例子
char a=127;
char b=3;
char c=a+b;
printf("%d\n",c);
首先a和b的值被提升为普通整型,然后再执行加法运算。
加法运算完成之后,结果将被截断,然后再存储于c中。
我们先得到a,b的二进制补码
a:01111111 b:00000011
之后按照符号位将它们提升为普通整型(int)
a:00000000 00000000 00000000 01111111
b:00000000 00000000 00000000 00000011
(当然,若为负数,前面补1)
之后进行加法运算得到
00000000 00000000 00000000 10000010
将结果截断,得到
10000010
存储在c中
当想要以%d形式打印时
再次进行整形提升
11111111 11111111 11111111 10000010
这是二进制的补码,将其转变为原码后得到
10000000 00000000 00000000 01111110
所以打印的结果应该为-126
二.算数转换
如果某个操作符的各个操作数属于不同的类型,那么除非其中一个操作数的转换为另一个操作数的类 型,否则操作就无法进行。下面的层次体系称为寻常算术转换。
long double
double
float
unsigned long int
long int
unsigned int
int
如果某个操作数的类型在上面这个列表中排名较低,那么首先要转换为另外一个操作数的类型后执行运算。
警告: 但是算术转换要合理,要不然会有一些潜在的问题。
float f = 3.14;
int num = f;
例如这里float型会转变为排名较低的int型,这样会发生精度的丢失。
三.操作符的属性
复杂表达式的求值有三个影响的因素。
1. 操作符的优先级
2. 操作符的结合性
3. 是否控制求值顺序。
首先确定优先级,相邻操作符按照优先级高低计算。
优先级相同的情况下,考虑结合性
上图便包含了各种操作符的优先级、结合性以及求值顺序,其中表格从上到下依次表示操作符优先级由高到低
而即使存在优先级、结合性与求值顺序,有些表达式依旧不能求出准确的值,我们便将其称为问题表达式
例如
a*b + c*d + e*f
int i = 1;
int ret = (++i) + (++i) + (++i);
而在我们编写代码时,我们应该避免写出这样的表达式。