double类型除法运算一致性技术问询：结果是否始终恒等？

这个问题问到了浮点数计算里容易被忽略的核心细节，咱们来一步步梳理清楚：

核心结论分两种场景 #

1. 遵循IEEE 754标准的环境（主流编译器默认都符合） #

只要变量A和B的二进制内存表示完全不变（也就是它们的精确值在两次计算之间没被修改），那么每次执行A / B都会得到完全相同的IEEE 754 double结果，此时A / B == A / B几乎总是返回true——只有一种例外：当A / B的计算结果是**NaN（非数值）**的时候。

NaN是浮点数的特殊值，它的定义就是「不等于任何值，包括它自己」。比如当A=0且B=0时，A/B会得到NaN，这时候NaN == NaN的结果就是false。

除此之外，只要计算结果是正常浮点数（包括正负无穷大），两次A/B的结果会完全一致，等式必然成立。

2. 不遵循IEEE 754的特殊环境 #

有些老旧编译器、特殊嵌入式平台，或者开启了非标准优化选项的环境，可能不严格遵守IEEE 754规范。这种情况下，相同的A和B可能会因为编译器的非标准处理（比如不同的精度截断方式）得到不同的除法结果，但这种情况在现代开发环境里已经非常罕见了。

额外注意事项 #

• 这里的「相同的变量A和B」必须是内存值完全未被修改的状态。如果两次除法之间，A或B被其他代码修改过，那结果自然会不同，这和浮点数精度本身无关。
• 主流编译器（GCC、Clang、MSVC等）在默认编译选项下都会严格遵循IEEE 754，日常开发中完全可以放心依赖这种一致性（除了NaN的特殊情况）。

内容的提问来源于stack exchange，提问作者Xie Jason