浅谈指针(二)——操作符与表达式

1.左值和右值

左值就是那些能够出现在赋值符号左边的东西。右值就是那些出现在赋值符号右边的东西。左值标识了一个可以存储结果值的地点，因为它指定了一个值。

2.表达式求值

（1）隐式类型转换

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

（2）算术转换

如果某个操作符的各个操作数属于不同的类型，那么除非其中一个操作数转换为另外一个操作数的类型，否则操作就无法进行。下面的层次体系称为寻常算术转换。如果某个操作数属于不同的类型在上面列表总排名较低，那么它首先将转换为另一个操作数的类型然后执行操作。

复杂的表达式的求值顺序是由3个因素决定的：操作符的优先级、操作符的结合性以及操作符是否控制执行的顺序。两个相邻的操作符哪个先执行取决于它们的优先级，如果两者的优先级相同，那么它们的执行顺序由它们的结合性决定，简单地说，结合性就是一串操作符是从左向右依次执行还是从右到左逐个执行。最后，有4个操作符，它们可以对整个表达式的求值顺序施加控制，它们可以对整个表达式的求值顺序施加控制，它们或者保证某个子表达式能够在另一个子表达式的所有求值过程完成之前进行求值，或者可能使某个表达式被完全跳过不在求值。

两个相邻操作符的执行顺序由它们的优先级决定，如果优先级相同，则执行顺序由结合性。

操作符	描述	用法示例	结合性	是否控制求值顺序
()	聚组	(epx)	N/A	否
()	函数调用	exp(exp)	L-R	否
[]	下标引用	exp[exp]	L-R	否
.	访问结构成员	exp_number.exp	L-R	否
->	访问结构指针成员	exp_number->exp	L-R	否
++	后缀自增	exp++	L-R	否
--	后缀自减	exp--	L-R	否
！	逻辑反	!exp	R-L	否
~	按位取反	~exp	R-L	否
+	单目，表示正值	+exp	R-L	否
-	单目，表示负值	-exp	R-L	否
++	前缀自增	++exp	R-L	否
--	前缀自减	--exp	R-L	否
*	间接访问	*exp	R-L	否
&	取地址	&exp	R-L	否
sizeof	取其长度，以字节表示	sizeof(exp)	R-L	否
（类型）	类型转换	（类型）exp	R-L	否
*	乘法	exp*exp	L-R	否
/	除法	exp/exp	L-R	否
%	整数取余	exp%exp	L-R	否
+	加法	exp+exp	L-R	否
-	减法	exp-exp	L-R	否
<<	左移位	exp<<exp	L-R	否
>>	右位移	exp>>exp	L-R	否
>	大于	exp>exp	L-R	否
>=	大于等于	exp>=exp	L-R	否
<	小于	exp<exp	L-R	否
<=	小于等于	exp<=exp	L-R	否
==	等于	exp==exp	L-R	否
！=	不等于	exp!=exp	L-R	否
&	逻辑与	exp&exp	L-R	否
|	逻辑或	exp|exp	L-R	否
^	位异或	exp^exp	L-R	否
&&	逻辑与	exp&&exp	L-R	是
||	逻辑与	exp||exp	L-R	是
？：	条件操作符	exp？exp：exp	N/A	是
=	赋值	exp=exp	R-L	否
+=	以……加	exp+=exp	R-L	否
-=	以……减	exp-=exp	R-L	否
*=	以……乘	exp*=exp	R-L	否
/=	以……除	exp/=exp	R-L	否
%=	以……取模	exp%=exp	R-L	否
<<=	以……左移	exp<<=exp	R-L	否
>>=	以……右移	exp>>=exp	R-L	否
&=	以……与	exp&=exp	R-L	否
^=	以……异或	exp^=exp	R-L	否
！=	以……或	exp！=exp	R-L	否
，	逗号	exp，exp	L-R	是