Python整数除法结果异常问题咨询

这不是Python的Bug，问题出在浮点数精度限制和解释器的表达式优化上，具体拆解如下：

1. 核心计算的数学逻辑与浮点数限制

   • 数学上，(a-b)/c = (a-b)/((a-b)/9) = 9是精确值，但c = (a-b)/9 = 12500/9是无限循环的二进制小数，无法用浮点数（IEEE 754标准）精确存储，实际存储的是一个接近真实值的近似值。

2. 为什么d显示为9.0？
   Python解释器对(a-b)/((a-b)/9)这类可简化的表达式做了常量折叠优化，直接返回数学上的精确结果9.0，跳过了浮点数除法的精度损失环节，因此print(d)显示9.0。

3. 为什么e = (a-b)//c得到8.0？
   //运算没有被优化，实际执行的是整数12500除以浮点数c（12500/9的近似值）。由于c的实际存储值略大于真实的12500/9，导致12500/c的计算结果略小于9.0，而//是向下取整运算符，最终返回8.0。

4. 为什么math.floor(d)得到9？
   因为d被解释器优化为精确的9.0，math.floor(9.0)自然返回9。

验证代码 #

你可以打印变量的精确浮点表示（用repr()而非默认的字符串格式化）来确认：

import math
a = 18000
b = 5500
c = (a-b)/9
print(f"c的精确值: {repr(c)}")
d = (a-b)/c
print(f"d的精确值: {repr(d)}")
e = (a-b)//c
f = math.floor(d)
print(f"(a-b)/c={d}, (a-b)//c={e}, floor={f}")

运行后会看到c的精确值并非完美的1388.888...，而d的精确值是9.0。

总结：你的理解是正确的——对于正数，num1//num2等价于math.floor(num1/num2)，本次差异是解释器优化让d跳过了浮点数精度损失，而//运算使用了真实的近似浮点值计算导致的。

内容的提问来源于stack exchange，提问作者Cosmin Vrinceanu