Redis 数据结构（五）—— 整数集合

整数集合(intset) 是集合键的底层实现之一，当一个集合只包含整数值元素，并且这个集合的元素数量不多时，Redis就会使用整数集合作为集合键的底层实现。
举个例子，如果我们创建一个 只包含五个元素的集合键，并且集合中的所有元素都是整数值，那么这个集合键的底层实现就会是整数集合:

redis> SADD numbers 1 3579
(integer) 5
redis> OBJECT ENCODING numbers
"intset"

1 整数集合的实现

他的结构长下边这个样子：

typedef struct intset {
	//编码方式
	uint32_t encoding;
	//集合包含的元素数量
	uint32_t length;
	//保存元素的数组
	int8_t contents[];
} intset;

• **contents数组：**是整数集合的底层实现:整数集合的每个元素都是contents数组的一个数组项(item),各个项在数组中按值的大小从小到大有序地排列，并且数组中不包含任何重复项。
• length属性： 记录了整数集合包含的元素数量，也即是contents数组的长度。

注意： 虽然intset结构将contents属性声明为int8_ t类型的数组，但实际上contents数组并不保存任何int8_ t类型的值，contents 数组的真正类型取决于encoding属性的值:

• 如果encoding属性的值为INTSET_ ENC_ INT16， 那么contents就是一个int16_t类型的数组，数组里的每个项都是一个int16_ t类型的整数值( 最小值为-32768，最大值为32767)。
• 如果encoding属性的值为INTSET_ ENC_ INT32， 那么contents就是一个int32_t类型的数组，数组里的每个项都是一个int32_t类型的整数值(最小值为-2 147 483 648，最大值为2 147 483 647 )。
• 如果encoding属性的值为INTSET_ENC_INT64， 那么contents就是一个int64_t类型的数组，数组里的每个项都是一个int64_ t类型的整数值(最小值为-9 223372 036 854775808，最大值为9223 372036854775 807 )。

具体整数集合长成啥样子呢？ 下边举了两个例子：

2 升级

每当我们要将一个新元素添加到整数集合里面，并且新元素的类型比整数集合现有所有元素的类型都要长时，整数集合需要先进行升级(upgrade),然后才能将新元素添加到整数集合里面。具体来说呢分为三步进行：

• 根据新元素的类型，扩展整数集合底层数组的空间大小，并为新元素分配空间。
• 将底层数组现有的所有元素都转换成与新元素相同的类型，并将类型转换后的元素放置到正确的位上，而且在放置元素的过程中，需要继续维持底层数组的有序性质不变。
• 将新元素添加到底层数组里面。

3 升级的好处

1）提升整数集合的灵活性

我们可以将不同整数类型插入到整数集合~

2）节约内存

整数集合的做法既可以让集合能同时保存三种不同类型的值，又可以确保升级操作只会在有需要的时候进行，这可以尽量节省内存。

4 降级

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

5 整数集合API

得嘞，今天的任务又完成了，真开心~