应使用Math.nextDown(x)获取“下一个最小可表示数值”，它返回小于x的最接近可表示浮点值；Math.nextUp(x)则用于向上找紧邻更大值，适用于避免舍入误差、构造上界等场景。
注意：Math.nextUp() 的作用是返回当前浮点数在数轴上“紧邻的下一个更大的可表示值”，而不是“下一个最小”的值。
也就是说，它不用于获取更小的相邻数，而是向上找最近的、能被 IEEE 754 浮点格式精确表示的数。
那“下一个最小可表示数值”该怎么获取？
要得到比当前浮点数更小但最接近它的可表示值（即“前一个可表示数”），应使用：
Math.nextDown(x) —— 这才是你要的方法。
- 对于任意有限的 float 或 double 值 x，
Math.nextDown(x)返回数轴上小于 x 的、离 x 最近的可表示浮点值。 - 它等价于对 x 的二进制表示（按 IEEE 754 规则）将位模式减 1（考虑符号和规格化/非规格化边界），再转回浮点数。
例如：
-
Math.nextDown(1.0)→0.99999994（float）或0.9999999999999999（double） -
Math.nextDown(0.0f)→-0.0f（注意：-0.0 是比 +0.0 “更小”的可表示值） -
Math.nextDown(Float.MIN_NORMAL)→Float.MIN_VALUE（即最小正非规格化数）
Math.nextUp() 的真实用途是什么？
它用于向上逼近、避免相等比较误差、构造区间上界等场景：
- 当需要确保计算结果严格大于某个值（如
x + ε），可用Math.nextUp(x)替代手工加小常量（避免 ε 太小被舍入掉） - 测试浮点数边界行为，比如验证
f(x) > x是否成立 - 实现安全的“开区间”比较：若想表达
y ∈ (a, b]，可用y > Math.nextDown(a) && y
关键细节提醒
- 对
Double.POSITIVE_INFINITY或Float.POSITIVE_INFINITY调用nextUp()仍返回无穷大；对NEGATIVE_INFINITY调用nextDown()同理 - 对 NaN 输入，两个方法都直接返回 NaN
- 对于 -0.0：
Math.nextUp(-0.0)返回0.0；Math.nextDown(-0.0)返回负的最小非规格化数（即比 -0.0 更小的数） - 这些方法在
strictfp模式下行为一致，不受 JVM 优化影响
不复杂但容易忽略：名字里的 “Up” 和 “Down” 指的是数轴方向，不是“精度提升”或“向下取整”。
