为什么?我想是溢出,但我无法修复。
<?php
/*redis*/
$redis = new Redis();
$redis->connect('127.0.0.1');
$res = $redis->eval('return 32140378*16777216');
var_dump($res);
exit;
//result:1509949440
//right:539226064027648
我自己修复过,了解更多详细信息:https://github.com/phpredis/phpredis/pull/721