this Wikipedia article没有解决这种意外情况,我无法找到解决此问题的最终IEEE-754文件。
答案 0 :(得分:3)
根据one purported copy of the IEEE 754 (1985) standard,
当两个具有相反符号的操作数之和(或者相反的符号) 具有相同符号的两个操作数正好为零,即该总和的符号 (或差异)在所有舍入模式中应为+,除了向前舍入 -INFINITY,其中符号的模式应为 - 。但是,x + x = x - ( - x) 即使x为零,也会保留与x相同的符号。
(第6.3节)
这适用于(+0)+( - 0)情况,要求结果在大多数舍入模式中为+0,但在-INFINITY模式下为-0。