Python decimal.Context.create_decimal_from_float 怎么避免浮点误差：上下文精度与舍入检查

订单金额从 JSON 读成了 float，再写入 Decimal 时多出一串并不想展示的数字，这个问题通常不是 Decimal 算错，而是转换入口没有明确精度。Context.create_decimal_from_float() 的价值在于：它把 float 转换放进指定的 Context，让精度、舍入方式和异常陷阱一起生效。

如果输入已经是 float，就用明确的 Context 做一次受控转换；如果业务要求十进制文本原样准确，优先从字符串构造 Decimal，不要先经过 float。

先区分 float 转换和十进制文本转换

Python 文档把两条路径分得很清楚：create_decimal_from_float() 接收的是二进制浮点数，并按当前 Context 应用精度和舍入；Context.create_decimal() 从字符串创建 Decimal，也会使用 Context，但输入本身已经是十进制文本。

所以，数据库里保存的金额文本、配置文件里的利率，最好在进入业务层时就保持字符串；只有确实拿到 float，才需要讨论如何把它收敛到目标精度。

用同一个 Context 观察精度和舍入结果

下面的示例固定 prec=5 和 ROUND_DOWN，并把字符串路径放在旁边比较。运行命令是 python3 article_example.py。

from decimal import Context, Inexact, ROUND_DOWN
import math

context = Context(prec=5, rounding=ROUND_DOWN)
rounded = context.create_decimal_from_float(math.pi)
exact_text = context.create_decimal("3.1415926")

print("float=", repr(math.pi))
print("create_decimal_from_float=", rounded)
print("create_decimal(text)=", exact_text)
print("flags_after_round=", sorted(signal.__name__ for signal, enabled in context.flags.items() if enabled))

首行显示的是 float 的真实二进制近似值；第二行已经按五位有效精度和向下舍入得到 3.1415。这里别只看打印出来的 Decimal，还要看 flags：它记录了这次转换是否发生了不精确处理。

把 Inexact 变成明确的失败信号

报表展示可以接受舍入，但清算、计量或对账场景往往不能静默接受。给 Context 加上 Inexact trap 后，转换遇到无法在五位精度内准确表示的 float，会抛出 Inexact，调用方可以记录原始输入并转人工处理。

strict = Context(prec=5, traps=[Inexact])
try:
    strict.create_decimal_from_float(math.pi)
except Inexact as error:
    print("strict_trap=", type(error).__name__)

这个控制点比事后比较小数位更可靠，因为检查发生在转换边界。若业务允许舍入，可以读取 context.flags 并清理 flags；若不允许，则使用 traps，让异常进入原有的错误处理路径。

生产代码里别忽略 Context 的生命周期

• 不要把全局 Context 当成临时变量反复修改；金额、计量和统计最好为不同规则创建清晰命名的 Context。
• 转换后要决定是否清理 flags。flags 是累积状态，不清理就无法判断信号来自哪一次操作。
• 舍入模式必须写成业务规则的一部分，ROUND_DOWN 不是通用的“保留两位小数”方案。
• NaN、Infinity 和极端指数仍需单独定义处理策略，不能只测试 math.pi。

常见问题

为什么不用 Decimal(math.pi)？

它会把 float 的精确二进制值带入 Decimal，通常会看到很长的小数。需要受控精度时，用 Context 转换并明确舍入。

create_decimal_from_float 会修改原来的 float 吗？

不会。它返回新的 Decimal，原 float 仍是原来的二进制浮点值。

flags 和 traps 应该怎么选？

允许舍入时读取并记录 flags；不允许静默舍入时配置 Inexact trap，并在边界捕获异常。

字符串金额还需要先转 float 吗？

不需要。字符串本来就是十进制表示，直接用 Context.create_decimal 或 Decimal 构造，少走一次二进制浮点路径。

小结

create_decimal_from_float() 解决的是“已经拿到 float，如何在转换边界控制精度”的问题。真正重要的不是记住一个函数名，而是把 Context 的 prec、rounding、flags 和 traps 当成同一组验收条件；输入若能保持为字符串，就不要无缘无故绕经 float。