floating-point - 浮点稳定性

Question

假设我有两个相等的有理分数 a/b 和 c/d。a、b、c 和 d 都可以表示为 32 位有符号整数。如果我用 64 位浮点数除法，a/b == c/d 总是吗？

Answer 1

在某些情况下，即使结果保证相同，编译器优化也会阻止等式成立。原始的 x86 浮点运算是在 80 位寄存器上执行的；如果您将其中一个与存储的 64 位值进行比较，它可能会比较不相等。