代码大全第二版读书笔记第四部分-语句十九、一般控制问题

本文链接：https://blog.csdn.net/liyijun4114/article/details/43918053

一般控制问题（P431）

1.布尔表达式（P431）

1）用true和false做布尔判断

在布尔表达式中应该用标示符true和false，而不要用0和1等数值。
隐式地比较布尔值与true和false
if(!printerError){
	initializePrinter();
}
if(printerError){
	notifyUserOfError();
}
if(reportSelected == reportType_First){
	printReport();
}
if(summarySelected){
	printSummary();
}
if(!printerError){
	cleanupPrinter();
}

2）简化复杂的表达式

拆分复杂的判断并引入新的布尔变量
把复杂的表达式做成布尔函数
如果这个判断只用一次，你可能会认为没有必要把它放入一个子程序中。不过，把这个判断放到一个命名良好的函数里能改善可读性，并且能让你清楚地了解代码在做什么，因而这样做很有必要。
用决策表代替复杂的条件
即表驱动法

3）编写肯定形式的布尔表达式

大多数人在理解一长串否定用语的时候都会觉得困难。

在if语句中，把判断条件从否定形式转换为肯定形式，并且互换if和else子句中的代码。
用狄摩根定理简化否定的布尔判断
if( !displayOK || !printerOK)...
//等价于
if( !(displayOK && printerOK))...
4）用括号使布尔表达式更清晰

//括号过少的表达式
if( a < b == c == d)...

5）理解布尔表达式是如何求值的

在求布尔表达式值的时候，很多语言会使用一些隐含的控制方式。一些语言的编译器会先计算布尔表达式中的每个项的值，然后再把这些项组合起来求出整个表达式的值。一些语言的编译器采用“短路”或者“惰性”求值，只求出那些必须的部分。当你希望用第一个判断的结果来控制第二个判断是否执行的时候，这一点就显得尤为重要了。
//伪代码示例：易错的判断
while(i < MAX_ELEMENTS and item[i] <> 0)...
如果整个表达式都被求值，你就会在循环的最后一次迭代中遇到一个错误。那时变量i等于maxElements，所以表达式item[i]就等于item[maxElements]，而这是一个数组下标越界错误。
//重新安排结构后的正确判断
while( i < MAX_ELEMENTS)
	if( item[ i] <> 0) then
很多语言都提供了相应的功能，在第一时间阻止此类错误的发生。例如，C++和Java采用短路求值：如果and的第一个操作数为假，那么就跳过第二个操作数，因为整个表达式的取值反正一定为假了。
//利用短路求值的判断(不会产生除0错误)
if( (denominator != 0) && ( ( item / denominator) > MIN_VALUE))...
//利用短路求值的判断（可能产生除0错误）
if( ( ( item / denominator) > MIN_VALUE) && (denominator != 0))...
在Java中还有一种“逻辑”运算符，无论整个表达式的结果能否通过部分项的真假判定而无需完全求值，所有的项都要经过完整的求值。区别如下：
//利用短路求值的判断(可能产生除0错误)
if( (denominator != 0) & ( ( item / denominator) > MIN_VALUE))...
不同的语言所用的求值方法是不同的，而语言的实现者们也倾向于随意地对待表达式的求值，所以请查阅你所用语言特定版本的用户手册，以了解你的语言是如何求值的。

6）按照数轴的顺序编写数值表达式

应该很好地组织数值判断，使其顺序与数轴上的点排列顺序相符。

//如果i在中间范围
MIN_ELEMENTS <= i and i <= MAX_ELEMENTS;
//如果i在两边范围
i < MIN_ELEMENTS or MAX_ELEMENTS < i;

7）与0比较的指导原则

隐式地比较逻辑变量
while( !done)...
把数和0相比较
如果balance是一个数值类型
应该写成
while( balance != 0)
而不要写成
while( balance)
在C中显式地比较字符和零终止符（'\0'）
while( *charPtr != '\0')
而不是
while( *charPtr)
把指针与NULL相比较
while( bufferPtr != NULL)...
而不是
while( bufferPtr)

8）布尔表达式的常见问题
在C家族语言中，应该把常量放在比较的左端
//将常量放在等号右侧——编译器可能不会捕获这个错误
if( i = MIN_ELEMENTS)...
在C++中，可以考虑创建预处理宏来替换&&,||和==（不得已的时候）
在Java中，应该理解a==b和a.equals(b)之间的差异