C语言运算符优先级与结合性:
同一优先级的运算符,运算次序由结合方向所决定。
优先级 | 运算符 | 名称或含义 | 使用形式 | 结合方向 | 说明 |
---|---|---|---|---|---|
1 | [] | 数组下标 | 数组名[常量表达式] | 左到右 | -- |
() | 圆括号 | (表达式)/函数名(形参表) | 左到右 | -- | |
. | 成员选择(对象) | 对象.成员名 | 左到右 | -- | |
-> | 成员选择(指针) | 对象指针->成员名 | 左到右 | -- | |
2 | - | 负号运算符 | -表达式 | 右到左 | 单目运算符 |
~ | 按位取反运算符 | ~表达式 | 右到左 | 单目运算符 | |
++ | 自增运算符 | ++变量名/变量名++ | 右到左 | 单目运算符 | |
-- | 自减运算符 | --变量名/变量名-- | 右到左 | 单目运算符 | |
* | 取值运算符 | *指针变量 | 右到左 | 单目运算符 | |
& | 取地址运算符 | &变量名 | 右到左 | 单目运算符 | |
! | 逻辑非运算符 | !表达式 | 右到左 | 单目运算符 | |
(类型) | 强制类型转换 | (数据类型)表达式 | 右到左 | -- | |
sizeof | 长度运算符 | sizeof(表达式) | 右到左 | -- | |
3 | / | 除 | 表达式/表达式 | 左到右 | 双目运算符 |
* | 乘 | 表达式*表达式 | 左到右 | 双目运算符 | |
% | 余数(取模) | 整型表达式%整型表达式 | 左到右 | 双目运算符 | |
4 | + | 加 | 表达式+表达式 | 左到右 | 双目运算符 |
- | 减 | 表达式-表达式 | 左到右 | 双目运算符 | |
5 | << | 左移 | 变量<<表达式 | 左到右 | 双目运算符 |
>> | 右移 | 变量>>表达式 | 左到右 | 双目运算符 | |
6 | > | 大于 | 表达式>表达式 | 左到右 | 双目运算符 |
>= | 大于等于 | 表达式>=表达式 | 左到右 | 双目运算符 | |
< | 小于 | 表达式<表达式 | 左到右 | 双目运算符 | |
<= | 小于等于 | 表达式<=表达式 | 左到右 | 双目运算符 | |
7 | == | 等于 | 表达式==表达式 | 左到右 | 双目运算符 |
!= | 不等于 | 表达式!= 表达式 | 左到右 | 双目运算符 | |
8 | & | 按位与 | 表达式&表达式 | 左到右 | 双目运算符 |
9 | ^ | 按位异或 | 表达式^表达式 | 左到右 | 双目运算符 |
10 | | | 按位或 | 表达式|表达式 | 左到右 | 双目运算符 |
11 | && | 逻辑与 | 表达式&&表达式 | 左到右 | 双目运算符 |
12 | || | 逻辑或 | 表达式||表达式 | 左到右 | 双目运算符 |
13 | ?: | 条件运算符 | 表达式1?表达式2: 表达式3 | 右到左 | 三目运算符 |
14 | = | 赋值运算符 | 变量=表达式 | 右到左 | -- |
/= | 除后赋值 | 变量/=表达式 | 右到左 | -- | |
*= | 乘后赋值 | 变量*=表达式 | 右到左 | -- | |
%= | 取模后赋值 | 变量%=表达式 | 右到左 | -- | |
+= | 加后赋值 | 变量+=表达式 | 右到左 | -- | |
-= | 减后赋值 | 变量-=表达式 | 右到左 | -- | |
<<= | 左移后赋值 | 变量<<=表达式 | 右到左 | -- | |
>>= | 右移后赋值 | 变量>>=表达式 | 右到左 | -- | |
&= | 按位与后赋值 | 变量&=表达式 | 右到左 | -- | |
^= | 按位异或后赋值 | 变量^=表达式 | 右到左 | -- | |
|= | 按位或后赋值 | 变量|=表达式 | 右到左 | -- | |
15 | , | 逗号运算符 | 表达式,表达式,… | 左到右 | -- |
c语言运算符优先级存在的问题(按照常规方式使用时,可能引起误会的运算符):
优先级问题 | 表达式 | 可能误以为的结果 | 实际结果 |
---|---|---|---|
.的优先级高于*。->操作符用于消除这个问题 | *p.f | p所指向的字段。 (*p).f | 对p取f偏移,作为指针,然后进行引用。 *(p.f) |
[]高于* | int *ap[] | ap是一个指向int数组的指针。 int (*ap)[] | ap是个元素为int指针的数组。 int *(ap[]) |
函数()高于* | int *fp() | fp是个函数指针,所指函数返回int。int(*fp)() | fp是个函数,返回int*。int *(fp()) |
==和!=高于位操作符 | (val & mask != 0) | (val & mask) != 0 | val & (mask !=0) |
==和!=高于赋值符 | c = getchar() != EOF | (c = getchar()) != EOF | c=(getchar() != EOF) |
算术运算高于移位运算 | msb << 4 + lsb | (msb << 4) + lsb | msb << (4 + lsb) |
逗号运算符在所有运算符中优先级最低 | i = 1,2 | i = (1,2) | (i = 1),2 |
例:
i = 1,2
i的最终结果是什么?我们知道逗号运算符的值就是最右边操作数的值,但在这里,赋值符的优先级更高,所以实际情况应该是:
(i = 1),2
i赋值为1,接着执行常量2的运算,计算结果丢弃。最终,i的结果是1而不是2。
综上,在写代码时,表达式中如果有布尔操作、算术运算、位操作等混合运算,始终应在适当的地方加上括号,使之清楚明了。
在优先级和结合性规则告诉你哪些符号组成一个意群的同时,这些意群内部如何进行计算的次序始终是未定义的。在下面的表达式里:
x = f() + g() * h();
g()和h()的返回值先组成一个意群,执行乘法运算,但g()和h()的调用可能以任何顺序出现,g()的调用不一定早于h()。类似,f()可能在乘法之前也可能在乘法之后调用,也可能在g()和h()之间调用。唯一可以确定的就是乘法会在加法之前执行(因为乘法的结果是加法运算的操作数之一)。如果编写程序时要依赖这些意群计算的先后顺序,那就是不好的编程风格。大部分编程语言并未明确规定操作数计算的顺序。之所以未作定义,是想让编译器充分利用自身架构的特点,或者充分利用存储于寄存器中的值。
结合性是什么?它是仲裁者,在几个操作符具有相同的优先级时决定先执行哪一个。
每一个操作符拥有某一级别的优先级,同时也拥有左结合性或者右结合性。优先级决定一个不含括号的表达式中操作数之间的“紧密程度”。例如:
a * b + c
因为乘法运算符的优先级高于加法运算符的优先级,所以先执行乘法a * b,而不是加法b + c。
但是,许多操作符的优先级是相同的,这时,操作符的结合性就开始发挥作用了。在表达式中如果有几个优先级相同的操作符,结合性就起仲裁作用,由它决定哪个操作符先执行。
例如:
int a,b =1 ,c =2;
a = b = c;
所有的赋值符(包括复合赋值符)都具有右结合性。
就是说,表达式中最右边的操作最先执行,然后从右到左依次执行。这样,c先赋值给b,然后b再赋值给a,最终a的值就是2。类似的,具有左结合性的操作符(如位操作符 & 和 | )则是从左至右依次执行。
结合性只用于表达式中出现两个以上相同优先级的操作符的情况,用于消除歧义。事实上,你会注意到所有优先级相同的操作符,它们的结合性也相同。这是必须如此的,否则结合性依然无法消除歧义。如果在计算表达式的值需要考虑结合性,那么最好把这个表达式一分为二或者使用括号。
在C语言中,跟顺序有关的问题,有些定义的很好,如优先级和结合性,有些则定义的很含糊,如大部分表达式里各个操作数计算的顺序就是不确定的,它的目的是为了让编译器设计者选区最合适的方法来产生最快的代码。之所以说“大部分”,是因为某些操作符如&&和||等,其操作数的计算是规定顺序的。这两个操作符严格按照从左到右的顺序依次计算两个操作数,当结果提前得知时便忽略剩余的计算。但是,在函数调用中,各个参数的计算顺序是不确定的。
网友评论