表达式求值（ 整形提升 + 算术转换 ）

目录

前言

一、隐式类型转换

如何进行整型提升?

负数的整形提升

正数的整形提升

无符号的整型提升

整形提升的验证

计算上

二、算术转换

---

前言

在C语言中：表达式求值的顺序一部分是由操作符的优先级和结合性决定。
                     同样，有些表达式的操作数在求值的过程中可能需要转换为其他类型。

---

一、隐式类型转换

       C的整型算术运算总是至少以缺省整型类型的精度来进行的。
       为了获得这个精度，表达式中的字符和短整型操作数在使用之前被转换为普通整型，这种转换称为整型提升（作用于小于4字节的类型）。

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

一句话来说就是：(例如:加法计算a与b)  
       a和b的值被提升为普通整型，然后再执行加法运算。加法运算完成之后，结果将被截断，然后再存储于a中。（这是为了提高精度）（前提：是小于4字节的类型）

如何进行整型提升?

需要注意的是：

       整形提升是按照变量的数据类型的符号位来提升的，其会根据符号位是“0或1”来补充所缺少的二进制位。无符号整形提升，高位补0

负数的整形提升

变量a的二进制位(补码)中只有8个比特位：
1111111
因为 char 为有符号的 char：
所以整形提升的时候，高位补充符号位，即为1
提升之后的结果是：
11111111111111111111111111111111

---

正数的整形提升

变量a的二进制位(补码)中只有8个比特位：
0000001
因为 char 为有符号的 char：
所以整形提升的时候，高位补充符号位，即为0
提升之后的结果是：
00000000000000000000000000000001

---

无符号的整型提升

4变量a的二进制位(补码)中只有8个比特位：
0000001
因为unsigned char 为无符号的unsigned char：
所以整形提升的时候，高位补充符号位，即为0
提升之后的结果是：
00000000000000000000000000000001

---

整形提升的验证

我们虽然无法看见底层的整形提升的过程，但是我们却可以利用代码来进行验证。

#include <stdio.h>

int main()
{
	char a = 0xb6;
	short b = 0xb600;
	int c = 0xb6000000;
	if (a == 0xb6)
		printf("a");
	if (b == 0xb600)
		printf("b");
	if (c == 0xb6000000)
		printf("c");
	printf("\n");
	return 0;
}

        因为的a,b（小于4字节）要进行整形提升,但是c（为4字节）不需要整形提升；a,b整形提升之后,变成了负数,所以表达式 a==0xb6 , b==0xb600 的结果是假,但是c不发生整形提升,则表达式c==0xb6000000 的结果是真。

计算上

       正因为整形提升，所以对于小于4字节的计算，其底层是发生了整型提升。

原：

a : 00000101;        b : 01111101;
 

提升：

因为 char 为有符号的 char ：
所以整形提升的时候，高位补充符号位，即为0
提升之后的结果是：
a : 00000000000000000000000000000101;        b : 00000000000000000000000001111101;

计算：

c = a + b = 00000000000000000000000010000010；
因为" c "为有符号 char 的（一字节），所以要发生阶段（只保留一字节）：
c : 10000010
 

输出：

" printf "输出，也需要至少为4字节：
有符号的 char 类型的" c "为一字节，所以是需要进行整型提升的(负数的整形提升)。
c = 11111111111111111111111110000010；
因为，存储方式为补码，而输出为原码（其为负数）：
补码：
c = 11111111111111111111111110000010；
反码：
c = 11111111111111111111111110000001；
原码：
c = 10000000000000000000000001111110；

所以，输出为：-126

二、算术转换

       如果某个操作符的各个操作数属于不同的类型，那么除非其中一个操作数的转换为另一个操作数的类型，否则操作就无法进行。下面的层次体系称为寻常算术转换（作用于大于4字节的类型）。

这里的类型都是 >= 4字节（由下向上转换）

---

注意：

       算术转换要合理，要不然会有一些潜在的问题。