C语言——表达式求值

C语言中，表达式求值的顺序一部分是由操作符的优先级和结合性决定

同时有些表达式的操作数在求值的过程中可能需要转换为其他类型

隐式类型转换

C的整型算术运算总是至少以缺省整型类型的精度来进行

为了获得这个精度，表达式中的字符和短整型操作数在使用之前被转换为普通整型，这种转换称为整型提升

整型提升的意义：

• 表达式的整型运算是在 CPU 的相应运算器件内执行，CPU 内整型运算 (ALU) 的操作数的字节长度一般是 int 的字节长度，也是 CPU 的通用寄存器的长度
• 若两个 char 类型相加，在 CPU 执行时要先转换为 CPU 内整型操作数的标准长度
• 通用 CPU (general-purpose CPU) 是难以直接实现两个 8 比特字节直接相加运算（机器指令中可能有这种字节相加指令），所以表达式中各种长度可能小于 int 长度的整型值，必须先转换为 int 或
  unsigned int，然后送入 CPU 执行运算

如何进行整型提升

整形提升是按照变量的数据类型的符号位来提升的

负数的整形提升

负数整形提升的时候，高位补充符号位，即为 1

例：char c1 = -1

c1的二进制位(补码)中只有8个比特位：1111111

提升之后的结果：11111111111111111111111111111111

正数的整形提升

正数整形提升的时候，高位补充符号位，即为 0

例：char c2 = 1

变量c2的二进制位(补码)中只有8个比特位：00000001

提升之后的结果是：00000000000000000000000000000001

无符号整形提升

无符号整形提升的时候，高位补 0

算术转换

如果某个操作符的各个操作数属于不同的类型，那么其中一个操作数需转换为另一个操作数的类型，否则操作无法进行

long double
double
float
unsigned long int
long int
unsigned int
int

上面的层次体系称为寻常算术转换

若某个操作数的类型在此列表中排名较低，运算时首先要转换为另外一个操作数的类型后再执行运算