面试官：有一种数据类型，Redis 要存两次，为什么？( 二 ) _redis

有序集合对象的底层数据结构有两种：和。内部同样是通过编码来进行区分：
编码
即跳跃表，有时候也简称为跳表。使用编码的有序集合对象使用了 zset 结构来作为底层实现，而zset 中同时包含了一个字典和一个跳跃表。
跳跃表
跳跃表是一种有序的数据结构，其主要特点是通过在每个节点中维持多个指向其他节点的指针，从而达到快速访问节点的目的。
大部分情况下，跳跃表的效率可以等同于平衡树，但是跳跃表的实现却远远比平衡树的实现简单，所以 Redis 选择了使用跳跃表来实现有序集合。
下图是一个普通的有序链表，我们如果想要找到 35 这个元素，只能从头开始遍历到尾（链表中元素不支持随机访问，所以不能用二分查找，而数组中可以通过下标随机访问，所以二分查找一般适用于有序数组），时间复杂度是O(n) 。
那么假如我们可以直接跳到链表的中间，那就可以节省很多资源了，这就是跳表的原理，如下图所示就是一个跳表的数据结构示例：
上图中，，就是跳表的层级，每一个 level 层级都有一个指向下一个相同 level 层级元素的指针，比如上图我们遍历寻找元素 35 的时候就有三种方案：

文章插图
的存储结构
跳跃表中的每个节点是一个节点（源码.h内）：

typedef struct zskiplistNode {sds ele;//元素double score;//分值struct zskiplistNode *backward;//后退指针struct zskiplistLevel {//层struct zskiplistNode *forward;//前进指针unsigned long span;//当前节点到下一个节点的跨度（跨越的节点数）} level[];} zskiplistNode;

level 即跳跃表中的层，其是一个数组，也就是说一个节点的元素可以拥有多个层，即多个指向其他节点的指针，程序可以通过不同层级的指针来选择最快捷的路径提升访问速度。
level 是在每次创建新节点的时候根据幂次定律（power law）随机生成的一个介于 1~32 之间的数字。
每个层都会有一个指向链表尾部方向元素的指针，遍历元素的时候需要使用到前进指针。
跨度记录了两个节点之间的距离,需要注意的是，如果指向了 NULL 的话，则跨度为 0 。
和前进指针不一样的是后退指针只有一个，所以每次只能后退至前一个节点（上图中没有画出后退指针）。
跳跃表中元素是一个 sds 对象（早期版本使用的是对象），元素必须唯一不能重复。
节点的分值是一个类型的浮点数，跳跃表中会将节点按照分值按照从小到大的顺序排列，不同节点的分值可以重复。
上面介绍的只是跳跃表中的一个节点，多个节点组成了一个对象：

typedef struct zskiplist {struct zskiplistNode *header, *tail;//跳跃表的头节点和尾结点指针unsigned long length;//跳跃表的节点数int level;//所有节点中最大的层数} zskiplist;

到这里你可能以为有序集合就是用这个来实现的，然而实际上 Redis 并没有直接使用来实现，而是用 zset 对象再次进行了一层包装。
typedef struct zset {dict *dict;//字典对象zskiplist *zsl;//跳跃表对象} zset;
所以最终，一个有序集合如果使用了编码，其数据结构如下图所示：
上图中上面一部分中的字典中的 key 就是对应了有序集合中的元素（），value 就对应了分值（score）。上图中下面一部分中跳跃表整数 1,8,9,12 也是对应了元素（），最后一排的型数字就是分值（score）。
也就是说字典和跳跃表中的数据都指向了我们存储的元素（两种数据结构最终指向的是同一个地址，所以数据并不会出现冗余存储），Redis 为什么要这么做呢？