整数集合是集合键的底层实现之一,当一个集合只包含整数值元素,并且这个集合的数量不多时,Redis 就会使用整数集合作为集合键的底层实现。
127.0.0.1:6379> sadd nums 1 2 3 4 5
(integer) 5
127.0.0.1:6379> object encoding nums
"intset"
127.0.0.1:6379> sadd nums one two three four five
(integer) 5
127.0.0.1:6379> object encoding nums
"hashtable"
由此可见,整数集合只会在包含少数整数且仅包含整数的集合中使用。
implement intset
typedef struct intset{
uint32_t encoding;
// the length of contents
uint32_t length;
int8_t contents[];
}
encoding
有 INTSET_ENC_INT16
,INTSET_ENC_INT32
,INTSET_ENC_INT64
,分别是 sizeof(int16_t)
,sizeof(int32_t)
,sizeof(int64_t)
contents
数组是整数集合的底层实现:整数集合的每个元素都是 contents
数组的一个数组项,各个项在数组中按值的大小从小到大有序地排列,并且数组中不包含任何重复项
虽然 intset
结构将 contents
属性声明为 int8_t
类型的数组,但实际上 contents
数组并不保存任何 int8_t
类型的值,contents
数组的真正类型取决于 encoding
属性的值
当向一个底层为 int16_t
数组的整数集合添加一个 int64_t
类型的整数值时,整数集合已有的所有元素都会被转换成 int64_t
,这个过程就是升级
upgrade
升级整数集合并添加新元素共分为三步进行:
① 根据新元素的类型,扩展整数集合底层数组的空间大小,并为新元素分配空间。
② 将底层数组现有的所有元素都转换成与新元素相同的类型,并将类型转换后的元素放置到正确的位上,而且在放置元素的过程中,需要继续维持底层数组的有序性质不变。
③ 将新元素添加到底层数组里面。
the advantage of upgrade
- 提升灵活性
- 节约内存