整数集合是集合健的底层实现之一,当一个集合中只包含整数值元素,且元素不多时,Redis就会使用整数集合作为集合健的底层实现。

整数集合

1
2
3
4
5
6
7
/////编码方式
//16位,2个字节,表示范围-32,768~32,767
#define INTSET_ENC_INT16 (sizeof(int16_t))
//32位,4个字节,表示范围-2,147,483,648~2,147,483,647
#define INTSET_ENC_INT32 (sizeof(int32_t))
//64位,8个字节,表示范围-9,223,372,036,854,775,808~9,223,372,036,854,775,807
#define INTSET_ENC_INT64 (sizeof(int64_t))
1
2
3
4
5
6
7
8
9
//intset
typedef struct intset {
//编码方式
uint32_t encoding;
//集合中包含的元素数量
uint32_t length;
//保存元素的数组
int8_t contents;
} intset;
  • encoding : 编码方式,默认值是 INTSET_ENC_INT16。 其值直接影响contents数组中元素的数据类型。

  • length:整数集合的元素数量,也就是contents数组的长度。

  • contents数组是整数集合的底层实现;数组中的元素按照从小到达的顺序排列,不包括重复项。类型由encoding值决定。

升级

当将一个新的元素添加到整数集合中,且新元素的类型比整数集合现有的元素类型要长时,整数集合需要先进行升级,然后才能将新元素添加到整数集合里边。

升级整数集合的步骤如下:

  • 根据新元素的类型,扩展整数集合底层数组的空间大小(包括新元素的空间)。
  • 将底层数组中的所有元素都转换成新元素相同的类型,并将转换后的元素放置到正确的位上(放置过程(从右至左)中,维持底层数组的有序性)。
  • 将新元素添加到底层数组里边(最末尾)。

升级到好处:节约内存。只在必要的时候升级,才会升级(比如香int16_t类型整数集合中添加int64_t类型元素时才进行升级,而不是初始情况下直接使用int64_t类型存储)。

降级

整数集合不支持降级操作,一旦对数组进行了升级,编码就一直处于升级后的状态。

添加元素流程