math.nextup()返回与参数在浮点数序中紧邻的下一个更大值，适用于double/float类型；对nan、正无穷原样返回，对-0.0返回0.0，对double.max_value返回正无穷。
Math.nextUp() 的基本行为和适用范围
Math.nextUp() 返回比给定 double 或 float 值在浮点数序中紧邻的下一个更大值，也就是“上一个可表示的浮点数”。它不依赖于数值大小或精度设置，而是严格按 IEEE 754 二进制表示的位模式递增。
- 只对有限数有效：传入
Double.POSITIVE_INFINITY、Double.NaN或Double.NEGATIVE_INFINITY时，原样返回该值 - 对
-0.0返回0.0（因为 IEEE 754 中 -0.0 和 0.0 是不同位模式，且 -0.0 - 对最大有限正数（如
Double.MAX_VALUE），会跳到Double.POSITIVE_INFINITY
System.out.println(Math.nextUp(1.0)); // 1.0000000000000002 System.out.println(Math.nextUp(-0.0)); // 0.0 System.out.println(Math.nextUp(Double.MAX_VALUE)); // Infinity
为什么不能用它做“加一个很小的 epsilon”
很多人误以为 Math.nextUp(x) 是一种通用的“微小增量”工具，比如想让 x += epsilon 更安全。但它的步长完全取决于 x 所处的指数段：
- 在
1.0附近，ULP（Unit in Last Place）是2^-52 ≈ 2.22e-16 - 在
1e10附近，ULP 变成2^-42 ≈ 2.27e-13—— 大了约 1000 倍 - 在
1e-10附近，ULP 缩小为2^-62 ≈ 2.17e-19
这意味着：
-
Math.nextUp(1e10)和Math.nextUp(1e10 + 1)的差可能远大于 1，导致“跳过”整数 - 如果你本意是“加一个固定小量”，比如避免除零或做扰动，直接用
1e-12或Double.MIN_NORMAL更可控
和 Math.nextAfter() 的关键区别
Math.nextUp(x) 等价于 Math.nextAfter(x, Double.POSITIVE_INFINITY)，但二者语义和边界处理略有不同：
-
Math.nextAfter(x, y)根据y的大小决定方向：若y > x则向上，y 则向下，<code>y == x则返回x -
Math.nextUp(x)总是向上，哪怕x是Double.NEGATIVE_INFINITY（此时返回最接近负无穷的有限负数） - 性能上无实质差异，但
nextUp更明确表达“严格递增一个 ULP”的意图
常见误用：
-
Math.nextUp(Double.NEGATIVE_INFINITY)返回的是-Double.MAX_VALUE，不是-Double.MAX_VALUE + ulp - 对
Float类型请用Math.nextUp(float)重载，别混用double版本，否则隐式提升会改变 ULP 量级
实际能用在哪几个地方
真正需要 Math.nextUp() 的场景其实很窄，典型包括：
- 浮点数区间比较时避免边界相等带来的不确定性，例如实现
exclusiveUpperBound：if (x
- 单元测试中验证某个算法是否恰好产出“最小可能的正值”或“紧邻某阈值的值”
- 构造浮点数测试用例，比如生成一对相邻浮点数来检验
==或compareTo行为 - 数值库内部做 ULP-aware 的误差分析，例如判断两个结果是否在 1 ULP 内
它不适合用于：
- 替代
+= 1e-10做数值扰动 - 实现自定义步进循环（如
for (double x = a; x —— 很可能无限循环或漏点） - 任何假设“步长恒定”的逻辑
浮点数的“下一个值”本质上是离散地址空间里的下一条内存位模式，不是数学意义上的连续增量。用错地方时，问题往往不会立刻报错，而是悄悄引入难以复现的偏差。
