高质量C /C编程指南---第4章 表达式和根底语句

第4章 表达式和根底语句

读者能够怀疑：连if、for、while、goto、switch如许复杂的对象也要探求编程风格，是不是小题大做？

我真的觉察很多次序递次员用隐含错误的方法写表达式和根底语句，我本身也犯过相通的错误。

表达式和语句都属于C /C的短语布局语法。它们看似复杂，但运用时隐患对照多。本章归结了正确运用表达式和语句的一些纪律与发起。

4.1 运算符的优先级

C /C言语的运算符无数十个，运算符的优先级与联合律如表4-1所示。属意一元运算符 - * 的优先级高于对应的二元运算符。

优先级

运算符

联合律

从

高

到

低

排

列

( ) [ ] -> .

从左至右

! ~ -- （规范） sizeof

- * &

从右至左[/b]

[/b]

* / %

从左至右

-

从左至右

<< >>

从左至右

< <= > >=

从左至右

== !=

从左至右

&

从左至右

^

从左至右

|

从左至右

&&

从左至右

||

从右至左[/b]

?:

从右至左[/b]

= = -= *= /= %= &= ^=

|= <<= >>=

从左至右

表4-1 运算符的优先级与联合律

l 【纪律4-1-1】假如代码行中的运算符对照多，用括号确定表达式的利用次序递次，榨取运用默许的优先级。[/b]

由于将表4-1熟记是对照艰巨的，为了防备孕育发生发火歧义并提高可读性，应当用括号确定表达式的利用次序递次。歧：

word = (high << 8) | low

if ((a | b) && (a & c))

4.2 复合表达式

如 a = b = c = 0如许的表达式称为复合表达式。答应复合表达式存在的出处是：（1）书写简练；（2）可以提高编译扼守。但要防备滥用复合表达式。

l 【纪律4-2-1】不要编写太复杂的复合表达式。

歧：

i = a >= b && c < d && c f <= g h ; // 复合表达式过于复杂

l 【纪律4-2-2】不要有多用处的复合表达式。

歧：

d = (a = b c) r ;

该表达式既求a值又求d值。应该拆分为两个独立的语句：

a = b c;

d = a r;

l 【纪律4-2-3】不要把次序递次中的复合表达式与“真正的数学表达式”稠浊。

歧：

if (a < b < c) // a < b < c是数学表达式而不是次序递次表达式

并不默示

if ((a<b) && (b<c))

而是成了令人隐晦的

if ( (a<b)<c )

4.3 if 语句

if语句是C /C言语中最复杂、最常用的语句，然则很多次序递次员用隐含错误的方法写if语句。本节以“与零值对照”为例，睁开评论辩论。

4.3.1 布尔变量与零值对照[/b]

l 【纪律4-3-1】不成将布尔变量直接与TRUE、FALSE梗概1、0中断对照。

根据布尔规范的语义，零值为“假”（记为FALSE），任何非零值都是“真”（记为TRUE）。TRUE的值抱负是什么并没有一致的类型。歧Visual C 将TRUE界说为1，而Visual Basic则将TRUE界说为-1。

假定布尔变量名字为flag，它与零值对照的类型if语句如下：

if (flag) // 默示flag为真

if (!flag) // 默示flag为假

别的的用法都属于不良风格，歧：

if (flag == TRUE)

if (flag == 1 )

if (flag == FALSE)

if (flag == 0)

4.3.2 整型变量与零值对照[/b]

l 【纪律4-3-2】应当将整型变量用“==”或“！=”直接与0对照。

假定整型变量的名字为value，它与零值对照的类型if语句如下：

if (value == 0)

if (value != 0)

不成仿照布尔变量的风格而写成

if (value) // 会让人误解 value是布尔变量

if (!value)

4.3.3 浮点变量与零值对照[/b]

l 【纪律4-3-3】不成将浮点变量用“==”或“！=”与任何数字对照。

千万要属意，无论是float照旧double规范的变量，都有精度限制。以是肯定要榨取将浮点变量用“==”或“！=”与数字对照，应该设法转化成“>=”或“<=”情势。

假定浮点变量的名字为x，应当将

if (x == 0.0) // 隐含错误的对照

转化为

if ((x>=-EPSINON) && (x<=EPSINON))

个中EPSINON是答应的偏向（即精度）。

4.3.4 指针变量与零值对照[/b]

l 【纪律4-3-4】应当将指针变量用“==”或“！=”与NULL对照。

指针变量的零值是“空”（记为NULL）。尽管NULL的值与0不异，可是两者意义不同。假定指针变量的名字为p，它与零值对照的类型if语句如下：

if (p == NULL) // p与NULL显式对照，强调p是指针变量

if (p != NULL)

不要写成

if (p == 0) // 便利让人误解p是整型变量

if (p != 0)

梗概

if (p) // 便利让人误解p是布尔变量

if (!p)

4.3.5 对if语句的赔偿声名');[/b]

无意候我们能够会看到 if (NULL == p) 如许古怪的款式。不是次序递次写错了，是次序递次员为了防备将 if (p == NULL) 误写成 if (p = NULL)，而有意把p和NULL倒置。编译器感受 if (p = NULL) 是合理的，可是会指出 if (NULL = p)是错误的，由于NULL不能被赋值。

次序递次中无意会碰到if/else/return的组合，应该将如下不良风格的次序递次

if (condition)

return x;

return y;

改写为

if (condition)

{

return x;

}

else

{

return y;

}

梗概改写成加倍简练的

return (condition ? x : y);

4.4 轮回语句的扼守

C /C轮回语句中，for语句运用频率最高，while语句其次，do语句很常用。本节重点论述轮回体的扼守。提高轮回体扼守的根底动作是低落轮回体的复杂性。

l 【发起4-4-1】在多重轮回中，假如有能够，应当将最长的轮回放在最内层，最短的轮回放在最外层，以增添CPU跨切轮回层的次数。歧示例4-4(b)的扼守比示例4-4(a)的高。

for (row=0; row<100; row )

{

for ( col=0; col<5; col )

{

sum = sum a[row][col];

}

}

for (col=0; col<5; col )

{

for (row=0; row<100; row )

{

sum = sum a[row][col];

}

}

示例4-4(a) 低扼守：长轮回在最外层 示例4-4(b) 高扼守：长轮回在最内层

l 【发起4-4-2】假如轮回体内存在逻辑鉴识，而且轮回次数很大，宜将逻辑鉴识移到轮回体的内里。示例4-4(c)的次序递次比示例4-4(d)多实行了N-1次逻辑鉴识。而且由于前者老要中断逻辑鉴识，打断了轮回“流水线”作业，使得编译器不能对轮回中断优化措置奖惩，低落了扼守。假如N很是大，最好接纳示例4-4(d)的写法，可以提高扼守。假如N很是小，两者扼守不同并不明显，接纳示例4-4(c)的写法对照好，由于次序递次加倍简练。

for (i=0; i<N; i )

{

if (condition)

DoSomething();

else

DoOtherthing();

}

if (condition)

{

for (i=0; i<N; i )

DoSomething();

}

else

{

for (i=0; i<N; i )

DoOtherthing();

}

表4-4(c) 扼守低但次序递次简练 表4-4(d) 扼守高但次序递次不简练

4.5 for 语句的轮回控制变量

l 【纪律4-5-1】不成在for 轮回体内改削轮回变量，防备for 轮回失控制。

l 【发起4-5-1】发起for语句的轮回控制变量的取值接纳“半开半闭区间”写法。

示例4-5(a)中的x值属于半开半闭区间“0 =< x < N”，起点到尽头的距离为N，轮回次数为N。

示例4-5(b)中的x值属于闭区间“0 =< x <= N-1”，起点到尽头的距离为N-1，轮回次数为N。

比拟之下，示例4-5(a)的写法加倍直不好看，尽管两者的成果是不异的。

for (int x=0; x<N; x )

{

…

}

for (int x=0; x<=N-1; x )

{

…

}

示例4-5(a) 轮回变量属于半开半闭区间 示例4-5(b) 轮回变量属于闭区间

4.6 switch语句

有了if语句为什么还要switch语句？

switch是多分支选择语句，而if语句只需两个分支可供选择。虽然可以用嵌套的if语句来完成多分支选择，但那样的次序递次冗长难读。这是switch语句存在的出处。

switch语句的根底款式是：

switch (variable)

{

case value1 : …

break;

case value2 : …

break;

…

default : …

break;

}

l 【纪律4-6-1】每个case语句的开头不要忘了加break，不然将招致多个分支堆叠（除非有意使多个分支堆叠）。

l 【纪律4-6-2】不要遗忘末了谁人default分支。纵然次序递次真的不需求default措置奖惩，也应该保管语句 default : break; 如许做并非弄巧成拙，而是为了防备他人误感受你忘了default措置奖惩。

4.7 goto语句

自从提倡布局化规画以来，goto就成了有争议的语句。起首，由于goto语句可以灵敏跳转，假如不加限制，它切实其实会破坏布局化规画风格。其次，goto语句频频带来错误或隐患。它能够跳过了某些对象的机关、变量的初始化、紧急的较量争论等语句，歧：

goto state;

String s1, s2; // 被goto跳过

int sum = 0; // 被goto跳过

…

state:

…

假如编译器不能觉察此类错误，每用一次goto语句都能够留下隐患。

很多人发起废弃C /C的goto语句，以绝后患。但量入为出地说，错误是次序递次员本身构成的，不是goto的过失。goto 语句至少有一处可显法术，它能从多重轮回体中咻地一下子跳到内里，用不着写很多次的break语句; 歧

{ …

{ …

{ …

goto error;

}

}

}

error:

…

就象楼房着火了，来不及从楼梯一级一级往下走，可从窗口跳出火坑。以是我们主张常用、慎用goto语句，而不是禁用。

版权声明：
原创作品，答应转载，转载时请务必以超链接情势标明文章 原始出处 、作者信息和本声明。不然将穷究执法责任。