二、误做之过:
C语言中属于“误做之过”的特性,就是语言中有误导性质或者不恰当的特性。这些特性有些和C语言的简洁有关,有些与操作符的优先级有关。
1、C语言的简洁。
C语言存在的一个问题就是它太简洁了,仅增加或者是删除一个字符就会使原来的程序变成另一个仍然有效但却全然不同的程序。更糟糕的是很多符号是被重载的(在不同上下文有不同的含义),甚至有些关键字也被重载而具有多重意义。
其存在问题如下所示:
p = N * sizeof * q;
你不能马上推断出,这里是一个乘号还是两个?
又如:
apple=sizeof(int)*p;
这又代表了什么意思?
2、有些运算符的优先级是有问题的
那些C运算符会存在“错误的优先级呢?”,答案是“当按照常规方式使用的时候,可能会引起误会的任何运算符”。这些问题如下所示。
优先级问题 | 表达式 | 人们可能误认为的结果 | 实际结果 |
.的优先级高于*。 ->操作符用于消除这个问题 | *p.f | p所指向对象的字段f (*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()) |
==和!=高于位运算符 | var & mask!=0 | (var & 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 |
记住: 在表达式中如果有布尔操作,算术运算,位操作等混合计算,你始终应该在适当地方 加上括号,使之简单明了。此外,在 优先级和结合性规则告诉你哪些符号组成一个意群的同时,这些意群内部如何进行计算的次序始终是未定义的。
附录:C运算符优先级
优先级 | 运算符 | 名称或含义 | 使用形式 | 结合方向 | 说明 |
1 | [] | 数组下标 | 数组名[常量表达式] | 左到右 | |
() | 圆括号 | (表达式)/函数名(形参表) | |||
. | 成员选择(对象) | 对象.成员名 | |||
-> | 成员选择(指针) | 对象指针->成员名 | |||
++ | 后置自增运算符 | ++变量名 | 单目运算符 | ||
-- | 后置自减运算符 | --变量名 | 单目运算符 | ||
2 | - | 负号运算符 | -表达式 | 右到左 | 单目运算符 |
(类型) | 强制类型转换 | (数据类型)表达式 | |||
++ | 前置自增运算符 | 变量名++ | 单目运算符 | ||
-- | 前置自减运算符 | 变量名-- | 单目运算符 | ||
* | 取值运算符 | *指针变量 | 单目运算符 | ||
& | 取地址运算符 | &变量名 | 单目运算符 | ||
! | 逻辑非运算符 | !表达式 | 单目运算符 | ||
~ | 按位取反运算符 | ~表达式 | 单目运算符 | ||
sizeof | 长度运算符 | sizeof(表达式) | |||
3 | / | 除 | 表达式/表达式 | 左到右 | 双目运算符 |
* | 乘 | 表达式*表达式 | 双目运算符 | ||
% | 余数(取模) | 整型表达式/整型表达式 | 双目运算符 | ||
4 | + | 加 | 表达式+表达式 | 左到右 | 双目运算符 |
- | 减 | 表达式-表达式 | 双目运算符 | ||
5 | << | 左移 | 变量<<表达式 | 左到右 | 双目运算符 |
>> | 右移 | 变量>>表达式 | 双目运算符 | ||
6 | > | 大于 | 表达式>表达式 | 左到右 | 双目运算符 |
>= | 大于等于 | 表达式>=表达式 | 双目运算符 | ||
< | 小于 | 表达式<表达式 | 双目运算符 | ||
<= | 小于等于 | 表达式<=表达式 | 双目运算符 | ||
7 | == | 等于 | 表达式==表达式 | 左到右 | 双目运算符 |
!= | 不等于 | 表达式!= 表达式 | 双目运算符 | ||
8 | & | 按位与 | 表达式&表达式 | 左到右 | 双目运算符 |
9 | ^ | 按位异或 | 表达式^表达式 | 左到右 | 双目运算符 |
10 | | | 按位或 | 表达式|表达式 | 左到右 | 双目运算符 |
11 | && | 逻辑与 | 表达式&&表达式 | 左到右 | 双目运算符 |
12 | || | 逻辑或 | 表达式||表达式 | 左到右 | 双目运算符 |
13 | ?: | 条件运算符 | 表达式1? 表达式2: 表达式3 | 右到左 | 三目运算符 |
14 | = | 赋值运算符 | 变量=表达式 | 右到左 | |
/= | 除后赋值 | 变量/=表达式 | |||
*= | 乘后赋值 | 变量*=表达式 | |||
%= | 取模后赋值 | 变量%=表达式 | |||
+= | 加后赋值 | 变量+=表达式 | |||
-= | 减后赋值 | 变量-=表达式 | |||
<<= | 左移后赋值 | 变量<<=表达式 | |||
>>= | 右移后赋值 | 变量>>=表达式 | |||
&= | 按位与后赋值 | 变量&=表达式 | |||
^= | 按位异或后赋值 | 变量^=表达式 | |||
|= | 按位或后赋值 | 变量|=表达式 | |||
15 | , | 逗号运算符 | 表达式,表达式,… | 左到右 | 从左向右顺序运算 |