math.nextup() 返回比给定 double 值大一个 ulp 的最小浮点数，ulp 随数值大小动态变化，如 nextup(0.0) 为 4.9e-324、nextup(1.0) 为 1.0000000000000002，对 double.max_value 返回 infinity。

Math.nextUp() 是 Java 提供的一个精确工具，用于获取比给定 double 值**大一个 ULP（Unit in the Last Place）** 的最小浮点数。它不依赖四舍五入或加法近似，而是直接定位 IEEE 754 双精度格式下紧邻的下一个可表示值。

理解 nextUp 的核心行为

ULP 是当前数值所在量级下，能表示的两个相邻浮点数之间的差值。这个差值不是固定值（比如 1e-16），而是随数值大小动态变化：

• 对绝对值较小的数（如接近 0），ULP 极小（例如 Math.nextUp(0.0) 返回的是 4.9e-324）
• 对较大的数（如 1.0），ULP 是 2^-52 ≈ 2.22e-16
• 对 Double.MAX_VALUE，nextUp 会返回 Infinity（因为已无更大有限值）

基本用法与示例

直接传入一个 double 变量即可：

double x = 1.0;
double next = Math.nextUp(x); // 结果为 1.0000000000000002（即 1 + 2^-52）

也可用于负数（注意：它仍返回“稍大”的值，即更靠近零或更大的负数）：

double y = -1.0;
double nextNeg = Math.nextUp(y); // 返回 -0.9999999999999998，比 -1.0 大

常见使用场景

• 浮点比较容错：判断 a 时，避免因精度误差误判，可改用 <code>a
• 区间边界微调：在生成严格开区间 (a, b) 的随机数时，确保结果不会意外等于 b，可用 nextUp(a) 和 nextDown(b) 缩小边界
• 测试边界条件：验证算法在浮点极限值附近的行为，例如检查 nextUp(Double.MIN_NORMAL) 是否正确进入次正规数范围

注意事项

该方法不适用于 NaN 或 Infinity 输入（会原样返回）；若需处理 float，应使用 Math.nextUp(float) 重载版本，避免隐式转换损失精度。