附录D 运算符优先级

运算符优先级决定了运算符用于值的顺序。C++运算符分为18个优先级组,如表D.1所示。第1组中的运算符的优先级最高,第2组中运算符的优先级次之,依此类推。如果两个运算符被用于同一个操作数,则首先应用优先级高的运算符。如果两个运算符的优先级相同,则C++使用结合性规则来决定哪个运算符结合得更为紧密。同一组中运算符的优先级和结合性相同,不管是从左到右(表中L-R)还是从右到左(表中R-L)结合。从左到右的结合性意味着首先应用最左边的运算符,而从右到左的结合性则意味着首先应用最右边的运算符。

表D.1 C++运算符的优先级和结合性

运 算 符 结 合 性 含 义
优先级第1组
::   作用域解析运算符
优先级第2组
(表达式)   分组
() L-R 函数调用
()   值构造,即type(expr)
[ ]   数组下标
->   间接成员运算符
.   直接成员运算符
const_cast   专用的类型转换
dynamic_cast   专用的类型转换
reinterpret_cast   专用的类型转换
static_cast   专用的类型转换
typeid   类型标识
++   加1运算符,后缀
- -   减1运算符,后缀
优先级第3组(全是一元运算符)
! R-L 逻辑非
~   位非
+   一元加号(正号)
-   一元减号(负号)
++   加1运算符,前缀
- -   减1运算符,前缀
&   地址
*   解除引用(间接值)
()   类型转换,即(type)expr
sizeof   长度,以字节为单位
new   动态分配内存
new [ ]   动态分配数组
delete   动态释放内存
delete [ ]   动态释放数组
优先级第4组
. * L-R 成员解除引用
->*   间接成员解除引用
优先级第5组(全是二元运算符)
* L-R
/  
^   模(余数)
优先级第6组(全是二元运算符)
+ L-R
-  
优先级第7组
<< L-R 左移
>>   右移
优先级第8组
< L-R 小于
<=   小于或等于
>=   大于或等于
>   大于
优先级第9组
= = L-R 等于
!=   不等于
优先级第10组(一元运算符)
& L-R 按位AND
优先级第11组
^ L-R 按位XOF(异或)
优先级第12组
| L-R 按位OR
优先级第13组
&& L-R 逻辑AND
优先级第14组
| | L-R 逻辑OR
优先级第15组
:? R-L 条件
优先级第16组
= R-L 简单赋值
* =   乘并赋值
/=   除并赋值
%=   求模并赋值
+=   加并赋值
-=   减并赋值
&=   按位AND并赋值
^=   按位XOR并赋值
|=   按位OR并赋值
<<=   左移并赋值
>>=   右移并赋值
优先级第17组
throw L-R 引发异常
优先级第18组
, L-R 将两个表达式合并成一个

有些符号(如*或&)被用作多个运算符。在这种情况下,一种形式是一元(一个操作数),另一种形式是二元(两个操作数),编译器将根据上下文来确定使用哪种形式。对于同一个符号可以两种方式使用的情况,表D.1将运算符标记为一元组或二元组。

下面介绍一些优先级和结合性的例子。

对于下面的例子,编译器必须决定先将5和3相加,还是先将5和6相乘:

..\tu\p1234-1.tif

*运算符的优先级比+运算符高,所以它被首先用于5,因此表达式变成3 +30,即33。

对于下面的例子,编译器必须决定先将120除以6,还是先将6和5相乘:

..\tu\p1234-2.tif

/和的优先级相同,但这些运算符从左到右结合的。这意味着首先应用操作数(6)左侧的运算符,因此表达式变为205,即100。

对于下面的例子,编译器必须决定先对str递增还是先对str解除引用:

..\tu\p1234-3.tif

后缀++运算符的优先级比一元运算符高,这意味着加号运算符将对str进行操作,而不是对str进行操作。也就是说,将指针加1,使之指向下一个字符,而不是修改被指针指向的字符。不过,由于++是后缀形式,因此将在将*str的值赋给ch后,再将指针加1。因此,上述表达式将字符W赋给ch,然后移动指针str,使之指向字符h。

下面是一个类似的例子:

..\tu\p1234-4.tif

前缀++运算符和一元运算符的优先级相同,但它们是从右到左结合的。因此,str(不是str)将被加1。因为++运算符是前缀形式,所以首先将str加1,然后将得到的指针执行解除引用的操作。因此,str将指向字符h,并将字符h赋给ch。

注意,表D.1在“优先级”行中使用一元或二元来区分使用同一个符号的两个运算符,如一元地址运算符和二元按位AND运算符。

附录B列出了一些运算符的替代表示。