我们知道redis的zset是一个很好的排序工具，他会以member - score 的形式来排序，但是，当分数相同的时候，是按照member的字典序来排的，这样就有点不友好了，比如，我们要求当score相同时，先达到的排在前面，也就是最后更新时间小的排在前面。

针对这样的需求，我们必须将更新时间整合到score里面去。
我们知道score可以是整形和双精度浮点型。
要按照updatetime从小到大排序，我们可以用一个MAX-updatetime
而且，为了便于拆分真实score和辅助的数据，我们需要一个分隔符，网上有人说按照MAX-updatetime时间戳位数来分割，实际上不准，这取决于你的MAX大小。

我的做法是：

const MAX = 9999999999;// 十位

public static function updateRank($userId, $score)
{
    $key1 = "test";
    if (!Redis::exists($key1)) {
        $createScore = self::createScore(null, $score);
        Redis::zadd($key1, $createScore, $userId);
        Redis::expire($key1, 86400);
    } else {
        $source = Redis::zscore($key1, $userId);
        $createScore = self::createScore($source, $score);
        Redis::zadd($key1, $createScore, $userId);
    }

    return true;
}

public static function createScore($source, $socre){
    if(is_null($source) || $source === false){
        $score = $socre . '.' . strval( round(self::MAX - time(), 0) );
    }else{
        $arr = explode('.', $source);
        $score = intval($socre + $arr[0]) . '.' . strval( round(self::MAX - time(), 0) );
    }

    return $score;
}

最终的存储结果为：15.570245535
注意，你的真实的score尽量取整，因为小数点的精度已经很高了，不能再增加小数位的长度，但是整数位可以加到很大，基本可以满足需求。

然后取出来的时候

$temp = floatval($score);// 15.8423434494xxxxxxxx
$head = intval($temp);
$dot = ($temp - $head) * pow(10, 10);
$updatetime = round(Read3Service::MAX - $dot, 0);

MAX取值不能过大，会导致整数溢出，结果混乱。

关于整型的溢出，可以参考：https://blog.csdn.net/raoxiaoya/article/details/103693482