第 6 章 整数集合

整数集合是集合键的底层实现之一，当一个集合只包含整数值元素，并且这个集合的数量不多时，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

• 提升灵活性
• 节约内存