math.nextup() 返回ieee 754下紧邻给定浮点数的下一个可表示值：对正数增大、负数向零靠近、max_value返回infinity、nan返回nan，且比x+ulp(x)更精确可靠。
Math.nextUp() 是 Java 提供的一个精确、安全的工具，用于获取比给定浮点数**大一点**的、在 IEEE 754 浮点格式下**紧邻的下一个可表示值**。它不依赖手动计算或误差估算，直接利用浮点数的二进制布局（如 float 的 23 位尾数、double 的 52 位尾数）做“加一”式的 ulp（unit in the last place）递增。
核心行为：严格按浮点数序递进
该方法对正数、负数、零、次正规数均有效，且逻辑清晰：
- 对正数（包括 +0.0），返回**更大的下一个可表示值**（例如
Math.nextUp(1.0f)返回略大于 1.0 的最小 float） - 对负数（包括 -0.0），也返回**数值上更大**的值（即向零方向靠近），比如
Math.nextUp(-1.0f)返回略大于 -1.0 的 float（即 -0.99999994） - 对
Float.MAX_VALUE或Double.MAX_VALUE，返回Infinity - 对
Infinity，仍返回Infinity；对NaN，返回NaN
用法示例：直观看到“下一个值”是什么
以 float 为例：
float x = 1.0f; float next = Math.nextUp(x); // ≈ 1.0000001f System.out.println(Float.toHexString(x)); // 0x1.0p0 System.out.println(Float.toHexString(next)); // 0x1.000002p0（尾数最后一位 +1）
再看一个更敏感的例子：
float tiny = Float.MIN_NORMAL; // 最小正规格化数 ≈ 1.17549435E-38 float nextTiny = Math.nextUp(tiny); // 返回稍大的下一个正规数 System.out.println(nextTiny > tiny); // true
与手算 ulp 的区别：别自己折腾
有人试图用 x + Math.ulp(x) 模拟 nextUp，但二者不等价：
-
Math.ulp(x)返回的是 x 所在量级的最小精度单位（即“1 ulp”），但它是一个**正值**，加在 x 上可能因舍入误差跳过真正相邻值 -
Math.nextUp(x)是原子操作，保证返回**严格下一个可表示值**，即使 x 是次正规数或跨数量级边界（如从最大次正规数到最小正规数） - 尤其对负数，
x + Math.ulp(x)可能反而变小（因为 ulp 为正），而nextUp始终向数值增大方向走
适用场景：需要确定性浮点遍历或容差比较时
典型用途包括：
- 在浮点区间内做**无遗漏的离散步进**（如测试边界行为）
- 实现严格单调的浮点序列生成器
- 构造“略大于某值”的哨兵值（例如
if (value > threshold) {...}中，用Math.nextUp(threshold)作为安全阈值上限） - 调试浮点舍入问题，观察相邻值变化
