if 语句

 4.3.1 布尔变量与零值比较
z  【规则 4-3-1】不可将布尔变量直接与 TRUE、FALSE 或者 1、0 进行比较。
根据布尔类型的语义，零值为“假” （记为 FALSE） ，任何非零值都是“真” （记为
TRUE） 。TRUE 的值究竟是什么并没有统一的标准。例如 Visual C++  将 TRUE 定义为
1，而 Visual Basic 则将 TRUE 定义为-1。
假设布尔变量名字为 flag，它与零值比较的标准 if 语句如下：
if (flag)  // 表示 flag 为真 高质量 C++/C  编程指南，v 1.0
2001  Page 28 of 101

if (!flag) // 表示 flag 为假
其它的用法都属于不良风格，例如：
  if (flag == TRUE)  
  if (flag == 1 )    
  if (flag == FALSE)  
  if (flag == 0)    

4.3.2 整型变量与零值比较
z  【规则 4-3-2】应当将整型变量用“==”或“！=”直接与 0 比较。
  假设整型变量的名字为 value，它与零值比较的标准 if 语句如下：
if (value == 0)  
if (value != 0)
不可模仿布尔变量的风格而写成
if (value)   // 会让人误解 value 是布尔变量
if (!value)  

4.3.3 浮点变量与零值比较
z  【规则 4-3-3】不可将浮点变量用“==”或“！=”与任何数字比较。
  千万要留意，无论是 float 还是 double 类型的变量，都有精度限制。所以一定要
避免将浮点变量用“==”或“！=”与数字比较，应该设法转化成“>=”或“<=”形式。  
  假设浮点变量的名字为 x，应当将  
if (x == 0.0)  // 隐含错误的比较
转化为  
if ((x>=-EPSINON) && (x<=EPSINON))
其中 EPSINON 是允许的误差（即精度） 。

4.3.4 指针变量与零值比较
z  【规则 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 语句的补充说明 高质量 C++/C  编程指南，v 1.0
2001  Page 29 of 101

有时候我们可能会看到 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);