IntSet是Redis中set集合的一种实现方式,基于整数数组来实现,并具备长度可变,有序等特征。
结构如下图所示:
![![[Pasted image 20240402150318.png]]](https://img-blog.csdnimg.cn/direct/e947cc5077ea412e89f1cbbdf2808da3.png)
int8_t contents[]的元素只有一个字节,能表示的整数范围只有-128~127,是不是有点小呀?
其实数组本身只是一个指针,指向起始元素的地址,intset并不依赖于C语言提供的数组相关函数,所有增删改查都是自己来做的
由此,对这个数组的操作和大小并不是像表面看到的一样,而是由encoding来决定 的
![![[Pasted image 20240402151509.png]]](https://img-blog.csdnimg.cn/direct/b16cc273eb3d4dbb8284b56d7f74b8b6.png)
为了方便查找,Redis会将intset中所有的整数按照升序依次保存在contents数组中,结构如下图:
![![[Pasted image 20240402152104.png]]](https://img-blog.csdnimg.cn/direct/e4b3d91b622a405b91164c1d0989699b.png)
如果在该案例中插入一个大于int16最大值的数据50000后,应该会发生什么?
-
会升级编码为符合条件的最小编码,在本例子中升级编码为INTSET_ENC_INT32,每个整数占4字节,并按照新的编码方式以及元素个数扩容数组.
-
倒序依次(先调整20,10,5)将数组中的元素拷贝到扩容后的正确位置。
![![[Pasted image 20240402153500.png]]](https://img-blog.csdnimg.cn/direct/ace81f466e894f9480c3b5d1479f7e6c.png)
-
调整之后的位置:
![![[Pasted image 20240402153548.png]]、](https://img-blog.csdnimg.cn/direct/56aa5a7a03fe4aab97c798476e8dccf5.png)
-
将待添加的元素放入数组末尾
![![[Pasted image 20240402153612.png]]](https://img-blog.csdnimg.cn/direct/6f86147ef5854d6ea5d4510b48e597be.png)
-
最后,将intset的encoding属性改为INTSET_ENC_INT32,将length修改为4
![![[Pasted image 20240402153724.png]]](https://img-blog.csdnimg.cn/direct/5f7c88e1a47c4a099170da4cd54eca43.png)
IntSet可以看作是特殊的整数数组,具备一些特点:
- Redis会确保IntSet中的元素唯一有序
- 具备类型升级机制,可以节省内存空间
- 底层采用二分查找来查询
![![[Pasted image 20240402154432.png]]](https://img-blog.csdnimg.cn/direct/82b40cdc75e4452eb6f62af77e49f3c5.png)
![![[Pasted image 20240402154443.png]]](https://img-blog.csdnimg.cn/direct/a0f74da215e84c30a0451d51d89ac24f.png)



















