操作符详解3

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

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

整型提升的意义：

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

 

 实例1中的a,b要进行整形提升,但是c不需要整形提升 a,b整形提升之后,变成了负数,所以表达式 a==0xb6 , b==0xb600 的结果是假,但是c不发生整形提升,则表 达式 c==0xb6000000 的结果是真. 所程序输出的结果是:c

实例2中的,c只要参与表达式运算,就会发生整形提升,表达式 +c ,就会发生提升,所以 sizeof(+c) 是4个字节。表达式 -c 也会发生整形提升,所以 sizeof(-c) 是4个字节,但是 sizeof(c) ,就是1个字节 

 ps：

上一篇文章说：sizeof括号中的表达式不参与运算。

但一个表达式是有两种属性，值属性是运算出来的，其中类型属性是推导出来的，可以输出。

 加点东西：

 警告的意思是：sizeof操作符的计算结果是unsigned int或者是size_t（无符号整型） 

但是：%d打印的是按照的是有符号的形式来打印的（既可以打印负数也可以打印正数），虽然sizeof返回的是正数，但是类型是不匹配的。

sizeof返回的数字应该用%u（unsigne）来打印，那就没问题了。

%d表示打印有符号整数，%u表示打印无符号整数。sizeof返回的是一个无符号整数

 

 向字节长的去转换，同字节长度的向精度高的去转换

 

 复杂表达式的求值有三个影响的因素。

1. 操作符的优先级

2. 操作符的结合性

3. 是否控制求值顺序。

两个相邻的操作符先执行哪个？取决于他们的优先级。如果两者的优先级相同，取决于他们的结合性。 操作符优先级决定计算顺序。

优先级从高到低                 L-R表示从左到右结合     R-L表示从右到左结合        N/A表示无结合性

 

 所以表达式的计算机顺序就可能是：

       可以进行拆成三个语句进行计算

 

 

这个代码有没有实际的问题？

有问题！ 虽然在大多数的编译器上求得结果都是相同的。 但是上述代码 answer = fun() - fun() * fun(); 中我们只能通过操作符的优先级得知：先算乘法， 再算减法。 函数的调用先后顺序无法通过操作符的优先级确定 。

 

 

 

 

 

 

 这段代码中的第一个 + 在执行的时候，第三个++是否执行，这个是不确定的，因为依靠操作符的优先级 和结合性是无法决定第一个 + 和第三个前置 ++ 的先后顺序。

总结：我们写出的表达式如果不能通过操作符的属性确定唯一的计算路径，那这个表达式就是存在问题 的。