浮点数Flush规则不对称及Double类型最值与ulp关系的技术疑问
这问题问得特别戳中浮点数表示的核心细节——非规格化数（denormal numbers）的存在，以及规格化/非规格化数在ulp计算上的本质差异，咱们一步步拆解清楚：
一、先搞懂ulp的本质：为什么Double.MIN_VALUE等于它的ulp，而Double.MAX_VALUE不等于？
首先明确Math.ulp(x)的定义：给定浮点数x，相邻两个可表示浮点数之间的最小差值。双精度浮点数的结构是「1位符号位 + 11位指数位 + 52位尾数位」，这里的关键区别在于规格化数和非规格化数的存储方式：
规格化数：指数位不为0（存储值12046，对应真实指数-10221023），此时尾数隐含一个前置的
1，所以实际尾数范围是1.0 ≤ m < 2.0。这类数的ulp计算规则是ulp(x) = 2^(真实指数 - 52)——因为尾数有52位精度，相邻数的差是尾数最低位的权重。- Double.MAX_VALUE是最大的规格化数：
(2 - 2^-52) * 2^1023，真实指数是1023，所以ulp是2^(1023-52) = 2^971 ≈ 1.99584E292，显然远小于自身（1.79769E308），所以Double.MAX_VALUE != Math.ulp(Double.MAX_VALUE)。
- Double.MAX_VALUE是最大的规格化数：
非规格化数：指数位为0（对应真实指数-1022），此时尾数没有隐含的
1，实际尾数范围是0 < m < 1.0，用来表示接近0的极小值。这类数的ulp是固定的2^-1074——也就是Double.MIN_VALUE本身，因为所有非规格化数的增量都是这个值。- Double.MIN_VALUE是最小的正非规格化数：
2^-1074，下一个可表示的正浮点数是2*2^-1074，两者的差就是2^-1074，所以Double.MIN_VALUE == Math.ulp(Double.MIN_VALUE)。
- Double.MIN_VALUE是最小的正非规格化数：
二、flush to zero和flush to infinity的触发规则为什么不对称？
这本质是浮点数的范围和舍入规则共同作用的结果：
1. Flush to Infinity的触发逻辑
当一个数的绝对值超过最大规格化数的舍入边界时，会触发flush to infinity。最大规格化数是Double.MAX_VALUE，它的上舍入边界是Double.MAX_VALUE + Math.ulp(Double.MAX_VALUE)/2——因为按照默认的「四舍五入到最近值，偶数优先」规则，超过这个边界的数无法用任何规格化/非规格化数表示，只能溢出到无穷大。
这里的核心是：规格化数的上限是指数位能表示的最大值，一旦超过这个范围，没有更“精细”的存储方式可以扩展，直接溢出到无穷大。
2. Flush to Zero的触发逻辑
当一个数的绝对值小于最小非规格化数的一半时，会触发flush to zero。最小非规格化数是Double.MIN_VALUE，它的一半是Math.ulp(Double.MIN_VALUE)/2 = 2^-1075——因为按照舍入规则，小于这个值的数，离0的距离比离Double.MIN_VALUE更近，所以会被舍入为0。
这里的关键是非规格化数的存在：浮点数在接近0的区域有一段“扩展精度”的非规格化区间，用来表示极小值，但当数值小到连这个区间的最小增量的一半都不到时，就只能被舍入为0。
3. 不对称的根源
- 浮点数的数值范围本身就是不对称的：从0到Double.MAX_VALUE的跨度，和从Double.MIN_VALUE到0的跨度完全不在一个量级；
- 非规格化数只存在于接近0的一侧，为0附近提供了更细的粒度，而无穷大一侧没有类似的“扩展区间”——指数位已经到顶，无法再扩展；
- 舍入边界的计算逻辑不同：无穷大的边界是基于最大规格化数的ulp一半，而flush to zero的边界是基于最小非规格化数的ulp一半，两者的基准本身就不对称。
三、纠正你的误解：为什么flush to zero不是在Double.MIN_VALUE - ulp(Double.MIN_VALUE)触发？
你之前的想法有个小错误：Double.MIN_VALUE是最小的正浮点数，Double.MIN_VALUE - Math.ulp(Double.MIN_VALUE)其实是负数（结果为-4.9E-324），显然这和正方向的flush to zero无关。实际触发flush to zero的正数值是小于Math.ulp(Double.MIN_VALUE)/2，也就是小于2.45E-324的数，这些数无法被任何双精度浮点数精确表示，舍入后就变成0。
内容的提问来源于stack exchange，提问作者inqi777
