PHP是一种弱类型语言,这样的特性,必然要求有无缝透明的隐式类型转换,PHP内部使用zval来保存任意类型的数值,zval的结构如下(5.2为例):
请记住这一点,造就了PHP的一些代码的”非平台无关性”. 我们接下来的讨论,除了特别指明,都是假设long为64bits
IEEE 754的浮点计数法,我这里就不引用了,大家有兴趣的可以自己查看,关键的一点是,double的尾数采用52位bit来保存,算上隐藏的1位有效位,一共是53bits.
在这里,引出一个很有意思的问题,我们用c代码举例(假设long为64bits):
现在我们回归正题,PHP在执行一个脚本之前,首先需要读入脚本,分析脚本,这个过程中也包含着,对脚本中的字面量进行zval化,比如对于如下脚本:
凡是大于最大的整数值的数值,我们都要小心,因为它可能会有精度损失:
var_dump($a === ($b - 1));
现在接上开头的讨论,之前说过,PHP的整数,可能是32位,也可能是64位,那么就决定了,一些在64位上可以运行正常的代码,可能会因为隐形的类型转换,发生精度丢失,从而造成代码不能正常的运行在32位系统上.
所以,我们一定要警惕这个临界值,好在PHP中已经定义了这个临界值:
另外,还有一个关键的配置,会让我们产生迷惑,这个配置就是,这配置决定了PHP再输出一个float值的时候,输出多少有效位.
最后,我们再来回头看上面提出的问题,也就是一个long的整数,最大的值是多少,才能保证转到float以后再转回long不会发生精度丢失?
比如,对于整数,我们知道它的二进制表示是,101,现在,让我们右移俩位,变成1.01,舍去高位的隐含有效位1,我们得到在double中存储5的二进制数值为:
我们知道double用52位表示尾数,算上隐含的首位1,一共是53位精度.. 那么也就可以得出,如果一个long的整数,值小于:
