使用redis进行排行榜的小秘诀

前言

在平常一些简单的活动开发中，我常常会碰到须要对用户的分值等进行排行，此时通常会选择redis的有序集合对用户的分数进行存储，可是不一样的场景排行榜的方式也略有不一样，如下根据本身平常的开发进行了一下概括总结

Redis 有序集合(sorted set)

首先简单介绍下什么是有序集合。

Redis 的Sorted Set 是 String 类型的有序集合。集合成员是惟一的，这就意味着集合中不能出现重复的数据。

每一个元素都会关联一个double类型的分数。redis正是经过分数来为集合中的成员进行从小到大的排序。

有序集合的成员是惟一的,但分数(score)却能够重复。

集合是经过哈希表实现的，因此添加，删除，查找的复杂度都是O(1)。 集合中最大的成员数为2^32 - 1 (4294967295, 每一个集合可存储40多亿个成员)。

应用场景

场景一：用户得分越高，排行越前面

这是一种最简单基本的应用场景，使用的命令和基本操做以下：

ZADD：添加or更新成员分数

命令参数：ZADD key score member [[score member] [score member] ...]

将一个或多个 member 元素及其 score 值加入到有序集 key 当中。

若是某个 member 已是有序集的成员，那么更新这个 member 的 score 值，并经过从新插入这个 member 元素，来保证该 member 在正确的位置上。

score 值能够是整数值或双精度浮点数。

若是 key 不存在，则建立一个空的有序集并执行 ZADD 操做。

当 key 存在但不是有序集类型时，返回一个错误。

示例：

// 假设用户A（user1）当前游戏的分数为50，则
ZADD user_rank 50 user1 
// 添加用户B（user2）当前游戏的分数为60、用户C（user3）当前游戏的分数为70，则可批量操做
ZADD user_rank 60 user2 70 user3 // 同时添加user二、user3 两个用户的分数，分别为 二、3

ZREVRANK：获取成员当前的排名

命令参数：ZREVRANK key member
返回有序集 key 中成员 member 的排名。其中有序集成员按 score 值递减(从大到小)排序。
排名以 0 为底，也就是说， score 值最大的成员排名为 0 。

示例：

// 获取用户A当前的排名
ZREVRANK user_rank user1 // user1 当前排名为第三，则输出 2

ZSCORE：获取用户排名

命令参数：ZSCORE key member

返回有序集 key 中，成员 member 的 score 值。

若是 member 元素不是有序集 key 的成员，或 key 不存在，返回 nil 。

示例：

// 获取用户A当前的排名
ZSCORE user_rank user1 // user1 当前分数为50，则输出 "50" #注意返回值是字符串

场景二：用户游戏中花费的时间最短，排行越前面

这也算一种最简单基本的应用场景，使用的命令和基本操做和场景一差很少，除了获取排名的命令不同以外：

ZRANK：获取成员当前的排名

命令参数：ZRANK key member
返回有序集 key 中成员 member 的排名。其中有序集成员按 score 值递增(从小到大)顺序排列。

排名以 0 为底，也就是说， score 值最小的成员排名为 0 。

如何处理以上两个场景中用户分数相同的状况

若是两个用户score相同，redis如何排序呢

在score相同的状况下，redis使用字典排序
那什么是字典排序呢？相信下图就能够解答到这个疑问

在score相同的状况下，redis使用字典排序，而所谓的字典排序其实就是“ABCDEFG”、"123456..."这样的排序，在首字母相同的状况下，redis会再比较后面的字母，仍是按照字典排序

场景一：用户得分越高，排行越前面，若是分数相同状况下，先达成该分数的用户排前面

此场景下，咱们须要更改用户的分数构成，具体思路以下：

• 分数相同，用户完成游戏的时间戳也加入到score值的构成中
• 先达成该分数的用户排前面，即游戏所得分数相同的状况下，时间戳越小，越排前
• 若是咱们简单地把score结构由：分数+''+时间戳 拼凑，由于分数越大越靠前，而时间戳越小则越靠前，这样两部分的判断规则是相反的，没法简单把二者合成一块儿成为用户的score
• 可是咱们能够逆向思惟，能够用同一个足够大的数MAX(如：5000000000000)减去时间戳，时间戳越小，则获得的差值越大，这样咱们就能够把score的结构改成：分数+''+(MAX-时间戳)，这样就能知足咱们的需求了
• 若是使用整数做为score，有一点须要注意的是，js中最大的整数为：

Math.pow(2, 53) - 1 // 9007199254740991 ,16位数

时间戳已经占用了13位数了，所以留给咱们保存用户的真正分数的只剩下3位数了

因此最好使用双精度浮点数类型做为score

所以，最好的score结构为：分数+'.'+时间戳，变为浮点数

场景二：用户完成游戏时间最短，排行越前面，若是完成游戏时间相同状况下，先达到该记录的用户排前面

此场景下，咱们也须要更改用户的score构成，具体思路以下：

• 完成游戏时间相同，用户完成游戏的时间戳也加入到score值的构成中
• 游戏时间相同，先达到该记录用户排前面，即游戏所得分数相同的状况下，时间戳越小，越排前
• 游戏时间越小越靠前，而时间戳越小也越靠前，这样两部分的判断规则是一致的，咱们能够把二者合一块儿拼凑成score：分数+'.'+时间戳 便可
• 则用户score越小，用户排名越前