- 表达式求值
- 隐式类型转换
- 算术转换
- 操作符属性
表达式求值的顺序一部分是由操作符的优先级和结合性决定。而有些表达式的操作数在求值的过程中可能需要转换为其他类型。
隐式类型转换 整型提升
意义:表达式的整型运算是在CPU的相应运算器件内执行的,CPU内整型运算器(ALU)的操作数的字节长度一般是int的字节长度,同时也是CPU通用寄存器的长度。所以,即使是两个char类型相加,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。通用CPU是难以直接实现两个8比特字节直接相加运算的(虽然机器指令中可能有这种字节相加指令)。所以表达式中各种长度小于int长度的整型值,都必须先转换为int或者unsigned int,然后才能送入CPU去执行运算。
如何提升:按照变量数据类型的符号位来提升的。
int main() {
char a = 3;
//00000011
char b = 127;
//01111111
char c = a + b;
//整型提升
//a - 00000000 00000000 00000000 00000011
//b - 00000000 00000000 00000000 01111111
//c - 00000000 00000000 00000000 10000010
//char类型只有8个比特位,c要截断
//c - 10000010
printf("%d", c);
//%d打印的是一个整型,所以c要进行整型提升
//整型提升按照变量的数据类型的符号位来提升的
//10000010的符号位是1,所以补1
//11111111 11111111 11111111 10000010 - 补码
//11111111 11111111 11111111 10000001 - 反码
//10000000 00000000 00000000 01111110 - -126 - 原码
return 0;
}
算术转换
如果某个操作符的各个操作数属于不同的类型,那么除非其中一个操作数转换为另一个操作数的类型,否则操作就无法进行。
如果某个操作数的类型在这个列表中排名较低,那么首先要转换为另外一个操作数的类型后执行运算。
long double
double
float
unsigned long int
long int
unsigned int
int
算术转换都是向精度更高的类型进行转换。
算术转换必须要合理,不然会出现问题,如精度丢失。
int main() {
int a = 4;
float f = 4.5f;
a + f;
//a会向float转换
return 0;
}
操作符属性
复杂表达式的求值有三个影响因素:
1.操作符的优先级
2.操作符的结合性
3.是否控制求值顺序
int main() {
int a = 1;
int b = 2;
int c = a + b * 7;//优先级决定计算顺序
int d = a + b + 7;//优先级不起作用,结合性决定顺序
return 0;
}
运算符的优先级与结合性是为了让代码更有逻辑精确的运行,而不是为了让人用来炫技,写一堆运算符来显示自己对优先级和结合性掌握有多好;
一个表达式如果不能通过操作符的属性确定唯一的计算路径,那这个表达式就是存在问题的。
附:C语言运算符的优先级和结合性一览表



