ulp是浮点数的最小可分辨差值,即相邻可表示浮点数间的距离;它随数值增大而增大、符号不影响、float精度低于double,用于量化“0.1+0.2≠0.3”的误差量级。

Math.ulp() 本身不修正精度问题,但它能**量化当前数值下浮点数的最小可分辨差值**,是理解“为什么0.1 + 0.2 ≠ 0.3”以及“误差到底有多大”的关键工具。
ulp 是什么:浮点数的“最小步长”
ulp(unit in the last place)表示在给定数值附近,该类型(float 或 double)能表示的两个相邻浮点数之间的距离。它不是固定值,而是随数值大小动态变化:
- 数值越小,ulp 越小 → 精度越高(例如 Math.ulp(1.0) ≈ 2.22e-16)
- 数值越大,ulp 越大 → 精度越低(例如 Math.ulp(1e16) = 1024.0,意味着 1e16 和下一个可表示 double 差了 1024)
- 符号不影响 ulp(Math.ulp(-1.0) == Math.ulp(1.0))
- float 的 ulp 比同值 double 大得多(例如 Math.ulp(1.0f) ≈ 1.19e-7),说明单精度更粗糙
用 ulp 解释“0.1 + 0.2 ≠ 0.3”
运行以下代码:
System.out.println(Math.ulp(0.1)); // ≈ 1.3877787807814457e-17
System.out.println(Math.ulp(0.2)); // ≈ 2.7755575615628914e-17
System.out.println(Math.ulp(0.3)); // ≈ 4.163336342344337e-17
立即学习“Java免费学习笔记(深入)”;
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
这说明:0.1、0.2、0.3 各自的“最小步长”不同,且它们在二进制中都**无法精确表示**——实际存储的是最接近的 double 近似值。加法结果(0.30000000000000004)与理想值 0.3 的偏差约为 4.4e-17,这个误差量级就落在 0.3 的 ulp 范围内(
ulp 如何辅助选择修正策略
知道 ulp 后,你能理性判断误差是否“可接受”,从而选对方案:
-
科学/工程比较:若需判断 a ≈ b,用
Math.abs(a - b) < Math.ulp(Math.max(Math.abs(a), Math.abs(b))) * tolerance(tolerance 常取 1–2),比固定 EPSILON 更合理 - 调试精度敏感逻辑:打印关键中间值的 ulp,确认误差是否在预期范围内(例如,累加 1000 次 0.1 后,sum 的 ulp 若为 1e-13,而偏差达 1e-12,就提示累积误差已放大)
- 理解 BigDecimal 的必要性:观察到 0.1 的 ulp 是 ~1.4e-17,但业务要求金额精确到分(1e-2),误差超 15 个数量级 → 浮点数根本不可靠,必须换十进制精确类型
-
评估整数放大法的安全性:若要放大 1000 倍处理 0.123,先算
Math.ulp(0.123) * 1000 ≈ 1.4e-14,说明放大后误差仍远小于 1,整数运算可行;但对 1e15 * 0.1,ulp 已达 1e-1,放大易失准
注意:ulp 不是万能的“修复开关”
ulp 只描述底层表示能力,不能改变 float/double 的固有局限。它不解决存储问题,也不替代正确类型选择:
- 它不能让 0.1 精确存储 —— 那是 IEEE 754 的设计决定
- 它不提供高精度运算能力 —— 加减乘除仍按浮点规则执行
- 它不消除舍入链式效应 —— 多次 ulp 级误差可能累积成可观偏差
真正解决问题,仍需回归场景:金额用 BigDecimal,高性能计数用整数缩放,近似比较用带 ulp 的容差判断。

















