浮点稳定性

Question

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

Answer 1

在某些情况下，即使保证结果相同，编译器优化也会阻止相等为真。最初的x86浮点操作是在80位寄存器上执行的；如果将其中一个与存储的64位值进行比较，则可能会出现不相等的情况。