关于C++判断语句的思考

林锐 博士在他的《高质量C++/C 编程指南》(2001 年7 月24 日)中提到：

“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.3.2 整型变量与零值比较，4.3.4 指针变量与零值比较”个人是不苟同的

C语言是没有bool类型的，所以在C中

if (value) 或 if (p)

的用法理所当然

但像判断字符指针指向内容是否为结束字符'\0'

if ( *p == '\0' )或者 if ( *p == 0 )

C++是否也该这样写啊？

不过在中很多字符处理函数例如strlen，strcmp，strcat等的编写无一例外都是

if ( *p )

当然<cstring>是从C的继承下来的，所以都是C的风格

但像没有类型安全机制的C都不强调类型，而C++中不仅有类型安全，而且还有泛型机制，所以更没必要强调类型，像匈牙利命名法对C++来说无疑是累赘而已，所以我是支持if (value) 或 if (p)，if ( *p )的写法的

不过像：“4.3.1 布尔变量与零值比较，4.3.3 浮点变量与零值比较”中的错误写法确实是不可取的