PHP浮点数精度损失问题
最近同事在开发过程中,遇到一个浮点数精度损失的问题,简单整理一下,大家引以为戒,避免减少类似的问题踩坑。
问题描述
文章开篇,首先抛出一个问题,如下类似:
原因剖析
结果可能有点出乎你的意外,这是因为PHP是遵循IEEE 754双精度,描述如下:
浮点数, 以64位的双精度, 采用1位符号位(E), 11指数位(Q), 52位尾数(M)表示(一共64位)
符号位:最高位表示数据的正负,0表示正数,1表示负数。
指数位:表示数据以2为底的幂,指数采用偏移码表示
尾数:表示数据小数点后的有效数字.
再来看看小数用二进制怎么表示:
乘2取整,顺序排列,即将小数部分乘以2,然后取整数部分,剩下的小数部分继续乘以2,然后取整数部分,剩下的小数部分又乘以2,一直取到小数部分,但是像0.57这样的小数像这样一直乘下去,小数部分不可能为0.有效位的小数用二进制表示却是无穷的。
0.57的二进制表示基本上(52位)是: 0010001111010111000010100011110101110000101000111101
0.58的二进制表示基本上(52位)是: 0010100011110101110000101000111101011100001010001111
而两者的二进制, 如果只是通过这52位计算的话,那应该是:
0.57 -> 0.56999999999999995
0.58 -> 0.57999999999999996
回到开篇提到的问题,至于0.58 * 100的具体浮点数乘法, 简单理解为:
0.58 * 100 = 57.999999999
那我们intval() 操作之后, 自然就会是57了。
如何预防
我们了解了问题原因之后,那对于高精度数据操作,我们有什么好的解决方案呢?
建议使用以下函数:
bcadd — 将两个高精度数字相加
bccomp — 比较两个高精度数字,返回-1, 0, 1
bcdiv — 将两个高精度数字相除
bcmod — 求高精度数字余数
bcmul — 将两个高精度数字相乘
bcpow — 求高精度数字乘方
bcpowmod — 求高精度数字乘方求模,数论里非常常用
bcscale — 配置默认小数点位数,相当于就是Linux bc中的”scale=”
bcsqrt — 求高精度数字平方根
bcsub — 将两个高精度数字相减
Key Point:看似有穷的小数, 在计算机的二进制表示里却是无穷的
so, 不要再以为这是PHP的bug了, 事实这就是这样的。