如何计算单精度浮点数可表示的下一个更大离散值？

给定单精度浮点数：

十进制值：0.999989986419677734375
32位二进制表示：00111111011111111111111101011000

要找到比它大的最小可表示离散值，核心思路是利用单精度浮点数的二进制存储特性，步骤如下：

步骤1：将32位二进制表示转换为无符号整数 #

单精度浮点数的32位二进制串（非特殊值，如NaN、无穷大）可直接当作无符号整数处理。给定的二进制串00111111011111111111111101011000对应的十六进制是0x3F7FF580，转换为十进制无符号整数为1065326936。

步骤2：对无符号整数加1 #

给该整数加1，得到新的无符号整数：1065326937，对应的十六进制是0x3F7FF581，32位二进制表示为00111111011111111111111101011001。

步骤3：将新的二进制串转换回单精度浮点数 #

按单精度浮点数的结构解析新二进制串：

• 符号位（第1位）：0，表示正数；
• 指数位（第2-9位）：01111110，十进制为126，单精度指数偏移量为127，因此实际指数为126-127=-1；
• 尾数位（第10-32位）：11111111111111101011001，规格化浮点数的尾数实际值为1 + 尾数位对应的二进制分数。

计算最终十进制值：
尾数分数部分转换为十进制是0.999980926513671875，加1后得到1.999980926513671875，再乘以2^-1（即0.5），结果为0.999990046024322509765625。

方法原理 #

单精度规格化正数的32位二进制表示作为无符号整数时，其数值大小与浮点数本身的大小严格单调递增。因此给该整数加1，就能得到比原数大的最小可表示值，两者之间不存在其他可表示的单精度浮点数。

内容的提问来源于stack exchange，提问作者Isaaс Weisberg