<转>零值比较--BOOL，int，float，指针变量与零值比较的if语句

mzf3

<转>零值比较--BOOL，int，float，指针变量与零值比较的if语句
出处：http://www.cnblogs.com/zhangdongsheng/

这是程序员面试的一道常见题，也是个C++基础问题。若只在大学里看过几本基础的编程入门书，看见这道题可能会觉得奇怪，不就是和0比较吗，直接拿出来比就是了，其实非也。下文引自google搜索结果，出处不详，高手可以无视，菜菜留下，记得做好笔记。
首先给个提示：题目中要求的是零值比较，而非与0进行比较，在C++里“零值”的范围可就大了，可以是0， 0.0 ， FALSE或者“空指针”。int型变量 n 与“零值”比较的 if 语句就是：

if ( n == 0 )

if ( n != 0 )

如下写法均属不良风格.。

if ( n )              // 会让人误解 n 是布尔变量

if ( !n  )

请写出 BOOL flag 与“零值”比较的 if 语句。

根 据布尔类型的语义，零值为“假”（记为FALSE），任何非零值都是“真”（记为TRUE）。TRUE 的值究竟是什么并没有统一的标准。例如Visual C++ 将TRUE 定义为1，而Visual Basic 则将TRUE 定义为-1。所以我们不可以将布尔变量直接与TRUE、FALSE 或者1、0 进行比较。

标准答案：

if ( flag )

if ( !flag )

如下写法均属不良风格。

if (flag == TRUE)

if (flag == 1 )

if (flag == FALSE)

if (flag == 0)

请写出 float x 与“零值”比较的 if 语句。

千万要留意，无论是float 还是double 类型的变量，都有精度限制，都不可以用“==”或“！=”与任何数字比较，应该设法转化成“>=”或“<=”形式。(为什么？文章之后有详细的讨论，可参考)

假设浮点变量的名字为x，应当将

if (x == 0.0)         // 隐含错误的比较

转化为

if ((x>=-EPSINON) && (x<=EPSINON))

其中EPSINON 是允许的误差（即精度）。

标准答案示例：

const float EPSINON = 0.00001;

if ((x >= - EPSINON) && (x <= EPSINON)

如下是错误的写法。

if (x == 0.0)

if (x != 0.0)

请写出 char *p 与“零值”比较的 if 语句。

标准答案：

if (p == NULL)

if (p != NULL)

如下写法均属不良风格。

if (p == 0)        // 容易让人误解p是整型变量

if (p != 0)

if (p)                // 容易让人误解p是bool型变量

if (!p)

以 上的不良风格很多都能通过编译，但是语句并不能很好的表达与零值进行比较的逻辑依据。一般的，如果想用 if 语句判断一个变量的真假，应该直接使用if（var）、if（！var），表明此 if 语句的功能为“逻辑”判断；如果想用 if 语句判断一个数值型变量（short、int、long等），应该用if（var==0），表明此 if 语句是将变量与0进行“数值”上的比较；而检视指针是否为空则适宜用if（var==NULL），这是一种很好的编程习惯。

浮点型变量并不精确，所以不可将float变量用“==”或“！=”与数字比较，应该设法转化成“>=”或“<=”形式。如果写成if （x == 0.0），则判为错，得0分。以下给出详细原因：
浮点数在内存中的存贮机制和整型数不同，有舍入误差，在计算机中用以近似表示任意某个实数。具体的说，这个实数由一个整数或定点数（即尾数）乘以某个基数（计算机中通常是2）的整数次幂得到，这种表示方法类似于基数为10的科学记数法。
所以浮点数在运算过成功运算通常伴随着因为无法精确表示而进行的近似或舍入。但是这种设计的好处是可以在固定的长度上存储更大范围的数。
例如，一个指数范围为±4的4位十进制浮点数可以用来表示43210，4.321或0.0004321，但是没有足够的精度来表示432.123和43212.3（必须近似为432.1和43210）。当然，实际使用的位数通常远大于4。
所以浮点数不能够判断相等，像 if(x==0)的这样的编码是不总是正确的，我们在判断浮点数相等时，推荐用范围来确定，若x在某一范围内，我们就认为相等，至于范围怎么定义，要看实际情况而已了，float，和double 各有不同
所以const float EPSINON = 0.00001;
if ((x >= - EPSINON) && (x <= EPSINON) 这样判断是可取的
至于为什么取0.00001，可以自己按实际情况定义

再看下面CSDN上的回答
引用
#define   E   1.0E-6   

float   x   与“零值”比较的if   
-----------------------   

浮点数是不可以直接比较大小的，因为是非精确存储，只能设置一个精度，然后在允许误差内的就认为是相等的；对浮点型数比较的时候用==是不对的   

#define   E   0.000001      

fabs((a+b)+c)   -   ((b+a)+c))

liangbmw

好。。。。。

takashiki

首先，给差评！

说真的，误人子弟的文章敬请别发上来好不？鲁迅说“拿来主义”，而不是让你生搬乱套的。

1、BOOL、FALSE、TRUE是什么？
    C++中，只有bool、false、true规定为关键字。上面的要么定义成枚举，要么被#define重定义。以VC++为例，sizeof(BOOL) = 4，sizeof(bool) = 1，完全不一样，别说我欺负你了。

2、标准答案示例：

1. const float EPSINON = 0.00001;
   
2. if ((x >= - EPSINON) && (x <= EPSINON)

复制代码

真的标准？编译器不会警告？ 0.00001是什么类型的，估计作者自己也不知道吧。幸好他很聪明，把EPSINON声明为常量而不是宏定义，否则死都不知道怎么死的。

游在云间

takashiki 发表于 2014-4-24 18:48
首先，给差评！

说真的，误人子弟的文章敬请别发上来好不？鲁迅说“拿来主义”，而不是让你生搬乱套的。

大神，详细说一说吧。

takashiki

游在云间 发表于 2014-4-24 19:39
大神，详细说一说吧。

是这样，文章一开始就说是C++基础问题，那么我们就推断这篇文章基于C++。事实上，支持C99的编译器也适用。

BOOL从来就不是布尔型，他只不过是个整型而已。因为C89并不支持bool，所以只好用这个代替了。但是C++、C99就支持布尔型，布尔型是bool，它只有两个取值：false和true。注意大小写。
float是单精度浮点数，0.00001是双精度浮点数，它们是无法比较大小的，或者说，比较大小的结果可能是错误的。直接将双精度赋值给单精度，负责任的编译器应该会给出警告说精度丢失。
举个例子给你看看：

1. float f = 0.1;
   
2. if(f > 0.1) {...}
   
3. else if(f < 0.1) {...}
   
4. else {...}

复制代码

你会发现，判断进入了f>0.1这个分支中去了，原因就是0.1是双精度的，而f是单精度的。事实上，C/C++的浮点数是无法进行比较的，只有双精度浮点数才可以比较，单精度总是提升为双精度后才可以比较，提升的过程值会发生变化，比较的结果可能就会出错。

霸气侧漏

好东西啊  

ywhbn

不建议使用float，在资源受限环境里非要使用的话，常量后加字母f

游在云间

takashiki 发表于 2014-4-24 20:45
是这样，文章一开始就说是C++基础问题，那么我们就推断这篇文章基于C++。事实上，支持C99的编译器也适用 ...

多谢解答，刚翻书看了一下，缺省是double类型。自己还是看书不细心