探秘 Redis 整数集合

整数集合（intset）是集合的底层实现之一，当 set 集合容纳的元素都是整数并且元素个数较小时，Redis 会使用 intset 来存储集合元素。

intset 是 Redis 用于保存整数值的集合抽象数据结构，它是一种紧凑的数组结构，并且可以保存类型为 int16_t， int32_t 和 int64_t 的整数值，并且集合中不会出现重复的元素。

注意：一旦在集合中加入了字符串，集合就会从 intset 变成 hash 结构。

intset 定义

typedef struct intset {
 uint32_t encoding; 
 uint32_t length; 
 int8_t contents[]; 
}

contents 即整数数组，整数集合中的每个元素都是contents 里面的一个数据项，且这些项在数组中总是按值从小到大有序排列，并且没有任何重复项
length 记录了整数集合中包含的元素个数，即contents数组的长度

encoding 用于决定整数位宽是 16 位、32 位还是 64 位

---

大家想一想为什么 Redis 要使用 encoding 来标识数组的类型？
其实很简单，为了尽可能节约内存啊。
本来内存就是有限的，是宝贵的资源，那你存一个整数，明明16位就能够存储了，为什么要用64位来存储呢？
不过当我们添加一个新的元素，且新元素的类型比现在整数集合中所有元素的类型都要长时，这个时候就要涉及到一个升级的操作了。

升级

升级一般是分三个步骤：

1. 根据新元素的类型改变当前 encoding 的类型，扩展contents数组的大小，然后为新元素分配空间。
2. 将原来的所有元素的类型都转化为与新元素相同的类型，然后放置元素在正确的位置上，保持原来的有序性。
3. 将新元素添加到数组里面。

不过整数集合是不支持降级的，一旦对数组进行了升级，那么编码就会一直保持升级后的状态。