$redis = new redis();$redis->connect('127.0.0.1');$res = $redis->eval('return 32140378*16777216');var_dump($res);exit;结果：1509949440正确结果应该为：539226064027648很明显有截断，溢出了，能确定是phpredis扩展的问题。求助大神

回复内容： $redis = new redis();$redis->connect('127.0.0.1');$res = $redis->eval('return 32140378*16777216');var_dump($res);exit;结果：1509949440正确结果应该为：539226064027648很明显有截断，溢出了，能确定是phpredis扩展的问题。求助大神

我自己已经修复了它，详情见：https://github.com/phpredis/phpredis/pull/721
看样子应该是 32bit 到 64bit 切换的问题，看看你的机器是不是 32bit 的。