$redis = new Redis();
$redis->connect('127.0.0.1');
$res = $redis->eval('return 32140378*16777216');
var_dump($res);
exit;
结果:1509949440
正确结果应该为:539226064027648
很明显有截断,溢出了,能确定是phpredis扩展的问题。求助大神
1 回答4k 阅读✓ 已解决
3 回答1.8k 阅读✓ 已解决
2 回答2.2k 阅读✓ 已解决
2 回答3.1k 阅读
1 回答1.9k 阅读✓ 已解决
1 回答1.4k 阅读✓ 已解决
2 回答2.2k 阅读
我自己已经修复了它,详情见:https://github.com/phpredis/phpredis/pull/721