在 C++ 中，<、== 和 > 中的一个是否保证在浮点数上为真？

Question

在 C++ 中，我是否可以保证，对于任何给定的 float a 和 float b，a < b、a == b 和 a > b 中的一个且只有一个是正确的？

如果这在编译器和平台之间有所不同，我对 x86 上的 Visual C++ 感兴趣。

Answer 1

没有。

对于a < b、a == b 和a > b 中的每一个，a 或 b 为 false 就足够了。

如果a 和b 都是非NaN，那么a < b、a == b 或a > b 中的一个必须为真。

作为补充，这个answer 告诉你如何在 C++ 中获得 a NaN 值（有几个 NaN 值，可以通过检查它们的表示来区分；它们都不同于每个其他，因为 NaN 永远不等于任何东西，）以及如何测试值是否为 NaN（查看变量 x 是否为 NaN 的惯用测试是 x != x，实际上 std::isnan() 经常实现这个方式，但是一些必须阅读您的代码的程序员可能会对此感到困惑）。

然后，如果a和b是之前计算的结果，就会出现精度过高的问题。请参阅article 以了解 C 中的讨论。C99 标准通过明确规定可能和不可能发生超精度的规则来解决该问题，但尽管 C++ 或多或少地通过遵循 C 标准的定义来继承这些规则FLT_EVAL_METHOD 在 cfloat 中，实际上 C 编译器比 C++ 编译器更重视规则。例如，GCC 在使用-std=c99 编译时实现了 C 的规则，在这种情况下，您可以依靠属性来保存，但在撰写本文时，GCC 在用作 C++ 编译器时并未实现这些规则。