如何理解 IEEE 754 单精度浮点型能表示的最小绝对值、最大绝对值

---

解答

IEEE 754单精度浮点数使用32位来表示一个数值，其格式如下：

• 1位符号位（S）：表示数值的正负，0表示正数，1表示负数。
• 8位指数位（E）：表示指数部分，使用偏移量127的表示方法。
• 23位尾数位（M）：表示小数部分，隐含一个前导1。

根据这个格式可以计算出IEEE 754单精度浮点数能表示的最小绝对值和最大绝对值。

---

最小绝对值

最小绝对值是指能够表示的最接近于零的正数。对于IEEE 754单精度浮点数，最小绝对值对应于最小指数和最小尾数。

• 最小指数：指数位全为0，表示非规格化数。非规格化数的指数偏移量为126（而不是127），所以最小指数为 ( E = 1 - 127 = -126 )。
• 最小尾数：尾数位全为0，但非规格化数没有隐含的前导1，所以最小尾数为 ( 0.00000000000000000000001 )（即 ( 2^{-23} )）。

因此，最小绝对值为：

$V=2^{-126}\times 2^{-23}=2^{-149}$

---

最大绝对值

最大绝对值 是指能够表示的最大正数。对于IEEE 754单精度浮点数，最大绝对值对应于最大指数和最大尾数。

• 最大指数：指数位全为1，表示无穷大或NaN（非数值）。最大有效指数为
  $$E=254-127=127$$
• 最大尾数：尾数位全为1，加上隐含的前导1，所以最大尾数为 ( 1.11111111111111111111111 )（即 ( $2-2^{-23}$ )）。

因此，最大绝对值 为：

$$V=2^{127}\times (2-2^{-23})$$

---

总结

• IEEE 754单精度浮点数能表示的 最小绝对值 是 ( $2^{-149}$ )。
• IEEE 754单精度浮点数能表示的 最大绝对值 是 ( $2^{127}\times (2-2^{-23})$ )，大约是 ( $3.40282347\times 10^{38}$ )。

---

细节理解

1. 为什么非规格化数的指数偏移量为126（而不是127）？

在IEEE 754标准中，非规格化数（也称为次正规数或非正规数）是一种特殊情况，用于表示非常接近于零的数值。为了实现这一目的，IEEE 754标准对非规格化数的指数部分进行了特殊处理。

规格化数与非规格化数

• 规格化数：当指数位不全为0（即 ( 0 < E < 255 )）时，表示规格化数。规格化数的指数偏移量为127，尾数部分隐含一个前导1。
• 非规格化数：当指数位全为0（即 ( E = 0 )）时，表示非规格化数。非规格化数的指数偏移量为126，尾数部分没有隐含的前导1。

非规格化数的指数偏移量

在IEEE 754标准中，规格化数的指数 ( E ) 的实际值是 ( E - 127 )。例如，如果指数位是129，那么实际指数是 ( 129 - 127 = 2 )。

对于非规格化数，指数位全为0，表示 ( E = 0 )。为了确保非规格化数能够平滑地过渡到规格化数，IEEE 754标准规定非规格化数的指数偏移量为126，而不是127。因此，非规格化数的实际指数是 ( 0 - 126 = -126 )。

非规格化数的尾数

对于非规格化数，尾数部分没有隐含的前导1，因此尾数部分的值从 ( 0.0 ) 到 ( 0.11111111111111111111111 )（即 ( 1 - $2^{-23}$ )）。

非规格化数的值

非规格化数的值可以通过以下公式计算：

$$V=(-1{)}^S\times 2^{-126}\times (0.M)$$

其中，( S ) 是符号位，( M ) 是尾数部分。

示例

例如，一个非规格化数的二进制表示为：

0 00000000 00000000000000000000001

• 符号位 ( S = 0 )（正数）
• 指数位 ( E = 0 )（非规格化数）
• 尾数位 ( M = 00000000000000000000001 )（即 ( $2^{-23}$ )）

因此，该非规格化数的值为：

$$V=2^{-126}\times 2^{-23}=2^{-149}$$