整数集合是集合键的底层实现之一,当集合只包含整数值元素,且元素数量不多时,Redis使用整数集合作为集合键的底层实现。
整数集合——intset
整数集合是Redis用于保存整数值的集合抽象数据结构,可保存类型为int16_t、int32_t或int64_t的整数值,且不会存在重复元素。
typedef struct intset{
// 编码方式
uint32_t encoding;
// 集合包含的元素数量
uint32_t length;
// 保存元素的数组
int8_t contents[];
}intset
contents:整数集合的底层实现,数组项按照数值大小从小到大在数组contents排序(无重复元素)。contents数组声明为int8_t类型,实际并不不保存int8_t类型的数据,具体的数据类型由encoding决定。
length:整数集合的元素数量,即contents数组长度。
encoding:contents数组保存的数据类型。encoding为INTSET_ENC_INT16,contents为int16_t类型的数组;encoding为INTSET_ENC_INT32,contents为int32_t类型的数组;encoding为INTSET_ENC_INT64,contents为int64_t类型的数组。
下图为一个包含5个int16_t类型整数值的整数集合:
整数集合升级
当添加一个新元素到整数集合时,如果新元素的类型比整数集合的元素类型长,则需要给整数集合升级,然后在添加新元素。
升级步骤:
1、根据新元素的类型,扩展整数集合底层数组的空间大小,并为新元素分配空间。
2、将底层数组中所有的元素转换成和新元素相同的类型,并将转换后的元素放在正确的位置上,在放置元素的过程中,需要继续维持底层数组的有序性不变。
3、将新元素添加到底层数据中。