Python中指数幂精度疑问：为何5*10**-6与0.000005不相等？

为什么会出现这种不等的情况？ #

Python默认使用IEEE 754双精度浮点数存储小数，这种格式的核心限制是：只能精确表示分母为2的整数次幂的分数（比如1/2、1/4、3/8等）。对于包含其他质因数（比如5）的十进制小数，只能存储其近似值。

• 对于5*10**-3 == 0.005：虽然0.005本身是1/200（分母含5²），属于无法精确表示的小数，但5*10**-3的计算过程（先算10⁻³再乘5）得到的浮点数近似值，和直接写入0.005时Python生成的近似值恰好完全一致，所以相等判断返回True。
• 对于5*10**-6 == 0.000005：同样，0.000005是1/200000（分母含5⁵），无法精确表示。但这次5*10**-6的计算结果和直接写0.000005的浮点数近似值存在微小的二进制差异，导致相等判断返回False。你可以打印两者的高精度浮点数表示来验证：

  format(5*10**-6, '.20f')
  # 输出: 0.00000500000000000000
  format(0.000005, '.20f')
  # 输出: 0.00000499999999999999
  

更精确的幂运算实现方式 #

如果需要精确的十进制数值运算，推荐使用Python标准库中的decimal模块，它支持自定义精度的十进制计算：

from decimal import Decimal, getcontext

# 设置精度（可根据需求调整）
getcontext().prec = 20

# 用Decimal进行运算
num1 = Decimal(5) * Decimal(10) ** Decimal(-6)
num2 = Decimal('0.000005')

print(num1 == num2)  # 输出: True

另外，如果需要完全精确的分数运算（避免浮点数近似），可以使用fractions模块：

from fractions import Fraction

num1 = Fraction(5) * Fraction(10) ** Fraction(-6)
num2 = Fraction('0.000005')

print(num1 == num2)  # 输出: True

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