根据《高质量C++/C编程指南》中的相关知识点得出。
一、布尔变量与零值比较
【规则 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】 应当将整型变量用“ ==”或“! =”直接与 0 比较。
假设整型变量的名字为 value,它与零值比较的标准 if 语句如下:
if (value == 0)
if (value != 0)
不可模仿布尔变量的风格而写成
if (value) // 会让人误解 value 是布尔变量
if (!value)
自我总结:整型变量是变量并不代表一定的值,如果直接表示1或非零会出现错误,无法达到效果。
三、浮点变量与零值比较
【规则 4-3-3】 不可将浮点变量用“ ==”或“! =”与任何数字比较。
千万要留意,无论是 float 还是 double 类型的变量,都有精度限制。所以一定要避免将浮点变量用“ ==”或
“!=”与数字比较,应该设法转化成“ >=”或“ <=”形式。
假设浮点变量的名字为 x,应当将
if (x == 0.0) // 隐含错误的比较
转化为
if ((x>=-EPSINON) && (x<=EPSINON))
其中 EPSINON 是允许的误差(即精度)。
自我总结:浮点变量与零值比较即将其与零左右在误差范围内的数据域进行比较,否则会出现精度偏差。
四、指针变量与零值比较
【规则 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)
自我总结:指针变量的零值即为空,反之为非空。
经过上述四种类型与零值的比较,说明了编写规范的重要性,如果按照自己的想法来进行编写,会造成阅读者的阅读困难,还会造成编码错误。为了良好的代码环境,应严格遵从代码要求。