表达式求值进阶理解；操作符的优先级、结合性

整型提升

C语⾔中整型算术运算总是⾄少以缺省整型类型的精度来进⾏的。而为了获得这个精度，表达式中的字符和短整型操作数在使⽤之前被转换为普通整型，这种转换称为整型提升。

整型提升的意义：

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

下面用代码演示下：（两个char类型相加）

两个char要想进行运算就必须先转换成整型才能运算 

也就是说只要是类型小于整型类型（int类型）的都要进行整型提升

整型提升的方法：

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

2. ⽆符号整数提升，⾼位补0

这里我就以上面的代码为例，讲解整型提升的方法：

char的符号是不确定的，取决于编译器，在常见的编译器上，char就是 signed char ，是有符号的，就如我们演示所使用的编译器vs2022

算数转换：

如果某个操作符的各个操作数属于不同的类型，那么除⾮其中⼀个操作数的转换为另⼀个操作数的类 型，否则操作就⽆法进⾏。下⾯的层次体系称为寻常算术转换。

1、long double

2、double

3、float

4、unsigned long int

5、long int

6、unsigned int 

7、int

当某个操作数的类型在上⾯这个列表中排名靠后时，那么⾸先要转换为另外⼀个操作数的类型后再进行运算。

操作符的属性：

C语⾔的操作符有2个重要的属性：优先级、结合性，这两个属性决定了表达式求值的计算顺序。

优先级：

  含义：如果⼀个表达式包含多个运算符，各种运算符的优先运算顺序是不⼀样的。

结合性：

  含义：当两个运算符优先级相同时，优先级没办法确定先计算哪个了，这时候就看结合性了，则根据运算符 是左结合，还是右结合，决定执⾏顺序。

1.  前缀 ++ 与 -- 的运算数不能是转型。此规则在文法上禁止某些表达式本来也会在语义上非法的表达式。某些编译器忽略此规则并检测语义上的非法。
2. sizeof 的运算数不能是类型转型：表达式 sizeof (int) * p 无歧义地转译成 (sizeof(int)) * p ，而非 sizeof((int)*p) 。
3. 条件运算符中部（? 与 : 之间）的表达式分析为如同加括号：忽略其相对于 ?: 的优先级。
4.  赋值运算符的左运算数必须是一元（第 2 级非转型）表达式。此规则在文法上禁止某些表达式本来也会在语义上非法的表达式。从而许多编译器忽略此规则并在语义上检测其非法。

拥有相同优先级的运算符以其结合性的方向绑定到其参数。例如表达式 a=b=c 被分析为 a=(b=c) 而非 (a=b)=c，因为从右到左结合性。

拥有相同优先级的运算符以其结合性的方向绑定到其参数。例如表达式 a=b=c 被分析为 a=(b=c) 而非 (a=b)=c，因为从右到左结合性。 

 注解：

优先级和结合性与求值顺序相互独立。

标准自身并未指定优先级。它们是从文法中导出的。

C++ 中，条件运算符拥有与赋值运算符相同的优先级，而前缀 ++ 与 -- 及赋值运算符无关于其运算数的限制。

结合性规定对于一元运算符是冗余的，且只为完备而显示：一元前缀运算符始终从右到左结合（sizeof ++*p 为 sizeof(++(*p))）而一元后缀运算符始终从左到右结合（a[1][2]++ 为 ((a[1])[2])++）。注意结合性对成员访问运算符有意义，即使在它们与一元后缀运算符组合时：a.b++ 分析为 (a.b)++ 而非 a.(b++)。

求值顺序      (运算符优先级，结合性资料均来自这个网址)