32位浮点数在0到1区间内可表示的数值总个数是多少

核心结论 #

你提到的(2**24) - 1并非32位IEEE 754浮点数在[0,1]全区间可表示的不同数值总数，该结果属于特定场景下的统计值，我们可以通过浮点数结构拆解得到准确统计结果。

计算逻辑 #

IEEE 754 32位单精度浮点数的结构如下：

• 1位符号位：统计正区间时固定为0
• 8位指数位：偏置值为127
• 23位尾数位：规格化数默认携带隐式前导1，数值为1.尾数
  我们分类型统计[0,1]区间的不同数值：

1. 数值0：仅1种表示，对应指数位全0、尾数位全0
2. 非规格化正数：分布在区间(0, 2^-126)，对应指数位全0、尾数位不全为0，总数量为 2^23 - 1
3. 规格化正数：分布在区间[2^-126, 1)，要满足数值小于1，指数位取值范围为1~126（共126个有效取值），每个指数对应2^23种尾数位组合，总数量为 126 * 2^23
4. 数值1：仅1种表示，对应指数位为127、尾数位全0

最终统计结果 #

• 半开区间[0, 1)的总可表示数值数量：1 + (2^23 - 1) + 126 * 2^23 = 127 * 2^23 = 1065353216
• 闭区间[0, 1]的总可表示数值数量：1065353216 + 1 = 1065353217

(2**24) - 1对应的适用场景 #

这个结论通常对应两种常见场景：

• 24位无符号定点小数（小数点位于最高位之前）去掉0之后的可表示数总量，所有这类数值都可以被32位浮点数精确表示
• 32位浮点数在[1, 2)区间的可表示数总量为2^23，如果统计(0, 2)区间内所有精度为24位的精确整数，去掉两端端点后也会得到2^24 - 1的结果

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