前言
本篇介绍C语言中表达式求值的相关规律及要求,包括隐式转换、算术转换、操作符的属性表格。
一、隐式转换
1.1 原因
整型运算要在CPU的相应运算器件内执行,CPU内整型运算器(ALU)的操作数的字节长度一般就是int的字节长度,同时也是CPU的通用寄存器的长度。故低于int类型数进行操作时,在CPU执行时实际上也要先转换为CPU内整型操作数的标准长度。
通用CPU(general-purpose CPU)是难以直接实现两个8比特字节直接相加运算。表达式中各种长度可能小于int长度的整型值,都必须先转换为int或unsigned int,然后才能送入CPU去执行运算。
1.2 做法
1.2.1 负数的整形提升
整形提升的时候,高位补充符号位。
如char类型的-1,由于char为有符号位,二进制补码为1111 1111,整型提升后为11111111 11111111 11111111 11111111
1.2.2 正数的整形提升
整形提升的时候,高位补充符号位。
如char类型的1,由于char为有符号位,二进制补码为0000 0001,整型提升后为00000000 00000000 00000000 00000001
二、算术转换
若操作符的各个操作数属于不同的类型,那么除非其中一个操作数的转换为另一个操作数的类型,否则操作就无法进行。下面的层次体系称为寻常算术转换。
long double
double
float
unsigned long int
long int
unsigned int
int
若某个操作数的类型在列表中排名较低,那么首先要转换为另外一个操作数的类型后执行运算。
三、操作符的属性
3.1 影响因素
- 操作符的优先级
- 操作符的结合性
- 是否控制求值顺序。
3.2 规则表格
1、从上至下,优先级为由高到低。
2、结合性:N/A表示无结合性,L-R表示从左向右结合,R-L表示从右向左结合。
3、是否控制求值顺序:图中,仅有“逻辑与&&、逻辑或||、条件表达式?:、逗号,”为是,其他均为否。其表示在逻辑与中,若左侧计算逻辑与为假,则结果必定为假,不进行右边计算。逻辑或也表示若左侧逻辑或为真,则无论右侧结果如何,结果均为真,不进行右侧计算。条件表达式中,表达式1为真,则计算表达式2,不计算表达式3,反之相同。逗号表达式会从左向右计算,但只会以最后一个表达式为结果。
1&&0&&5&&4
在上述运算中,计算1&&0结果为假,则不进行右侧计算。
if(a>b,c,d,5>3)
{}
在上述运算中,会从左向右运算,无论左侧如何,仅一个判断条件为5>3
总结
本篇介绍C语言中表达式求值的相关规律及要求,包括隐式转换、算术转换、操作符的属性表格,用以记录并期望未来使用。