整数集合是集合键的底层实现之一。
整数集合的实现
整数集合(intset)是Redis用于保存整数值的集合抽象数据结构,可以保存类型为int16_t,int32_t或者int64_t的整数值,并且保证集合中不会出现重复元素。
contents数组是整数集合的底层实现:证书集合的每个元素都是contents数组一个数组项(item),各个项在数组中按值的大小从小到大有序地排列,并且数组中不包含任何重复项。
length属性记录了整数集合包含的元素数量,即contents数组的长度。
虽然intset结构将contents属性声明为int8_t类型的数组,但实际上contents数组不保存任何int8_t类型的值,contents数组的真正类型取决与encoding属性的值:
- encoding = INTSET_ENC_INT16,contents是int16_t类型的数组
- encoding = INTSET_ENC_INT32,contents是int32_t类型的数组
- encoding = INTSET_ENC_INT64,contents是int64_t类型的数组
![](https://i-blog.csdnimg.cn/blog_migrate/b0ae63ad1aaab327067fafe37107a2bf.png)
- encoding属性的值为INTSET_ENC_INT16,表示整数集合的底层实现为int16_t类型的数组,集合保存的都是int16_t类型的整数值
- length属性的值为5,表示整数集合包含五个元素
- contents数组按从小到大的顺序保存着集合的五个元素
- contents数组的大小等于sizeof(int16_t)*5 = 16 * 5 = 80位。
升级
每当将一个新元素添加到整数集合里面,并且新元素的类型比整数集合现有所有元素类型都要长时,整数集合需要先进行升级,然后才能将新元素添加到整数集合里面。
升级整数集合并添加新元素共分为三步:
1)根据新元素的类型,扩展整数集合底层数组的空间大小,并为新元素分配空间。
2)将底层数组现有元素都转换成与新元素相同的类型,并将类型转换后的元素放置到正确的位上,而且在放置元素的过程中,需要继续维持底层数组的有序性质不变。
3)将新元素添加到底层数组里面。
升级的好处
整数集合的升级策略有两个好处:提升整数集合的灵活性;尽可能地节约内存。
提升灵活性
整数集合可以通过自动升级底层数组来适应新元素,所以我们可以随意地将int16_t,int32_t或者int64_t类型的整数添加到集合中,而不必担心出现类型错误。
节约内存
整数集合的做法既可以让集合能同时保存三种不同类型的值,又可以确保升级操作只会在有需要的时候进行,这可以尽量节省内存。
降级
整数集合不支持降级操作。
整数集合API