redis内存编码数据结构（整数集合、压缩列表）

1、整数集合

整数集合（intset）是 Redis 用于保存整数值的集合抽象数据结构， 它可以保存类型为 int16_t 、 int32_t 或者 int64_t 的整数值， 并且保证集合中不会出现重复元素。

typedef struct intset {

    // 编码方式
    uint32_t encoding;
    /* contents 数组并不保存任何 int8_t 类型的值 —— contents 数组的真正类型取决于 encoding 属性的值：*/

    // 集合包含的元素数量，即contents数组的长度。
    uint32_t length;

    // 保存元素的数组
    int8_t contents[];
    /* 整数集合的每个元素都是 contents 数组的一个数组项（item）， 各个项在数组中按值的大小从小到大有序地排列， 并且数组中不包含任何重复项。*/

} intset;

一个整数集合示例，包含五个 int16_t 类型的整数值

    每当我们要将一个新元素添加到整数集合里面， 并且新元素的类型比整数集合现有所有元素的类型都要长时， 整数集合需要先进行升级（upgrade）， 然后才能将新元素添加到整数集合里面。
    升级整数集合并添加新元素共分为三步进行：
①根据新元素的类型， 扩展整数集合底层数组的空间大小， 并为新元素分配空间。
②将底层数组现有的所有元素都转换成与新元素相同的类型， 并将类型转换后的元素放置到正确的位上， 而且在放置元素的过程中， 需要继续维持底层数组的有序性质不变。
③将新元素添加到底层数组里面。
    因为每次向整数集合添加新元素都可能会引起升级， 而每次升级都需要对底层数组中已有的所有元素进行类型转换， 所以向整数集合添加新元素的时间复杂度为 O(N) 。
    整数集合的升级策略有两个好处：提升整数集合的灵活性， 尽可能地节约内存。

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

2、压缩列表