<code>$redis = new Redis();
$redis->connect('127.0.0.1');
$res = $redis->eval('return 32140378*16777216');
var_dump($res);
exit;
结果：1509949440
正确结果应该为：539226064027648
很明显有截断，溢出了，能确定是phpredis扩展的问题。求助大神</code><code>$redis = new Redis();
$redis->connect('127.0.0.1');
$res = $redis->eval('return 32140378*16777216');
var_dump($res);
exit;
结果：1509949440
正确结果应该为：539226064027648
很明显有截断，溢出了，能确定是phpredis扩展的问题。求助大神</code>
我自己已经修复了它，详情见：https://github.com/phpredis/phpredis/pull/721
看样子应该是 32bit 到 64bit 切换的问题，看看你的机器是不是 32bit 的。
PHP怎么学习？PHP怎么入门？PHP在哪学？PHP怎么学才快？不用担心，这里为大家提供了PHP速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号
851
收藏
