math.nextup 和 math.nextdown 是基于 ieee 754 ulp 的精确浮点邻值获取方法：nextup 返回紧邻上一个可表示值（正数增大、负数向零、0.0→最小正正规数），nextdown 返回紧邻下一个可表示值（正数减小、负数更负、0.0→最小负正规数），对无穷大和 nan 保持原值。
Math.nextUp 和 Math.nextDown 是 Java 中用于获取浮点数在 IEEE 754 浮点表示中“紧邻下一个”或“紧邻上一个”的浮点值的工具方法，它们不依赖于数值大小，而是基于二进制表示的**机器精度（ulp）**精确跳转。
作用原理：按位相邻，不是数学意义上的“加减1”
这两个方法不是简单地对数字加减一个固定小数（比如 0.001），而是找到该浮点数在 double 或 float 的 IEEE 754 编码下，**二进制表示恰好增加或减少 1 个最低有效位（ULP）** 对应的值。这保证了结果是该类型下严格相邻的可表示浮点数。
- 对于正数：
Math.nextUp(x)返回比x稍大的最小可表示 double；Math.nextDown(x)返回比x稍小的最大可表示 double。 - 对于负数：
nextUp向零方向“上升”（即负得更少），nextDown向负无穷方向“下降”（即负得更多）。 - 对
0.0：nextUp(0.0)返回最小正正规数（Double.MIN_NORMAL），nextDown(0.0)返回最小负正规数（-Double.MIN_NORMAL）。 - 对无穷大/NaN：
nextUp(Double.POSITIVE_INFINITY)仍返回POSITIVE_INFINITY；nextDown(Double.NEGATIVE_INFINITY)仍返回NEGATIVE_INFINITY；NaN 输入返回 NaN。
基本用法示例
直接传入 double 或 float 值即可，有重载版本：
-
Math.nextUp(1.0)→ 返回略大于 1.0 的 double，即1.0 + Double.MIN_VALUE（实际是 1.0 的 ulp，约为2.220446049250313E-16） -
Math.nextDown(-2.5)→ 返回比 -2.5 更小（更负）的相邻 double -
Math.nextUp(0.0f)→ 返回Float.MIN_NORMAL（约1.17549435E-38）
典型适用场景
这些方法常用于需要精确控制浮点边界、避免相等情况的数值计算中：
-
开区间逼近：比如想表达
x ∈ (a, b)，可用a ，但如果 <code>a或b是计算所得浮点值，为避免因舍入导致边界误判，可改用Math.nextUp(a) 来安全映射闭区间逻辑 -
单元测试断言容差替代：当需验证两个计算结果“严格不等”但又非常接近时，可用
assertThat(result, not(equalTo(Math.nextUp(expected))))类方式强化判断 -
生成浮点网格或步进序列：在无法用固定步长（如 0.1）均匀覆盖区间时，可用
nextUp迭代生成机器可表示的最密采样点
注意事项
使用时需注意类型匹配和边界行为：
- 方法名含
Up/Down是相对于**实数轴方向**，不是内存位模式的“高位递增” - 务必区分
double和float版本（如Math.nextUp(float)返回 float），混用可能引入隐式转换误差 - 不要用于替代
==判断相等性——浮点比较仍应优先用带 epsilon 的近似比较 - 性能开销极小，底层调用的是 JVM 的 native 实现，可放心在循环中使用
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
