zset是有序集合,将zset中的members引入一个属性score,根据这个属性值来进行排序,其中members不可以重复,score可以重复(按照字典序排序),默认按照升序排序
有序集合中提供指定分数和元素范围查找,计算成员排名功能,一般用于排行榜系统
zset中的member和score并不是键值对的关系,而是pair,既可以通过member找到score,也可以通过score找到member

将元素和对应分数插入到有序集合中,时间复杂度O(logN),因为添加的元素要放到指定的位置上来保证有序,默认返回新增成功的元素个数

方括号中的内容是代表可选的选项
| 选项 | 作用 |
|---|---|
| XX | 只更新已经存在的元素,不新插入元素 |
| NX | 只插入新的元素,不更新已经存在的元素 |
| 不加NX或XX | 当前members不存在,则添加新元素,否则更新元素分数 |
| LT | 只更新已经存在的元素,并且新的分数比当前的分数小 |
| GT | 只更新已经存在的元素,并且新的分数比当前的分数大 |
| CH | 如果不添加CH选项,默认返回添加元素的个数,添加CH选项后,加上修改元素的个数 |
| INCR | 效果相同于ZINCRBY,将指定元素的score+=指定的值,返回值是更新后score的值 |
查看有序集合中指定下标范围的元素详情,从0开始,支持负数(-1就是最后一个元素)
时间复杂度O(log(N) + M),其中logN是根据下标找到边界值,M是遍历区间的开销

添加withscores,即可查看members对应的score

加入withscores:

修改操作:

NX选项:
添加不存在元素:

NX选项:
更新存在元素(不会生效):

XX选项:
更新存在元素的score:

XX选项:
更新不存在的元素的score(更新失败):

CH选项:

INCR操作:

获取指定key中元素个数,时间复杂度为O(1)

返回指定区间(前闭后闭)内的key中元素的个数,时间复杂度O(logN),(zset内部记录了每个元素的所在次序,logN的时间复杂度找到min和max,然后直接相减次序即可得到元素个数)
min和max支持使用浮点数,inf(无穷大),-inf(负无穷)

演示:

如果想要排除边界值可以加上括号

倒序获取指定范围内的元素

演示:

根据分数获取指定范围的元素,使用方法和zcount类似

演示:

删除并返回分数最高的count个元素
时间复杂度O(log(N) + M),N是有序集合中元素的个数,M是count的个数

演示:

如果存在score相同的多个元素,并且都是最大值,那么zpopmax仍然只删除其中的一个元素(按照字典序)

阻塞版本的zpopmax,时间复杂度O(logN),如果传入多个key,只删除其中的一个

timeout是超时时间,表示最多阻塞多久,单位是秒,支持小数
演示:
客户端a中的key有序集合中没有元素,进行bzpopmax命令,阻塞等待

客户端b插入元素:

此时,客户端a就可以拿到元素了

和zpopmax一致,删除有序集合中score最小的元素

和bzpopmax一致,阻塞删除有序集合中最小的元素

获取指定元素的排名,时间复杂度O(logN),member不存在返回nil

演示:

按照正序获取member排名

返回指定member的score,时间复杂度O(1)

删除有序集合中指定的member
时间复杂度O(log(N) * M),N是整个有序序列中元素的个数,M是要删除member的个数
返回删除成功的元素的个数

演示:

根据指定排名范围删除member,前闭后闭,时间复杂度O(logN + M),N是整个集合的member个数,M是区间内的元素个数

演示:

删除指定分数范围内的members,闭区间,可以使用(排除边界值,时间复杂度O(logN + M)

演示:

自增指定的member对应的score,increment为指定自增大小,返回自增后score的大小,支持负数和小数

演示:

| 操作 | 描述 |
|---|---|
| zinter | 获取两个集合的交集 |
| zinterstore | 获取两个集合的交集,将结果保存在另一个key中 |
| zunion | 获取两个集合的并集 |
| zunionstore | 获取两个集合的并集,将结果保存在另一个key中 |
| zdiff | 获取两个集合的差集 |
其中zinter, zunion, zdiff是Redis 6.2后支持的
语法格式:

| 参数名称 | 作用 |
|---|---|
| destination | 结果存储的集合名称 |
| numkeys | 几个有序集合参与运算 |
| weights | key所占的权重,可以写成小数,最后的总值就是score * 对应的权值 |
| aggregate:sum,min,max | 获取总和,最小值,最大值 |
之所以要有numkeys这个参数,是因为后面还有weight等若干参数,如果没有这个参数无法区分哪些是key哪些是参数
演示:

演示aggregate:

zinterstore的时间复杂度是O(N * K) + O(M * log(M))
N是输入若干有序集合,里面最小的元素的个数
K是有几个有序集合参加运算
M是最终结果的有序集合的元素个数
具体使用与参数和zinterstore类似

时间复杂度是O(N) + O(M * log(M))
N是全部元素的个数
演示:


| 情形 | 编码方式 |
|---|---|
| 有序集合中元素个数较少或单个元素提及较小 | ziplist压缩列表 |
| 有序集合中元素个数较多或单个元素体积很大 | skiplist跳表 |

跳表是一种复杂的链表,里面的元素有多个指针,通过精妙的计算可以跳转到指定位置,查询元素的时间复杂度是O(log(N)),相比于树形结构,跳表更适合按照范围获取元素
由于Redis的有序列表中自带zrank等获取排名的操作,zincrby等修改score操作。并且根据score的变化,有序列表内部的排行也会变化,因此有序列表一般用来实现排行榜系统
并且,Redis中的zinterstore和zunionstore还支持权重,这对于需要权重来计算排名(例如微博)的场景非常方便