如何计算7位指数9位尾数的16位浮点数范围？兼分数整数对比

首先明确该16位浮点数的编码规则（对齐常规自定义浮点数逻辑）：

• 总位数16位，结构为 1位符号位(S) + 7位指数位(E) + 8位存储尾数位(M)，其中有效尾数为9位（包含隐含的最高位1，仅针对规范化数）
• 指数采用偏移编码，偏移量Bias = (2^{7-1} -1 = 63)（7位指数的标准偏移量）
• 数值计算规则：
  1. 规范化数（指数位非全0、非全1）：
     [ \text{Value} = (-1)^S \times (1.M_{\text{binary}}) \times 2^{(E_{\text{unsigned}} - 63)} ]
     其中 (1.M_{\text{binary}}) 是二进制带小数的数，例如存储尾数为00000000时数值为1.0，存储尾数为11111111时数值为 (2 - 2^{-8})
  2. 非规范化数（指数位全0）：
     用于表示接近0的极小值，此时隐含位为0，数值为：
     [ \text{Value} = (-1)^S \times (0.M_{\text{binary}}) \times 2^{-62} ]
  3. 特殊值（指数位全1）：
     • 尾数全0：表示无穷大（+∞/-∞）
     • 尾数非0：表示NaN（非数值），不计入可表示范围

1. 最大可表示正数 #

取符号位S=0，指数位取最大非全1值（126），尾数取全1：

• 实际指数：126 - 63 = 63
• 尾数数值：(2 - 2^{-8})
• 最大正数：((2 - 2^{-8}) \times 2^{63} = 2^{64} - 2^{55} ≈ 1.84467 \times 10^{19})

2. 最小可表示规范化正数 #

取符号位S=0，指数位取最小非全0值（1），尾数取全0：

• 实际指数：1 - 63 = -62
• 尾数数值：1.0
• 最小规范化正数：(1.0 \times 2^{-62} ≈ 4.5036 \times 10^{-19})

3. 最小可表示正数（非规范化，接近0） #

取符号位S=0，指数位全0，尾数取最小非0值（最低位为1）：

• 数值：(2^{-8} \times 2^{-62} = 2^{-70} ≈ 8.4703 \times 10^{-22})

4. 负数范围 #

与正数范围对称，即最小负数为(-(2^{64} - 2^{{55}))，最大负数为(-2}{-70})

整体可表示数值范围：
[ [-(2^{64} - 2^{55}), -2^{-70}] \cup [2^{-70}, 2^{64} - 2^{55}] ]

（i）分数形式的可表示范围 #

覆盖从接近0的极小值(\pm2^{{-70})到极大值(\pm(2}{64}-2^{55}))，可以表示任意量级的分数（近似），极小值精度高，大数值的相对误差固定。

（ii）整数形式的可表示范围 #

浮点数能精确表示的整数需满足：二进制位数不超过指数最大值 + 有效尾数位数，且低位未超出尾数精度范围：

• 最大/最小可表示整数：(\pm(2^{64}-2{55}))
• 连续精确整数范围：([-2^{9}, 2^{9}])（即([-512, 512])），超出此范围的整数仅部分能被精确表示（比如(2^9+1=513)无法精确表示，因为9位尾数无法存储第10位的1）

两者核心差异 #

和16位整数的固定范围([-32768, 32767])（所有整数都能精确表示）不同，浮点数的范围和精度由指数、尾数位数共同决定：

• 指数位数：直接决定数值的最大/最小量级。指数位数每增加1位，最大数值变为原来的2倍，最小规范化数值变为原来的1/2。比如7位指数的最大实际指数是63，8位指数则为127，最大数值变为原来的(2^{64})倍。
• 尾数位数：决定数值的精度，而非核心范围（仅影响非规范化极小值）。尾数位数每增加1位，有效精度提升1位，连续精确整数范围扩大1倍，同时非规范化极小值变为原来的1/2。

1. 具体浮点数计算：
   16位二进制0 1000000 10000000（符号位0，指数位1000000=64，尾数10000000）

   • 符号：正
   • 实际指数：64 - 63 = 1
   • 尾数数值：1 + (2^{-1}) = 1.5
   • 最终数值：1.5 × (2^1) = 3.0

2. 整数表示示例：

   • 512（(2^{9)）：指数位=72（`1001000`），尾数全0，数值=1.0×(2}9)=512，可精确表示
   • 513（(2^9+1)）：需指数9，但尾数仅8位无法存储第10位的1，无法精确表示

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