只有1%的Python 程序员搞懂过浮点数陷阱

容纯干货，先从一个例子提及

>>> 0.1+0.2==0.3
False

当你第一次看到这个结果时可能会很是惊讶，原来还有个这么大的bug，再来看看表达式 0.1+0.2 到底等于多少？

>>> 0.1+0.2
0.30000000000000004

彻底超出咱们的想象。那么这个操做在计算机里面到底发生了什么事情？

咱们仍是回到二进制。

首先，须要明确一点，在计算机中不管是整数、浮点数、仍是字符串最终都是用二进制来表示的。

整数的二进制表示法

整数 9 在计算机中二进制表示是： 1001 ，怎么得来的？

用十进制整数整除以2，获得商和余数，该余数就是二进制数的最低位，而后继续用商整除以2，获得新的商和余数，以此类推，直到商等于0，由全部余数倒排组成了该整数的二进制表现形式。用代码表示是：

>>> n = 9
>>> while n >0:
    n,e = divmod(n, 2) # divmod返回n除以2的商和余数
    print(e)
1 # 低位
0
0
1 # 高位

二进制转化为十进制整数

咱们知道，十进制用科学计算法可表示为：

123 = 1*10^2 + 2*10^1 + 3*10^0 
= 100 + 20 + 3 
= 123

一样的道理，若是是二进制数，可表示：

1001 = 1*2^3 + 0*2^2 +0*2^1 + 1*2^0
= 8+0+0+1 
= 9

再来看浮点数

浮点数的二进制表示法

二进制小数和二进制整数没什么区别，都是由0和1组成，只是多了一个点，例如：101.11 就是一个二进制小数，对应的十进制数是：

101.11 = 1*2^2 + 0*2^1 + 1*2^0 + 1*2^-1 + 1* 2^-2
= 4 + 0 + 1 + 1/2 + 1/4
= 5 + 0.5 + 0.25
= 5.75

小数点左边用 2^n 表示，小数点右边的值用 2^-n来表示。

浮点数转换成二进制小数

十进制的浮点数转换成二进制小数的步骤：

• 小数点前面的整数部分按照十进制转二进制的方式操做

• 小数部分乘以2，取整数0或者1，剩下的小数继续乘2一直重复，直到小数部分为0或达到指定的精度为止

例如 2.25 转换成二进制小数,整数2转换为二进制是 10， 小数部分0.25转换二进制是：

0.25 * 2 = 0.5  整数为0，小数为0.5
0.5 * 2 = 1.0   整数为1，小数为0

因此 2.25 表示成二进制小数是 10.01 ， 但并非每个浮点数都这么幸运最后乘2小数为0的，好比 0.2 转换成二进制是：

0.2*2 = 0.4  整数为0，小数为0.4
0.4*2 = 0.8  整数为0，小数为0.8
0.8*2 = 1.6  整数为1，小数为0.6
0.6*2 = 1.2  整数为1，小数为0.2
0.2*2 = 0.4  整数为0，小数为0.4
0.4*2 = 0.8  整数为0，小数为0.8
0.8*2 = 1.6  整数为1，小数为0.6
0.6*2 = 1.2  整数为1，小数为0.2
一直重复 ....

0.2 用二进制表示是 0.001100110011… ，你会发现 0.2 根本无法用二进制来精确表示。就像 1/3 没法用小数精确表示同样，只能取一个近似值。

若是把这个二进制小数 0.001100110011 转换回10进制是：

0.001100110011 = 1*2^-3 + 1* 2^-4 + 1* 2^-7 + 1* 2^-8 + 1* 2^-11 + 1* 2^-12
= 1/8 + 1/16 +1/128 + 1/256 + 1/2048 + 1/4096
= 0.199951171875

这只是一个接近 0.2 的数，精度越高就越靠近 0.2， 但永远不可能等于0.2。那么在计算机内部，浮点数到底怎么存储的呢？

根据国际标准IEEE 754，一个二进制浮点数 V 分为3部分，能够用下面这个公式来表示：

• s表示符号位，当s=0，V为正数；

  当s=1，V为负数

• M表示有效数字， 1<=M<2

• E表示指数位

例如十进制1.25，写成二进制是1.01，用该公式表示至关于 1.01×2^0。能够得出s=0，M=1.01，E=0。

IEEE 754规定

一、对于32位的浮点数，最高位是符号位s，接着的8位是指数E，剩下的23位为有效数字M。

二、对于64位的浮点数，最高的1位是符号位S，接着的11位是指数E，剩下的52位为有效数字M

三、M的第一位老是1，会被舍去，好比保存1.01的时候，实际上只保存小数点后面的01部分

四、E的真实值必须再减去一个中间数，对于8位的E，这个中间数是127；对于11位的E，这个中间数是1023。

基于以上规则，咱们能够对浮点数进行验证，能够用下面这个函数查看一个浮点数在计算机中实际存储的值：

import struct
def float_to_bits(f):
s = struct.pack('>f', f)
return struct.unpack('>l', s)[0]

>>>print(float_to_bits(0.2))
1045220557
print(bin(float_to_bits(0.2)))
0b111110010011001100110011001101

浮点数 0.2 实际存储的值是 1045220557，对应的二进制是 111110010011001100110011001101，转换成32位整数还要在前面补2个0，最后变成：

0 01111100 10011001100110011001101

最高位为0，因此表示正数，接着8位 01111100 是指数位E，对应整数是124，根据IEEE 754规定，E的真实值要减去127，因此E=-3，最后23为是M的值，由于前面省略了一位，因此M的真实值是：

1.10011001100110011001101

最后V的值就是：

1.10011001100110011001101*2^-3=0.00110011001100110011001101=1/8 + 1/16 +1/128 + 1/256 + 1/2048 + 1/4096 + ...=0.20000000298023224

它的实际值比 0.2 要大一点点，因此才看到了最开始的那一幕。

推荐一下个人Python的学习裙【 784758214 】，不管你是大牛仍是小白，是想转行仍是想入行均可以来了解一块儿进步一块儿学习！裙内有开发工具，不少干货和技术资料分享！但愿新手少走弯路

　　不要太过急功近利, 慢慢玩, 精进.

　　若是你觉着编程有趣, 成长也就再也不痛苦, 祝学习愉快.