IEEE-754浮点与特殊情况的比较

Question

我想知道在比较(LT & GT) 2特殊的单精度IEEE-754浮点值时，在哪里可以找到标准输出(如果有)，它是-inf/+inf/NaN/-0/+0的组合。

我编写了一个测试程序，它给了我以下输出，但是如何检查它是否符合？：

​

​

Answer 1

IEEE 754-2008标准以及晚于754-2019年的草案的相关部分是：

四种相互排斥的关系是可能的:小于，平等，大于和无序。最后一种情况是在至少一个操作数是NaN时出现的。每个NaN都应该将无序与包括自身在内的所有事物进行比较。比较应忽略零的符号(so +0 =−0)。同一符号的无限操作数应比较相等。

从这一点上，我们看到与NaN的比较不会产生小于或大于，因此任何小于或大于应该产生错误的测试，因此表中的结果在这方面是一致的。

类似地，将无穷大与同一无穷大进行比较，或者将零与零进行比较，都会产生错误，因此该表在这方面也是一致的。

该标准没有显式地详细说明其他值的比较；它们是从普通算术继承而来的，在这方面我们可以看到表也是一致的。

有关标准的正式版本，请参阅维基百科IEEE 754页的标准部分中的链接。