你应该知道PHP浮点数知识


Posted in PHP onMay 13, 2015

PHP是一种弱类型语言, 这样的特性, 必然要求有无缝透明的隐式类型转换, PHP内部使用zval来保存任意类型的数值, zval的结构如下(5.2为例):

struct _zval_struct {

    /* Variable information */

    zvalue_value value;     /* value */

    zend_uint refcount;

    zend_uchar type;    /* active type */

    zend_uchar is_ref;

};

上面的结构中, 实际保存数值本身的是zvalue_value联合体:
typedef union _zvalue_value {

    long lval;                  /* long value */

    double dval;                /* double value */

    struct {

        char *val;

        int len;

    } str;

    HashTable *ht;              /* hash table value */

    zend_object_value obj;

} zvalue_value;

今天的话题, 我们只关注其中的俩个成员, lval和dval, 我们要意识到, long lval是随着编译器, OS的字长不同而不定长的, 它有可能是32bits或者64bits, 而double dval(双精度)由IEEE 754规定, 是定长的, 一定是64bits.

请记住这一点, 造就了PHP的一些代码的”非平台无关性”. 我们接下来的讨论, 除了特别指明, 都是假设long为64bits

IEEE 754的浮点计数法, 我这里就不引用了, 大家有兴趣的可以自己查看, 关键的一点是, double的尾数采用52位bit来保存, 算上隐藏的1位有效位, 一共是53bits.

在这里, 引出一个很有意思的问题, 我们用c代码举例(假设long为64bits):

    long a = x;

    assert(a == (long)(double)a);

请问, a的取值在什么范围内的时候, 上面的代码可以断言成功?(留在文章最后解答)

现在我们回归正题, PHP在执行一个脚本之前, 首先需要读入脚本, 分析脚本, 这个过程中也包含着, 对脚本中的字面量进行zval化, 比如对于如下脚本:

<?php

$a = 9223372036854775807; //64位有符号数最大值

$b = 9223372036854775808; //最大值+1

var_dump($a);

var_dump($b);

输出:
int(9223372036854775807)

float(9.22337203685E+18)

也就说, PHP在词法分析阶段, 对于一个字面量的数值, 会去判断, 是否超出了当前系统的long的表值范围, 如果不是, 则用lval来保存, zval为IS_LONG, 否则就用dval表示, zval IS_FLOAT.

凡是大于最大的整数值的数值, 我们都要小心, 因为它可能会有精度损失:

<?php

$a = 9223372036854775807;

$b = 9223372036854775808;

 

var_dump($a === ($b - 1));

输出是false.

现在接上开头的讨论, 之前说过, PHP的整数, 可能是32位, 也可能是64位, 那么就决定了, 一些在64位上可以运行正常的代码, 可能会因为隐形的类型转换, 发生精度丢失, 从而造成代码不能正常的运行在32位系统上.

所以, 我们一定要警惕这个临界值, 好在PHP中已经定义了这个临界值:

<?php

    echo PHP_INT_MAX;

 ?>

 

当然, 为了保险起见, 我们应该使用字符串来保存大整数, 并且采用比如bcmath这样的数学函数库来进行计算.

另外, 还有一个关键的配置, 会让我们产生迷惑, 这个配置就是php.precision, 这配置决定了PHP再输出一个float值的时候, 输出多少有效位.

最后, 我们再来回头看上面提出的问题, 也就是一个long的整数, 最大的值是多少, 才能保证转到float以后再转回long不会发生精度丢失?

比如, 对于整数, 我们知道它的二进制表示是, 101, 现在, 让我们右移俩位, 变成1.01, 舍去高位的隐含有效位1, 我们得到在double中存储5的二进制数值为:

0/*符号位*/ 10000000001/*指数位*/ 0100000000000000000000000000000000000000000000000000

5的二进制表示, 丝毫未损的保存在了尾数部分, 这个情况下, 从double转会回long, 不会发生精度丢失.

我们知道double用52位表示尾数, 算上隐含的首位1, 一共是53位精度.. 那么也就可以得出, 如果一个long的整数, 值小于:

2^53 - 1 == 9007199254740991; //牢记, 我们现在假设是64bits的long

那么, 这个整数, 在发生long->double->long的数值转换时, 不会发生精度丢失.
PHP 相关文章推荐
ThinkPHP 连接Oracle数据库的详细教程[全]
Jul 16 PHP
有道搜索和IP138的IP的API接口(PHP应用)
Nov 29 PHP
php二维数组排序与默认自然排序的方法介绍
Apr 27 PHP
探讨如何在php168_cms中提取验证码
Jun 08 PHP
php实现文件下载(支持中文文名)
Dec 04 PHP
PHP实现C#山寨ArrayList的方法
Jul 16 PHP
PHP简单获取多个checkbox值的方法
Jun 13 PHP
深入理解 PHP7 中全新的 zval 容器和引用计数机制
Oct 15 PHP
Laravel关联模型中过滤结果为空的结果集(has和with区别)
Oct 18 PHP
PHP智能识别收货地址信息实例
Jan 05 PHP
PHP的mysqli_sqlstate()函数讲解
Jan 23 PHP
一文看懂PHP进程管理器php-fpm
Jun 01 PHP
PHP浮点数精度问题汇总
May 13 #PHP
PHP生成器简单实例
May 13 #PHP
php实现比较两个字符串日期大小的方法
May 12 #PHP
php使用substr()和strpos()联合查找字符串中某一特定字符的方法
May 12 #PHP
PHP异常处理浅析
May 12 #PHP
php猴子选大王问题解决方法
May 12 #PHP
PHP嵌套输出缓冲代码实例
May 12 #PHP
You might like
php常用Stream函数集介绍
2013/06/24 PHP
获取URL文件名后缀
2013/10/24 PHP
PHP7正式版测试,性能惊艳!
2015/12/08 PHP
如何写php守护进程(Daemon)
2015/12/30 PHP
简单理解PHP的面向对象编程方式
2016/05/17 PHP
详解thinkphp5+swoole实现异步邮件群发(SMTP方式)
2017/10/13 PHP
PHP Post获取不到非表单数据的问题解决办法
2018/02/27 PHP
点击广告后才能获得下载地址
2006/10/26 Javascript
javascript学习笔记(十七) 检测浏览器插件代码
2012/06/20 Javascript
深入理解JSON数据源格式
2014/01/10 Javascript
使用javascript做的一个随机点名程序
2014/02/13 Javascript
node.js中Socket.IO的进阶使用技巧
2014/11/04 Javascript
js限制文本框的输入内容代码分享(3类)
2015/08/20 Javascript
深入剖析JavaScript编程中的对象概念
2015/10/21 Javascript
Function.prototype.apply()与Function.prototype.call()小结
2016/04/27 Javascript
Immutable 在 JavaScript 中的应用
2016/05/02 Javascript
webuploader模态框ueditor显示问题解决方法
2016/12/27 Javascript
快速解决Vue项目在IE浏览器中显示空白的问题
2018/09/04 Javascript
webpack的tree shaking的实现方法
2019/09/18 Javascript
js常用方法、检查是否有特殊字符串、倒序截取字符串操作完整示例
2020/01/26 Javascript
总结Python编程中函数的使用要点
2016/03/20 Python
python 获取文件下所有文件或目录os.walk()的实例
2018/04/23 Python
Python实现求一个集合所有子集的示例
2018/05/04 Python
对Python捕获控制台输出流的方法详解
2019/01/07 Python
python运行时强制刷新缓冲区的方法
2019/01/14 Python
Python进阶之全面解读高级特性之切片
2019/02/19 Python
pandas 层次化索引的实现方法
2019/07/06 Python
详解用python生成随机数的几种方法
2019/08/04 Python
python2.7的flask框架之引用js&amp;css等静态文件的实现方法
2019/08/22 Python
python中slice参数过长的处理方法及实例
2020/12/15 Python
小学教师的个人自我鉴定
2013/10/26 职场文书
行政管理专业推荐信
2013/11/02 职场文书
模具设计与制造专业推荐信
2014/02/16 职场文书
2014乡镇机关党员个人对照检查材料思想汇报
2014/10/09 职场文书
golang操作redis的客户端包有多个比如redigo、go-redis
2022/04/14 Golang
springboot读取nacos配置文件
2022/05/20 Java/Android