第4章 表达式和根底语句
读者能够怀疑：连if、for、while、goto、switch如许复杂的对象也要探求编程风格，是不是小题大做？
我真的觉察很多次序递次员用隐含错误的方法写表达式和根底语句，我本身也犯过相通的错误。
表达式和语句都属于C /C的短语布局语法。它们看似复杂，但运用时隐患对照多。本章归结了正确运用表达式和语句的一些纪律与发起。
4.1 运算符的优先级
C /C言语的运算符无数十个，运算符的优先级与联合律如表4-1所示。属意一元运算符 - * 的优先级高于对应的二元运算符。
优先级
运算符
联合律
从
高
到
低
排
列
( ) [ ] -> .
从左至右
! ~ -- （规范） sizeof
- * &
从右至左
* / %
从左至右
-
从左至右
<< >>
从左至右
< <= > >=
从左至右
== !=
从左至右
&
从左至右
^
从左至右
|
从左至右
&&
从左至右
||
从右至左
?:
从右至左
= = -= *= /= %= &= ^=
|= <<= >>=
从左至右
表4-1 运算符的优先级与联合律
l 【纪律4-1-1】假如代码行中的运算符对照多，用括号确定表达式的利用次序递次，榨取运用默许的优先级。
由于将表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 布尔变量与零值对照
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 整型变量与零值对照
l 【纪律4-3-2】应当将整型变量用“==”或“！=”直接与0对照。
假定整型变量的名字为value，它与零值对照的类型if语句如下：
if (value == 0)
if (value != 0)
不成仿照布尔变量的风格而写成
if (value) // 会让人误解 value是布尔变量
if (!value)
4.3.3 浮点变量与零值对照
l 【纪律4-3-3】不成将浮点变量用“==”或“！=”与任何数字对照。
千万要属意，无论是float照旧double规范的变量，都有精度限制。以是肯定要榨取将浮点变量用“==”或“！=”与数字对照，应该设法转化成“>=”或“<=”情势。
假定浮点变量的名字为x，应当将
if (x == 0.0) // 隐含错误的对照
转化为
if ((x>=-EPSINON) && (x<=EPSINON))
个中EPSINON是答应的偏向（即精度）。
4.3.4 指针变量与零值对照
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语句的赔偿声名');
无意候我们能够会看到 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语句，而不是禁用。
版权声明： 原创作品，答应转载，转载时请务必以超链接情势标明文章 原始出处 、作者信息和本声明。不然将穷究执法责任。
