你应该知道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 相关文章推荐
在PHP中使用XML
Oct 09 PHP
PHP 动态生成静态HTML页面示例代码
Jan 15 PHP
PHP提交表单失败后如何保留已经填写的信息
Jun 20 PHP
php采用session实现防止页面重复刷新
Dec 24 PHP
Zend Framework教程之Zend_Db_Table_Row用法实例分析
Mar 21 PHP
php数组函数array_walk用法示例
May 26 PHP
基于Swoole实现PHP与websocket聊天室
Aug 03 PHP
php 自定义错误日志实例详解
Nov 12 PHP
thinkPHP自定义类实现方法详解
Nov 30 PHP
Laravel5.* 打印出执行的sql语句的方法
Jul 24 PHP
ThinkPHP框架获取最后一次执行SQL语句及变量调试简单操作示例
Jun 13 PHP
PHP实现文件上传与下载
Aug 28 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 $_SERVER[&quot;REQUEST_URI&quot;]获取值的通用解决方法
2010/06/21 PHP
php通过sort()函数给数组排序的方法
2015/03/18 PHP
基于PHP微信红包的算法探讨
2016/07/21 PHP
Laravel框架路由和控制器的绑定操作方法
2018/06/12 PHP
mysqli扩展无法在PHP7下升级问题的解决
2019/09/10 PHP
Js-$.extend扩展方法使方法参数更灵活
2013/01/15 Javascript
JS连接SQL数据库与ACCESS数据库的方法实例
2013/11/21 Javascript
jQuery简单tab切换效果实现方法
2015/04/08 Javascript
javascript实现的简单的表单验证
2015/07/10 Javascript
基于JS实现密码框(password)中显示文字提示功能代码
2016/05/27 Javascript
bootstrap下拉列表与输入框组结合的样式调整
2016/10/08 Javascript
解决layui富文本编辑器图片上传无法回显的问题
2019/09/18 Javascript
openlayers实现地图弹窗
2020/09/25 Javascript
[50:02]完美世界DOTA2联赛循环赛 Magma vs IO BO2第一场 11.01
2020/11/02 DOTA
[01:09:19]DOTA2-DPC中国联赛 正赛 VG vs Aster BO3 第二场 2月28日
2021/03/11 DOTA
python模拟鼠标拖动操作的方法
2015/03/11 Python
python通过shutil实现快速文件复制的方法
2015/03/14 Python
Python中使用第三方库xlrd来写入Excel文件示例
2015/04/05 Python
详解Python字符串对象的实现
2015/12/24 Python
Python 专题二 条件语句和循环语句的基础知识
2017/03/19 Python
Python实现找出数组中第2大数字的方法示例
2018/03/26 Python
Python3爬虫学习之将爬取的信息保存到本地的方法详解
2018/12/12 Python
Python实现串口通信(pyserial)过程解析
2019/09/25 Python
win10安装tesserocr配置 Python使用tesserocr识别字母数字验证码
2020/01/16 Python
Django接收照片储存文件的实例代码
2020/03/07 Python
python属于哪种语言
2020/08/16 Python
用CSS3来实现社交分享按钮
2014/11/11 HTML / CSS
全球领先的各类汽车配件零售商:Advance Auto Parts
2016/08/26 全球购物
俄罗斯EPL钻石珠宝店:ЭПЛ
2019/10/22 全球购物
合伙协议书范本
2014/04/21 职场文书
中秋晚会活动方案
2014/08/31 职场文书
村当支部个人对照检查材料思想汇报
2014/10/06 职场文书
会计求职自荐信
2015/03/26 职场文书
2016大学生形势与政策心得体会
2016/01/12 职场文书
python munch库的使用解析
2021/05/25 Python
win10+RTX3050ti+TensorFlow+cudn+cudnn配置深度学习环境的方法
2022/06/25 Servers