等于运算符==可以用来做位检查吗？

Question

该函数的目的是什么？

 bool whatIsIt(double n)
 {
    return n == n;
 }

它可用于检查 n 中的每一位？

我对此表示怀疑。

如有任何意见，我们将不胜感激。

Answer 1

它可用于检查 n 是否为 NaN（不是数字），因为 NaN 不与其自身进行比较。

可能是一种挑剔且不完全可靠的方法。 （参见 Billy 的各种评论）C99 和 C++11 有 isnan() 函数。

Answer 2

这是在 C 标准附录 F：60559 浮点算术中指定的，特别是 F.8.3 关系运算符：

... 如果 x 是 NaN，则语句 x != x 为 true

...如果 x 是 NaN，则语句 x == x 为 false。

如果 __STDC_IEC_559__ 为 #define，则此函数将返回 false如果n是NaN。

Answer 3

它可能是为了检测 NaN（它们永远不等于任何东西，甚至彼此不相等）——尽管这取决于您特定的编译器/平台/设置/等。严格来说，该标准没有说明如何处理浮点数学。

Answer 4

不，这不是“检查位”。

我猜测它正在检查“NaN”。如果输入为 NaN，它将返回 FALSE，如果输入是任何其他浮点值，则返回 TRUE。

Answer 5

该函数检查数字是否具有可比性。

这对于用作排序函数的键或在搜索中使用的值非常重要。排序中使用的比较期望如果 A < B 为真，则 B < A 将为假。如果 A 或 B 是不可比较的值，那么这两个陈述都是错误的。

从技术上讲，排序所需的称为严格弱排序。

无法在集合中找到具有不可比较值的元素。包含不可比较值的列表是不可排序的。此外，优化的实现可能会退出正在排序的数组并开始破坏内存，或者可能永远不会终止。

我所知道的 double 唯一不可比较的值是 NaN。正如其他人指出的那样，如果用作 whatIsIt() 的参数，NaN 将返回 false。如果 NaN 是您比较的数字的可能值，那么您必须处理它，否则可能会发生不好的事情。

这篇维基百科文章中提到了 std::map 和 NaN 的问题。

您可以构造一个比较来将 NaN 排序到列表中的给定位置，但不能仅使用内置运算符来完成此操作。相反，你会做类似的事情

if ( A < B ) then return -1;
else if ( B < A ) then return 1;
else return whatIsIt(A) - whatIsIt(B);

顺便说一句，在 SQL 中，NULL 也不能在兼容的实现中进行比较。

其中的奥秘是为什么不使用 isnan() ，除非这是一个面试问题或其他问题。