整数集合(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位来存储呢?
不过当我们添加一个新的元素,且新元素的类型比现在整数集合中所有元素的类型都要长时,这个时候就要涉及到一个升级的操作了。
升级
升级一般是分三个步骤:
- 根据新元素的类型改变当前 encoding 的类型,扩展contents数组的大小,然后为新元素分配空间。
- 将原来的所有元素的类型都转化为与新元素相同的类型,然后放置元素在正确的位置上,保持原来的有序性。
- 将新元素添加到数组里面。
不过整数集合是不支持降级的,一旦对数组进行了升级,那么编码就会一直保持升级后的状态。