!NaN 不是 NaN 吗？

Question

我遇到了这段代码，它用gcc 发出警告：

float f;
// Calculate a value for f
if (!f == 0.0)
{
    // Handle it being non-zero
}

这可能只是另一个团队成员的错字，检查代码的真正含义是：

if (f != 0.0)
// OR
if (!(f == 0.0))

我已经更正了代码，但我只是想知道!NaN 的评估结果是什么。我们在if 中使用f 值，因此我们不希望NaNs 通过检查。

Answer 1

如果你想避免 if 内部出现 NaN，可以使用函数

bool isnan( float arg );

进行检查。

来自函数的reference：

NaN 值永远不会与自身或其他 NaN 值进行比较。 IEEE-754 不要求复制 NaN 以保留其位表示（符号和有效负载），尽管大多数实现都这样做.

另一种测试浮点值是否为 NaN 的方法是将其与自身进行比较：

bool is_nan(double x) { return x != x; } 

C++ 草案 (N4713) 指出：

8.5.2.1 一元运算符 [expr.unary.op]
...
9.逻辑否定运算符!的操作数根据上下文转换为bool（第7条）；如果转换后的操作数是false，则其值为true，否则为false。 结果的类型是bool。

7.14 布尔转换 [conv.bool]
1. 算术、无作用域枚举、指针或指向成员的指针类型的纯右值可以转换为 bool 类型的纯右值。将零值、空指针值或空成员指针值转换为 false； 任何其他值都将转换为 true。

结论：由于 NaN 在表达式!NaN 中被上下文转换为true，所以!NaN 是false，因此不是NaN。。 p>

Answer 2

简单地使用

if (!isnan(f)&& !f == 0.0)
    {
        cout<<"Filtered NaN values"<<endl;

    }

Answer 3

见https://en.cppreference.com/w/cpp/language/implicit_conversion

整数、浮点、无范围枚举、指针和指向成员的指针类型的纯右值可以转换为布尔类型的纯右值。

值零（对于整数、浮点和无范围枚举）以及空指针和指向成员的空指针值变为假。所有其他值都变为 true

因此!f == 0.0 等价于!(f != 0.0) == 0.0 或(f == 0.0) == false 或f != 0.0