PHP7 serialize_precision 配置不当导致 json_encode() 浮点小数溢出错误

时间：2021-03-30 20:11:52

https://blog.csdn.net/moliyiran/article/details/81179825

感谢 @地狱星星:
原因已找到, 该现象只出现在PHP 7.1+版本上
建议使用默认值 serialize_precision = -1 即可 
参考: https://wiki.php.net/rfc/prec... 
----------------------------------------------------------------------------------

事情是这样的,项目里发现一个奇怪的现象,json_encode一个带浮点价格的数据, 出现溢出, 比如:

  1.  
    <?php
  2.  
    echo json_encode(277.2);
  3.  
    // 输出结果为: 277.199999999999989

这明显是不能接受的, 数据虽然很接近, 但毕竟已经变更了
下意识地认为这是php的一个bug, 不能准确地json序列化一个浮点小数
这个问题google了半天竟然也无果, 然后我跟同事说, 你们json_encode数据里有小数的时候, 记得先number_format()转化成字符串.

自己又写了个fix方法, 遍历数据, 把is_float()的数据都用number_format()转化了

  1.  
    function json_encode_pre($d, $depth=128, $level=0){
  2.  
    if($level>$depth) return $d;
  3.  
    if(is_array($d)){
  4.  
    foreach ($d as $i => $v) { $d[$i] = json_encode_pre($v, $depth, $level+1); }
  5.  
    return $d;
  6.  
    }
  7.  
    if(is_float($d)){
  8.  
    # 测试发现number_format有效数字低于18(保守取16)时,不会溢出
  9.  
    $p = 16 - strlen(intval($d));
  10.  
    $f = number_format($d, $p);
  11.  
    if($p>1){ $f = preg_replace('/0+$/','', $d); }
  12.  
    return $d;
  13.  
    }
  14.  
    return $d;
  15.  
    }
  16.  
     
  17.  
    echo number_format(277.2, 14); // 当18位有效数字处理(277.2已有4位有效数字)
  18.  
    // 277.199999999999989
  19.  
    echo number_format(277.2, 12); // 当16位
  20.  
    // 277.2000000000000
  21.  
    echo json_encode(json_encode_pre(277.2));
  22.  
    // "277.2"

看到这结果时, 便猜测是有效数字位数的问题导致了溢出, PHP怎么会有这么蠢的设计呢?这是我当时的想法.

然后想着是不是能从源码下手, 于是查了下php源码, 发现这段代码:

  1.  
    static inline void php_json_encode_double(smart_str *buf, double d, int options) /* {{{ */
  2.  
    {
  3.  
    size_t len;
  4.  
    char num[PHP_DOUBLE_MAX_LENGTH];
  5.  
     
  6.  
    php_gcvt(d, (int)PG(serialize_precision), '.', 'e', num);
  7.  
    len = strlen(num);
  8.  
    if (options & PHP_JSON_PRESERVE_ZERO_FRACTION && strchr(num, '.') == NULL && len < PHP_DOUBLE_MAX_LENGTH - 2) {
  9.  
    num[len++] = '.';
  10.  
    num[len++] = '0';
  11.  
    num[len] = '\0';
  12.  
    }
  13.  
    smart_str_appendl(buf, num, len);
  14.  
    }

是的, 竟然发现了配置项serialize_precision, 这个配置我当初的理解是serialize()方法用的, 而我当初尝试修改过配置项precision, 然并卵, 原来json_encode会用到serialize_precision, 于是修改php.ini, 把它设为16, 原来是17还是18忘了.

  1.  
    <?php
  2.  
    echo json_encode(277.2);
  3.  
    // 输出结果为: 277.2

如果你想重现我的问题, 很简单, 把serialize_precision设为20或更大, 至于这个有效数字最大值是多少才不会溢出, 我还不知道跟什么有关系, 希望能有大神指点了.
我是通过改配置数值, 出现溢出的值再减去2来用的.

附上配置项说明, 从官方说明上看, 很难想像是跟json_encode是有关系的.

  1.  
    ; php.ini
  2.  
     
  3.  
    ; When floats & doubles are serialized store serialize_precision significant
  4.  
    ; digits after the floating point. The default value ensures that when floats
  5.  
    ; are decoded with unserialize, the data will remain the same.
  6.  
    serialize_precision = 16
  7.  
     
  8.  
    ; The number of significant digits displayed in floating point numbers.
  9.  
    ; http://php.net/precision
  10.  
    precision = 16

另外源码里有个json_encode的选项JSON_PRESERVE_ZERO_FRACTION, 这个的意思是如果是个是个整数, 是否保留小数点和0, 来看测试结果:

    1.  
      <?php
    2.  
      echo json_encode(277.0);
    3.  
      // 277
    4.  
      echo json_encode(277.0, JSON_PRESERVE_ZERO_FRACTION);
    5.  
      // 277.0

相关文章