var_dump(intval(0.58 100));
精确结果是 57,而不是 58
浮点运算惹的祸
实在这些结果都并非措辞的 bug,但和措辞的实现事理有关, js 所有数字统一为 Number, 包括整形实际上全都是双精度(double)类型。
而PHP会区分 int 还是 float。不管什么措辞,只要涉及浮点运算,都是存在类似的问题,利用时一定要把稳。
解释:如果用php的+-/打算浮点数的时候,可能会碰着一些打算结果缺点的问题,比如上面 的 echo intval( 0.58100 );会打印57,而不是58,这个实在是打算机底层二进制无法精确表示浮点数的一个bug,是跨措辞的,我用python也碰着这个问题。以是基本上大部 分措辞都供应了精准打算的类库或函数库,比如php有BC高精确度函数库,稍后我绍一下一些常用的BC高精确度函数利用。
还是回到上面的57,58问题。
为啥输出是57啊? PHP的bug么?
要搞明白这个缘故原由, 首先我们要知道浮点数的表示(IEEE 754):
浮点数, 以64位的长度(双精度)为例, 会采取1位符号位(E), 11指数位(Q), 52位尾数(M)表示(一共64位).
符号位:最高位表示数据的正负,0表示正数,1表示负数。
指数位:表示数据以2为底的幂,指数采取偏移码表示
尾数:表示数据小数点后的有效数字.
这里的关键点就在于, 小数在二进制的表示, 关于小数如何用二进制表示, 大家可以百度一下, 我这里就不再赘述, 我们关键的要理解, 0.58 对付二进制表示来说, 是无限长的值(下面的数字省却了隐含的1)..
0.58的二进制表示基本上(52位)是: 00101000111101011100001010001111010111000010100011110.57的二进制表示基本上(52位)是: 001000111101011100001010001111010111000010100011110而两者的二进制, 如果只是通过这52位打算的话,分别是:www.111cn.net
0.58 -> 0.579999999999999960.57 -> 0.5699999999999999至于0.58 100的详细浮点数乘法, 我们不考虑那么细, 有兴趣的可以看(Floating point), 我们就模糊的以心算来看… 0.58 100 = 57.999999999
那你intval一下, 自然便是57了….
可见, 这个问题的关键点便是: “你看似有穷的小数, 在打算机的二进制表示里却是无穷的”
因此, 不要再以为这是PHP的bug了, 这便是这样的…..
PHP浮点型在进行+-%/存在不准确的问题
连续看一段代码:
$a = 0.1;$b = 0.7;var_dump(($a + $b) == 0.8); // false
打印出来的值为 boolean false
这是为啥?PHP手册对付浮点数有以下警告信息:
Warning
浮点数精度
显然大略的十进制分数犹如 0.1 或 0.7 不能在不丢失一点点精度的情形下转换为内部二进制的格式。这就会造成混乱的结果:例如,floor((0.1+0.7)10) 常日会返回 7 而不是预期中的 8,由于该结果内部的表示实在是类似 7.9999999999…。
这和一个事实有关,那便是不可能精确的用有限位数表达某些十进制分数。例如,十进制的 1/3 变成了 0.3333333. . .。
以是永久不要相信浮点数结果精确到了末了一位,也永久不要比较两个浮点数是否相等。如果确实须要更高的精度,该当利用任意精度数学函数或者 gmp 函数
那么上面的算式我们该当改写为
$a = 0.1;$b = 0.7;var_dump(bcadd($a,$b,2) == 0.8); // true
常用的高精度函数如下:
bcadd — 将两个高精度数字相加 bccomp — 比较两个高精度数字,返回-1, 0, 1 bcdiv — 将两个高精度数字相除 bcmod — 求高精度数字余数 bcmul — 将两个高精度数字相乘 bcpow — 求高精度数字乘方 bcpowmod — 求高精度数字乘方求模,数论里非常常用 bcscale — 配置默认小数点位数,相称于便是Linux bc中的”scale=” bcsqrt — 求高精度数字平方根 bcsub — 将两个高精度数字相减 BC高精确度函数库包含了:相加,比较,相除,相减,求余,相乘,n次方,配置默认小数点数目,求平方。这些函数在涉及到有关金钱打算时比较有用,比如电商的价格打算。/ 两个高精度数比较 @access global @param float $left @param float $right @param int $scale 精确到的小数点位数 @return int $left==$right 返回 0 | $left<$right 返回 -1 | $left>$right 返回 1 /var_dump(bccomp($left=4.45, $right=5.54, 2));// -1 / 两个高精度数相加 @access global @param float $left @param float $right @param int $scale 精确到的小数点位数 @return string /var_dump(bcadd($left=1.0321456, $right=0.0243456, 2));//1.05 / 两个高精度数相减 @access global @param float $left @param float $right @param int $scale 精确到的小数点位数 @return string /var_dump(bcsub($left=1.0321456, $right=3.0123456, 2));//-1.98 / 两个高精度数相除 @access global @param float $left @param float $right @param int $scale 精确到的小数点位数 @return string /var_dump(bcdiv($left=6, $right=5, 2));//1.20 / 两个高精度数相乘 @access global @param float $left @param float $right @param int $scale 精确到的小数点位数 @return string /var_dump(bcmul($left=3.1415926, $right=2.4569874566, 2));//7.71 / 设置bc函数的小数点位数 @access global @param int $scale 精确到的小数点位数 @return void / bcscale(3);var_dump(bcdiv('105', '6.55957')); //php7.1 16