整数集合
整数集合(intset)是集合键的底层实现之一,当一个集合只有整数元素时,并且元素的数量不多时,redis会使用整数集合来作为集合键的底层实现。
整数集合的实现
这是一个包含五个int16_t 类型整数值的集合
- encoding 属性为数组元素类型,INTSET_ENC_INT16 最小值为-32768 最大为32767 ,INTSET_ENC_INT32 最小值为-2147483648 最大为2147483647 ,INTSET_ENC_INT64 最小值为-9223372036854775808 最大为9223372036854775807.
- length 属性为记录存储元素的个数
- contents 数组按从小到大的顺序存储元素
- 因为每个元素都是 INTSET_ENC_INT16 所以contents 大小为 16 * 5 = 80位
升级
当一个新元素添加到INTSET_ENC_INT16中时,而新元素比INTSET_ENC_INT16要长,这时就需要把表的元素全部升级成与新元素一样长的类型。
升级规则分为三步:
- 根据新元素的类型,扩展整数集合底层大小,并为新元素分配空间
- 将底层所有现有元素转换成与新元素相同类型,并将新元素放入合适位置,保证有序性
- 将新元素添加到底层数组里面
升级的好处:一个是提升整数集合的灵活性,一个是节约内存
灵活性:我们不用去担心存储时出现类型错误,因为可以通过自动升级来适应新元素
节约内存:当我们只存储 16 位的类型时,整数集合不会升级,只有插入32 或者 64 位数据时才进行升级。
降级
整数集合不会降级,当在一个 16 位数据中插入 32 位时,先升级成 32 位类型,当我们在删除这个 32 位元素时,此时整数集合里只有16 位数据,但是底层也不会再降级成 16位,而是保持 32 位。