为何浮点数尾数的位宽可表示的整数数量是int的两倍？

一、double类型为何用52位尾数就能精确表示[-(2⁵³−1), 2⁵³−1]的整数 #

C++里的double遵循IEEE 754双精度浮点数标准，存储结构分为符号位（1位）、指数位（11位）、尾数位（52位）。

核心在于规范化浮点数的隐藏位机制：当double表示非零的规范化数值时，尾数的二进制形式默认以1.xxxxxx...开头（类似十进制科学计数法的1.xx×10^n），这个最高位的1不需要实际存在于52位的尾数存储区，是隐含的。如此一来，实际参与计算的有效尾数位数就是52+1=53位。

对于整数而言，只要它的二进制位数不超过53位，就能被这53位有效尾数完整覆盖，自然可以被精确表示。2⁵³−1是二进制53位全1的数，-(2⁵³−1)是它的负数，这个范围内的所有整数都能被无误差存储。

二、int16为何无法用同样方式翻倍可表示的整数数量 #

int16是定点整数类型，采用补码规则存储，和浮点数的科学计数法逻辑完全不同：

• int16的16位中，最高位是符号位，剩下的15位直接表示数值的绝对值部分。
• 补码规则明确：全0表示0，最高位为1时代表负数，其中1000000000000000对应-2¹⁵；最高位为0时代表正数，最大正数是0111111111111111即2¹⁵−1。

定点整数没有“隐藏位”的操作空间：它不需要像浮点数那样用科学计数法规范化，每一位都直接参与数值计算，没有默认的最高位1可以省略。如果想让int16的可表示整数数量翻倍，必须额外增加存储位，但int16的位数固定为16位，符号位已经占去一位，剩余15位无法通过隐藏位“挤”出额外有效位——毕竟定点数的每一位都直接对应数值的二进制位，没有可省略的默认高位。

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