Redis五大数据类型的实现原理
在Redis中，键值对的存储并非直接使用底层数据结构，而是基于这些数据结构构建了一个对象系统。该系统包含五种主要的数据类型：字符串、列表、哈希、集合和有序集合。每种类型至少对应一种底层数据结构，并根据场景优化了对象的存储与操作效率。
1. 对象类型与编码
Redis中的键和值都由redisObject结构表示：
typedef struct redisObject {
unsigned type:4; // 对象类型
unsigned encoding:4; // 编码方式
void *ptr; // 指向底层数据结构的指针
int refcount; // 引用计数
unsigned lru:22; // 最后访问时间
} robj;
(1) 类型属性（type）
type字段定义了对象的类型，包括字符串（string）、列表（list）、哈希（hash）、集合（set）和有序集合（zset）。可以通过以下命令检查键的类型：
TYPE key
(2) 编码属性（encoding）与指针（ptr）
encoding字段描述了对象的具体实现方式，而ptr指向实际存储数据的底层结构。例如，字符串对象可能使用int、embstr或raw编码。
通过以下命令可以查看值对象的编码方式：
OBJECT ENCODING key
2. 字符串对象
字符串是Redis中最基础的数据类型，所有键都是字符串类型。字符串的最大长度限制为512MB。
(1) 编码方式
字符串对象支持三种编码：
int：用于存储可以用long表示的小整数。embstr：用于存储短字符串（长度小于等于44字节）。raw：用于存储长字符串（长度大于44字节）。
embstr是一种优化编码，它将字符串对象和实际数据连续存储在一块内存中，减少了内存分配和释放的开销。
(2) 编码转换
当字符串内容超出int范围时，会从int转换为raw编码。对于embstr编码，修改操作会触发其转换为raw编码。
3. 列表对象
列表是一个按插入顺序排列的字符串集合，支持从两端添加或移除元素。
(1) 编码方式
列表对象有两种编码：
ziplist：压缩列表，适用于小型列表。linkedlist：双向链表，适用于大型列表。
(2) 编码转换
当列表满足以下条件时，使用ziplist编码：
- 元素数量小于512。
- 每个元素长度小于64字节。
否则，使用linkedlist编码。
4. 哈希对象
哈希对象以键值对的形式存储数据，适合表示对象的属性。
(1) 编码方式
哈希对象支持两种编码：
ziplist：压缩列表，适用于小型哈希。hashtable：哈希表，适用于大型哈希。
(2) 编码转换
当哈希对象满足以下条件时，使用ziplist编码：
- 键值对数量小于512。
- 每个键和值的长度均小于64字节。
5. 集合对象
集合是一个无序且唯一的字符串集合。
(1) 编码方式
集合对象支持两种编码：
intset：整数集合，适用于纯整数集合。hashtable：哈希表，适用于混合类型集合。
(2) 编码转换
当集合满足以下条件时，使用intset编码：
- 所有元素均为整数。
- 元素数量小于等于512。
6. 有序集合对象
有序集合是一种带分数排序功能的集合。
(1) 编码方式
有序集合支持两种编码：
ziplist：压缩列表，适用于小型有序集合。skiplist：跳跃表，适用于大型有序集合。
skiplist编码使用zset结构，内部包含一个字典和一个跳跃表，分别用于快速查找和范围操作。
(2) 编码转换
当有序集合满足以下条件时，使用ziplist编码：
- 元素数量小于128。
- 每个元素长度小于64字节。
7. 数据类型的应用场景
| 类型 | 场景描述 |
|---|---|
| String | 存储图片、视频等二进制数据，或作为计数器（如在线人数统计）。 |
| Hash | 存储对象属性，如用户信息。 |
| List | 实现消息队列或分页功能。 |
| Set | 去重操作（如用户名验证）或集合运算（如交集、并集）。 |
| ZSet | 排行榜、TOP N查询或范围查找。 |
8. 内存管理
(1) 内存回收
Redis通过引用计数机制管理对象生命周期。每个robj结构包含refcount字段，记录对象的引用次数：
- 新创建对象时，
refcount初始化为1。 - 每次新增引用，
refcount加1。 - 每次释放引用，
refcount减1。 - 当
refcount降为0时，释放对象占用的内存。
此外，Redis还提供了多种淘汰策略（如LRU），用于在内存不足时选择性地释放对象。
(2) 内存共享
Redis支持整数字符串对象的共享。例如，多个键可以共享同一个值对象，从而减少内存消耗。
9. 空转时长
lru字段记录了对象最后一次被访问的时间。通过以下命令可以获取键的空转时长：
OBJECT IDLETIME key
空转时长可用于配合LRU淘汰策略，在内存不足时优先释放长时间未使用的对象。
