<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
的。