规则
我们先来看看一些规则吧
根据国际标准IEEE(电气和电子工程协会)754,任意一个浮点数v可以表现为下面的形式:
V=(-1)^s * M * 2^E
(-1)^s表示符号位,当s=0时,V为正数,当s=1时,V为负数
M表示有效数字,M是大于等于1,小于2的
2^E表示指数位
所以浮点数的存储,其实就是存的和S,M,E相关的值
举个例子:
比如要向内存存一个5.5,5的二进制为101,而0.5在这里相当于2的-1次方,所以合起来就是101.1
而变成公式的样子也就是: 1.01 * 2^2 那么可以得出这个式子里面,s=0,M=1.01,E=2
浮点数的存储
1.浮点数存的过程:
先来看看内存中整体放入的情况:
对于32位的浮点数(float),最高的一位存储符号位s,接着的8位存储指数E,剩下的23位存储有效数字M
对于64位的浮点数(double),最高的一位存储符号位s,接着的11位存储指数E,剩下的52位存储有效数字M
接下来看一下存的时候的一些特别规定:
IEEE 754 对有效数字M和指数E,还有一些规定。
因为1<=M<=2,所以M可以写成1.xxxxx的形式,其中xxxxx表示小数部分
IEEE 754 规定,在内存保存M的时候,默认第一位的数总是1,因此可以被舍去,只保存后面的xxxxxx部分。比如保存1.01值保存01,等到读取的时候在把第一位的1加上去,这样做的目的是有效的节省了一位有效数字,可以使精度更准确。
至于E就更复杂了
首先,E是一个无符号整数(unsigned int)
如果E为8位,它的取值范围就在0-255之间,而如果E为11位,它的取值范围就在0-2047之间,但是科学计数法中E是可以出现负数的,所以存入E的时候得在加一个中间数,对于8位的E就加上127,对于11位的E就加上1023。
例如: 2^10的E是10,假设是32位的浮点数,那么10+127就是137,即 10001001。
2.浮点数取的过程:
指数E从内存中取出来还分三种情况:
E不全为0或不全为1
这时E就减去存的时候加的127或1023,得到真实的值,再将有效数字M前加上第一位的1。
比如:0.5的二进制形式为0.1,由于规定正数部分必须为1,即将小数点右移一位,则为1.0 * 2^(-1),其阶码为-1+127=126,表示为01111110,而尾数1.0去掉整数部分为0,补齐0-23位的M的位,00000000000000000000000,表示为:
0.5在内存中的形式(S,E,M):1 0 01111110 00000000000000000000000
S E M
E全为0
这时浮点数的指数E等于1-127(或者1-1023)即为真实值,有效数字M不在加上第一位的1,而是还原为0.xxxxxxx的小数,这样做是为了表示正负0,,以及接近0的很小的数字。
1 0 00000000 00100000000000000000000
S E M
E全为1
这时,如果有效数字M全为0,表示无穷大(正负取决于符号位)
1 0 11111111 00010000000000000000000
S E M
例题:
猜猜这段代码执行的结果是什么?
结果是:
9
0.000000
1091567616
9.000000
那么这其中的过程是怎样的呢?
首先9以整形存入,然后%d打印肯定是9,这个不用怀疑!
第二个是将9看做一个在内存里的浮点型数据,也就是把9的二进制码看做浮点数!
0 00000000 00000000000000000001001
而这里面的E为全0,所以不用补第一位的1了,直接变成了1-127=126的真实值E,就相当于
(-1)^0 * 0.00000000000000000001001 * 2^ (-126)
而%d打印的时候,从0.开始打印六位,所以是0.000000
第三个是正常放入浮点数9.0!
放进以后是这样
0 10000010 00100000000000000000000
S E M
而%d打印n则是直接将这串码看做有符号数,高位是0,所以是正数,原反补相同
打印结果就是1091567616
最后一个以浮点数形式存进去,在取出来还是9.0!