Math.ulp() 返回指定浮点值在IEEE 754精度下可表示的最小正差值，其值随数值绝对值增大而增大，对0.0返回Double.MIN_NORMAL的ulp，对NaN或无穷大返回NaN。
math.ulp() 是 java 中用于获取浮点数“单位最后一位”（unit in the last place）的工具方法，它返回指定浮点值在当前 ieee 754 精度下可表示的最小正差值，即该数值邻近可表示数之间的间距。这在浮点误差判定、断言容差比较、数值稳定性分析中非常实用。
理解 ulp 的物理意义
ulp 不是固定常量，而是随数值大小动态变化的：
- 对绝对值越大的浮点数，ulp 越大（精度越低）；
- 对靠近 0 的数（包括 subnormal 数），ulp 会变小，但
Math.ulp(0.0)返回的是最小正规格化数的 ulp（即Double.MIN_NORMAL的 ulp，约 2⁻¹⁰⁷⁴）； - 对
Double.NaN、无穷大等特殊值，ulp()返回 NaN。
正确调用 Math.ulp() 的方式
Java 提供两个重载方法：Math.ulp(double d) 和 Math.ulp(float f)。
使用时注意：
- 传入待分析的**具体浮点值**（不是类型或范围），例如
Math.ulp(1.0)返回 2⁻⁵² ≈ 2.22e−16； - 若需以 ulp 为单位判断误差，应基于**期望值**（而非实际计算值）调用 ulp，因为容差应围绕参考基准定义；
- 避免对 0.0 直接做 ulp 比较误差（除非明确需要 subnormal 区域精度），通常改用
Math.ulp(Double.MIN_NORMAL)或设定绝对阈值更稳妥。
用 ulp 实现稳健的浮点相等判定
相比固定容差（如 1e−9），基于 ulp 的比较能自适应不同数量级的数值：
- 先计算两数之差的绝对值：
double diff = Math.abs(a - b); - 取参考值（常用期望值
b或两者中绝对值较大者）的 ulp：double unit = Math.ulp(Math.max(Math.abs(a), Math.abs(b))); - 判断是否在 N 个 ulp 内：
diff （常见 N=1～4，视算法精度要求而定）； - 对零值需单独处理，例如：
if (a == 0.0 && b == 0.0) return true;或用Double.compare(a, b) == 0辅助。
典型误区与注意事项
- 不要对计算结果本身调用 ulp 做容差基准——误差应相对于理论真值或高精度参考值；
- ulp 对负数仍返回正值，因它是间距概念，与符号无关；
- float 的 ulp 比 double 大得多（精度低），混用时需统一类型或显式转换；
- 在循环迭代或累积误差场景中，ulp 可用于动态调整收敛阈值，但需注意 ulp 随当前迭代值变化，可能影响收敛行为。
