Redis设计与实现---整数集合intset

整数集合是集合键的底层实现之一。

特点：1、有序   2、无重复  3、支持升级，不支持降级

一、intset结构与实现

整体结构：

intset.h/intset  ： 

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

contents数组是整数集合的底层实现：整数集合的每个元素都是contents数组的一个数组项（item），各个项在数组中按值的大小从小到大有序的排列，并且数组中不包含任何重复项。

length属性记录了整数集合包含的元素数量，即contents数组的长度。

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

二、

整数集合升级：

1）根据新元素的类型，扩展整数集合底层数组的空间大小，并为新元素分配空间。

2）将底层数组现有的所有元素都转换成与新元素相同的类型，并将类型转换后的元素放置到正确的位上，而且在放置元素的过程中，需要维持数组的有序性质不变。

3）将新元素添加到底层数组里面。

注：因为引发升级的新元素的长度总是比整数集合现有所有元素的长度都大，所以这个新元素的值要么就大于所有现有元素，要么就小于所有现有元素。即新元素会放在索引0或者length-1的位置。

升级好处：1、提升整数集合的灵活性   2、尽可能的节约内存

整数集合不支持降级操作