浮点数在内存中的存储

---

浮点数在内存中的存储

引入部分

我们先来看下面一段代码：
这段代码将为我们展示出浮点数的存储与整数从存储是不同的

#include <stdio.h>
int main()
{
	int n = 9;
	float* pFloat = (float*)&n;
	printf("n的值为：%d\n", n);
	printf("*pFloat的值为：%f\n", *pFloat);
	*pFloat = 9.0;
	printf("num的值为：%d\n", n);
	printf("*pFloat的值为：%f\n", *pFloat);
	return 0;
}

我们来看运行结果：
以整数形式存储：
n的值：以整数的形式存储到n中的9，以%d（整数形式）打印，结果为9
*pFloat的值：以整数的形式存储的9，以%f（浮点数形式）打印，结果并不为9而是0.000000
以浮点数形式存储：
num的值：以浮点数形式存储到num中的9.0，以%d（整数形式）打印，结果为1091567616
pFloat的值：以浮点数形式存储到pFloat中的9.0，以%f（浮点数形式）打印，结果为9.000000

从上述结果中，我们能够清晰的感受到整数与浮点数在存储时的不同

一.浮点数存储的过程

根据国际标准IEEE（电⽓和电⼦⼯程协会） 754，任意⼀个⼆进制浮点数V可以表⽰成下⾯的形式：
V = (−1) ^S M ∗ 2^E
• (−1)^S 表⽰符号位，当S=0，V为正数；当S=1，V为负数
• M 表⽰有效数字，M是⼤于等于1，⼩于2的
• 2^E 表⽰指数位
举例说明：
十进制的5.5，写成二进制是101.1（注意：不是101.101，小数点后一位为2^-1即为0.5），按照上面的表示方式：(-1)⁰ ∗ 1.011 ∗ 2²
那么，S = 0，M = 1.011，E = 2
⼗进制的**-5.0**，写成⼆进制是 -101.0 ，按照上面的表示方式： (-1)¹ ∗ 1.01 ∗ 2²
那么，S = 1，M = 1.01，E = 2

所以，对于浮点数的存储，其实就是对于S，M，E相关值的存储。

IEEE 754规定：
对于32位的浮点数，最⾼的1位存储符号位S，接着的8位存储指数E，剩下的23位存储有效数字M

对于64位的浮点数，最⾼的1位存储符号位S，接着的11位存储指数E，剩下的52位存储有效数字M

1.M的存储：

因为1≤M<2，所以M可以写成 1.xxxxxx 的形式，其中 xxxxxx 表⽰⼩数部分。
IEEE 754 规定，在计算机内部保存M时，默认这个数的第⼀位总是1，因此可以被舍去，只保存后⾯的xxxxxx部分。
例如：在保存1.011时，只保存011，在后面读取时再将小数点前的1加上。

那么这样做的目的是什么呢？

这样做可以节省1位有效数字。以32位浮点数为例，留给M只有23位，将第⼀位的1舍去以后，等于可以保
存24位有效数字。

2.E的存储：

首先，E是一个无符号整数（unsigned int）
这意味着，如果E为8位，它的取值范围为0 ~ 255；如果E为11位，它的取值范围为0 ~ 2047。但是E在科学计数法中是可以出现负数的，例如：0.5转换为二进制后为(-1)⁰ ∗ 1.0 ∗ 2^-1，此时的E = -1。
所以IEEE 754规定，存⼊内存时E的真实值必须再加上⼀个中间数，对于8位的E，这个中间数是127；对于11位的E，这个中间数是1023。例如：2¹⁰的E是10，所以保存成32位浮点数时，保存的数为10+127=137，即10001001。

二.浮点数读取的过程

E从内存中取出还可以再分成三种情况：

1.E不全为0或不全为1：

指数E的计算值减去127（或1023），得到真实值，再将有效数字M前加上第一位的1。
例如：0.5 的二进制形式为0.1，表示的时候为(-1)⁰ ∗ 1.0 ∗ 2^-1，E在存储时为-1+127(或1023)=126(或1022)，表⽰为01111110，最终其二进制的表示形式为：

0 01111110 00000000000000000000000
S    E               M

2.E全为0：

此时，浮点数的E就等于1-127(或1-1023)为真实值，这时2^-126 是一个非常非常小的数字 ，从而导致V = (−1) ^S M ∗ 2^E 最终也会非常小
因此，此时的有效数字M不再加上第⼀位的1，而是还原为0.xxxxxx的小数。这样就可以表示±0，以及无穷小接近于0的数字

0 00000000 00100000000000000000000
S    E               M

3.E全为1：

此时，浮点数的E是一个非常非常大的数字
如果有效数字M全为0，表⽰±⽆穷⼤（正负取决于符号位s）

0 11111111 00010000000000000000000
S    E               M