IEEE浮点标准中非规格化数的渐进下溢与精度疑问咨询

• 你对规格化/非规格化单精度浮点数的最小绝对值计算完全正确：
  • 规格化场景下绝对值最小的数值为 1.0 × 2^-126
  • 非规格化场景（指数位全0）下最小数值为 2^-150（仅尾数最后一位为1时）

关于“渐进下溢且精度逐渐降低”的解释 #

你之前理解的“趋近于0且精度不变”是**直接下溢归零（flush to zero）**的逻辑，而非规格化数的渐进下溢是另一种设计：

1. 规格化数的精度特性：规格化数的尾数隐含前导1，因此所有规格化数都拥有24位有效二进制精度（23位显式尾数+1位隐含前导1），相邻两个规格化数的间隔是固定的。比如在2^-126附近，相邻数的间隔为 2^-126 × 2^-23 = 2^-149。
2. 非规格化数的精度变化：进入非规格化区域后，尾数不再隐含前导1，数值表示为 尾数 × 2^-127：
   • 相邻非规格化数的间隔固定为 2^-150，比规格化数在最小区域的间隔小一半，实现了向0的平滑过渡，而非直接跳转到0
   • 精度会逐渐降低：越靠近0的非规格化数，有效二进制位数越少。比如2^-127（尾数第一位为1）仍有24位有效精度，但2^-150（尾数最后一位为1）仅剩下1位有效精度，中间的数值有效位数从24位逐步降到1位
3. 渐进下溢的本质：让数值可以连续地趋近于0，同时随着数值减小，精度逐步丢失，而非突然丢失所有精度后直接归零。

内容的提问来源于stack exchange，提问作者Jin