一、简介
有序集合相对于哈希、列表、集合来说会有一点点陌生，但既然叫有序集合，那么它和集合必然有着联系，它保留了集合不能有重复成员的特性，但不同的是，有序集合中的元素可以排序。但是它和列表使用索引下标作为排序依据不同的是，它给每个元素设置一个分数（score）作为排序的依据。如图所示，该有序集合包含kris、mike、frank、tim、martin、tom，的分数分别是1、91、200、220、250、251，有序集合提供了获取指定分数和元素范围查询、计算成员排名等功能，合理的利用有序集合，能帮助我们在实际开发中解决很多问题。
Tip：有序集合的元素不能重复，但是score可以重复，就和一个班里的同学学号不能重复，但考试成绩可以相同。
列表、集合和有序集合三者的异同点：
| 数据结构 | 是否允许重复元素 | 是否有序 | 有序实现方式 | 应用场景 |
|---|---|---|---|---|
| 列表 | 是 | 是 | 索引下标 | 时间轴、消息队列等 |
| 集合 | 否 | 否 | 无 | 标签、社交等 |
| 有序集合 | 否 | 是 | 分值 | 排行榜系统、社交等 |
二、命令
1、集合内
1）添加成员
zadd key score member [score member ...]
下面操作向有序集合user:ranking添加用户tom和他的分数251：
127.0.0.1:6379> zadd user:ranking 251 tom
(integer) 1
返回结果代表成功添加成员的个数。
有关zadd命令有两点需要注意：
Redis3.2为zadd命令添加了nx、xx、ch、incr四个选项：
1.nx: member必须不存在，才可以设置成功，用于添加。
2.xx. member必须存在，才可以设置成功，用于更新。
3.ch: 返回此次操作后，有序集合元素和分数发生的个数。
4.incr: 对score做增加，相当于后面介绍的zincrby。有序集合相比集合提供了排序字段，但也产生了代价，zadd的时间复杂度为O(log(n))，sadd的时间复杂度为O(1)。
2）计算成员个数
zcard key
和集合类型的scard一样，zcard的时间复杂度为O(1)。
127.0.0.1:6379> zadd user:ranking 1 kris 91 mike 200 frank 220 tim 250 martin
(integer) 5
127.0.0.1:6379> zcard user:ranking
(integer) 6
3）计算某个成员的分数
zscore key member
如果成员不存在则返回nil：
127.0.0.1:6379> zscore user:ranking tom
"251"
127.0.0.1:6379> zscore user:ranking nosee
(nil)
4）计算成员的排名
zrank key member
zrevrank key member
zrank是从分数从低到高返回排名，zrevrank反之。如下操作，tom在zrankt zrevrank分别排名第5和第0（排名从0开始计算）。
127.0.0.1:6379> zrank user:ranking tom
(integer) 5
127.0.0.1:6379> zrevrank user:ranking tom
(integer) 0
5）删除成员
zrem key member [member ...]
返回结果为删除成功的个数，如：
127.0.0.1:6379> zrem user:ranking mike
(integer) 1
6）增加成员的分数
zincrby key increment member
如：
127.0.0.1:6379> zincrby user:ranking 9 tom
"260"
7）返回指定排名范围的成员
zrange key start end [withscore]
zrevrange key start end [withscore]
有序集合是按照分值排名的，zrange是从高到低返回 ，zrevrange反之。下面代码返回排名最低的是三个成员，如果加上withscore选项，同时会返回成员的分数：
127.0.0.1:6379> zrange user:ranking 0 2 withscores
1) "kris"
2) "1"
3) "frank"
4) "200"
5) "tim"
6) "220"
127.0.0.1:6379> zrevrange user:ranking 0 2 withscores
1) "tom"
2) "260"
3) "martin"
4) "250"
5) "tim"
6) "220"
8）返回指定分数范围的成员
zrangebyscore key min max [withscores] [limit offset count]
zrevrangebyscore key min max [withscores] [limit offset count]
其中zrangebyscore按照分数从低到高返回，zrevrangebyscore反之。例如下面操作从低到高返回200到221分的成员，withscore选项会同时返回每个成员的分数。 [limit offset count]选项可以限制输出的起始位置和个数：
127.0.0.1:6379> zrangebyscore user:ranking 200 221 withscores
1) "frank"
2) "200"
3) "tim"
4) "220"
127.0.0.1:6379> zrevrangebyscore user:ranking 221 200 withscores
1) "tim"
2) "220"
3) "frank"
4) "200"
同时min和max还支持开区间(小括号)和闭区间(中括号)，-inf和+inf分别代表无限小和无限大：
127.0.0.1:6379> zrangebyscore user:ranking (200 +inf withscores
1) "tim"
2) "220"
3) "martin"
4) "250"
5) "tom"
6) "260"
9）返回指定分数范围成员个数
zcount key min max
如：
127.0.0.1:6379> zcount user:ranking 200 221
(integer) 2
10）删除指定排名内的升序元素
zremrangebyrank key start end
下面操作会删除第start到第end名的成员：
127.0.0.1:6379> zremrangebyrank user:ranking 0 2
(integer) 3
11）删除指定分数范围的成员
zremrangebyscore key min max
下面操作将250分以上的成员全部删除，返回结果为成功删除的个数：
127.0.0.1:6379> zremrangebyscore user:ranking (250 +inf
(integer) 1
2、集合间的操作
将下图的两个有序集合导入到Redis中：
127.0.0.1:6379> zadd user:ranking:1 1 kris 91 mike 200 frank 220 tim 250 martin 251 tom
(integer) 6
127.0.0.1:6379> zadd user:ranking:2 8 james 77 mike 625 martin 888 tom
(integer) 4
1）交集
zinterstore destination numkeys key [key ...] [weights weight [weight ...]] [aggregate sun|min|max]
这个命令参数较多，下面分别进行说明：
- destination：交集计算结果保存到这个键。
- numkeys：需要做交集计算键的个数。
- key [key ...]：需要做交集计算的键。
- weights weight [weight ...]：每个键的权重，在做交集计算时，每个键中的每个member会将自己的分数乘以这个权重，每个键的权重默认是1。
- aggregate sun|min|max：计算成员交集后，分值可以按sum（和）、min（最小值）、max（最大值）做总汇，默认值是sum。
下面操作对user:ranking:1和user:ranking:2做交集，weights和aggregate使用了默认配置，可以看到目标键user:ranking:1_inter_2对分值做了sum操作：
127.0.0.1:6379> zinterstore user:ranking:1_inter_2 2 user:ranking:1 user:ranking:2
(integer) 3
127.0.0.1:6379> zrange user:ranking:1_inter_2 0 -1 withscores
1) "mike"
2) "168"
3) "martin"
4) "875"
5) "tom"
6) "1139"
如果想让user:ranking:2的权重变为0.5，并且聚合效果使用max，可以执行如下操作：
127.0.0.1:6379> zinterstore user:ranking:1_inter_2 2 user:ranking:1 user:ranking:2 weights 1 0.5 aggregate max
(integer) 3
127.0.0.1:6379> zrange user:ranking:1_inter_2 0 -1 withscores
1) "mike"
2) "91"
3) "martin"
4) "312.5"
5) "tom"
6) "444"
2）并集
zunionstore destination numkeys key [key ...] [weights weight [weight ...]] [aggregate sun|min|max]
该命令的所有参数和zinterstore是一致的，只不过是做并集计算，例如下面操作是计算user:ranking:1和user:ranking:2的并集：
127.0.0.1:6379> zunionstore user:ranking:1_union_2 2 user:ranking:1 user:ranking:2
(integer) 7
127.0.0.1:6379> zrange user:ranking:1_union_2 0 -1 withscores
1) "kris"
2) "1"
3) "james"
4) "8"
5) "mike"
6) "168"
7) "frank"
8) "200"
9) "tim"
10) "220"
11) "martin"
12) "875"
13) "tom"
14) "1139"
三、有序集合命令的时间复杂度
| 命令 | 时间复杂度 |
|---|---|
| zadd key score member [score member ...] | O(k*log(n))，k是添加成员的个数，n是当前有序集合成员个数 |
| zcard key | O(1) |
| zscore key member | O(1) |
| zrank/zrevrank key member | O(log(n))，n是当前有序集合成员个数 |
| zrem key member [member ...] | O(k*log(n))，k是删除成员的个数，n是当前有序集合成员个数 |
| zincrby key increment member | O(log(n))，n是当前有序集合成员个数 |
| zrange/zrevrange key start end [withscore] | O(log(n)+k)，k是要获取的成员个数，n是当前有序集合成员个数 |
| zrangebyscore/zrevrangebyscore key min max [withscores] [limit offset count] | O(log(n)+k)，k是要获取的成员个数，n是当前有序集合成员个数 |
| zcount key min max | O(log(n))，n是当前有序集合成员个数 |
| zremrangebyrank key start end | O(log(n)+k)，k是要删除的成员个数，n是当前有序集合成员个数 |
| zremrangebyscore key min max | O(log(n)+k)，k是要删除的成员个数，n是当前有序集合成员个数 |
| zinterstore destination numkeys key [key ...] | O(n*k)+O(m*log(m))，n是成员数最小的有序集合成员个数，k是有序集合的个数，m结果集中成员个数 |
| zunionstore destination numkeys key [key ...] | O(n)+O(m*log(m))，n是所有有序集合成员个数和，m结果集中成员个数 |
参考：
《Redis开发与运维》 付磊 & 张益军