Redis 数据类型 - set

Redis 数据类型 - set

set: 是一个无序的集合，集合中元素都是唯一的。set 对象的编码可以是 intset 或者 hashtable;inset 编码的集合对象使用的是整数集合作为底层实现。而底层是字典时，只不过所有的 value 都是 null。

1 intset （整数集合）

intset的内存是连续的，所有的数据增删改查操作都是在内存地址偏移的基础上进行的，并且整数的保存也是有序的，intset的内存示意图如下：

#define INTSET_ENC_INT16 (sizeof(int16_t))   //16位，2个字节，表示范围-32,768~32,767
#define INTSET_ENC_INT32 (sizeof(int32_t))   //32位，4个字节，表示范围-2,147,483,648~2,147,483,647
#define INTSET_ENC_INT64 (sizeof(int64_t))   //64位，8个字节，表示范
typedef struct intset {
    // 编码方式，一个元素所需要的内存大小，INTSET_ENC_INT16，INTSET_ENC_INT32，INTSET_ENC_INT64三种类型
    uint32_t encoding;
    // 集合长度
    uint32_t length;
    // 集合数组:按照从小到大有序排列的，并且元素不重复
    int8_t contents[];
} intset;

2 intset 的升级过程

1. 当 contents 中存储的数据为：1，2，3，4，如果当前的 encoding 为16位，结构如下
   

2. 现在新插入元素 400000，没有包含在 encoding=16位的，那么就需要修改编码格式，新增内存。

3. 新增大元素后，肯定会放在数组的尾部，后续从尾部调整原来元素的编码格式，将他们进行移动，如下图就是移动后的内存结构。
   

4. 为什么不从前往后呢？
   因为从前往后，会覆盖元素，又要进行元素的拷贝等操作。从后往前则只需要新增内存。这样升级的好处是

• 通过三种编码格式，提升整数集合的灵活性
• 尽可能节约内存
• 一旦对数组进行升级，编码就会一直保存升级后的状态。即使后面把 400000 删掉了，编码格式还是不会将会INTSET_ENC_INT16。

3 intset 编码转换 hashtable 条件

当 set 对象可以同时满足以下条件，则为 intset 编码：

1. set 对象保存的所有元素都是整数
2. set 对象保存的元素数量不超过 512个；
   不满足上述情况，则使用 hashtable 编码。