- 正确答案：Redis 提供了 5 种基本数据类型：string（字符串）、hash（哈希）、list（列表）、set（集合）、zset（有序集合，即 sorted set）。此外，Redis 6.0+ 还正式引入了 stream（流）作为第六种基础数据结构（虽部分资料仍称“5种”，但 stream 已成为核心类型）；geo、bitmap、hyperloglog 等属于基于 string 的高级应用封装，非独立底层数据类型。 - 解答思路：从 Redis 内存数据库的本质出发——所有数据均以键值对（key-value）形式存储，而 value 的类型决定了其底层编码方式、支持的操作语义及时间/空间复杂度。面试中需明确区分“用户可见的数据类型”与“底层实现编码（encoding）”，例如一个 list 可能由双向链表（linkedlist）或压缩列表（ziplist）实现，取决于配置和数据规模。因此回答应分层展开：先列基本类型 → 每类说明典型使用场景 → 关键操作命令示例 → 底层编码机制 → 时间复杂度分析。 - 深度知识讲解： 1. string（字符串）： - 本质：二进制安全的字节数组，最大长度 512MB。 - 底层编码：int（整数且在 long 范围内）、embstr（短字符串，< 44 字节，采用一次内存分配，包含 redisObject + sdshdr8 + data）、raw（长字符串，redisObject 和 sds 分开分配）。 - SDS（Simple Dynamic String）是 Redis 自研字符串结构，相比 C 原生 char*，具备 O(1) 获取长度（len 字段）、自动扩容（预分配冗余空间避免频繁 realloc）、二进制安全（不依赖 '\0' 结束符）、兼容部分 C 字符串函数等特性。 - 典型命令：SET/GET/INCR/DECR/APPEND/GETRANGE/SETRANGE；INCR 是原子操作，底层通过 tryLock + CAS 模拟（实际由单线程事件循环保证原子性，无锁）。 2. hash（哈希）： - 本质：键值对集合，适合存储对象（如 user:1001 → {name:"Alice", age:25}）。 - 底层编码：ziplist（字段数 ≤ hash-max-ziplist-entries，默认 512，且每个值长度 ≤ hash-max-ziplist-value，默认 64 字节）或 hashtable（dict 结构，双哈希表实现渐进式 rehash）。 - dict 结构含两个哈希表（ht[0], ht[1]），rehash 过程中读写均查两个表，每次增删操作迁移一槽（slot），保证 O(1) 平摊复杂度；rehash 触发条件为负载因子 ≥ 1（ht[0].used / ht[0].size ≥ 1）或强制触发（如 BGSAVE 时避免阻塞）。 - 典型命令：HSET/HGET/HMGET/HGETALL/HLEN；HGETALL 返回全部 field-value，时间复杂度 O(N)，慎用于大 hash。 3. list（列表）： - 本质：按插入顺序排序的字符串元素集合，支持两端插入/删除（LPOP/RPOP/LPUSH/RPUSH）。 - 底层编码：ziplist（元素数 ≤ list-max-ziplist-size，默认 -2 表示最多 64 字节/元素，总元素数 ≤ 512）或 linkedlist（Redis 7.0+ 已废弃 linkedlist，改用 quicklist）。 - quicklist 是核心优化：由多个 ziplist 组成的双向链表（quicklistNode），每个节点是一个 ziplist，兼顾内存紧凑性与首尾操作性能；可通过 list-max-ziplist-size（负数表示最大 ziplist 字节数，如 -2=8KB）和 list-compress-depth（压缩首尾若干节点以节省内存）调优。 - 典型命令：LPUSH/RPUSH/LPOP/RPOP/LRANGE；LRANGE start end 是 O(S+N)，S 为起始偏移，N 为返回元素数（因需遍历跳过前 S 个）。 4. set（集合）： - 本质：无序、唯一字符串元素集合，支持交集、并集、差集运算。 - 底层编码：intset（仅当所有元素为整数且数量 ≤ set-max-intset-entries，默认 512）或 hashtable（dict，value 为 NULL，仅用 key 存储元素）。 - intset 是紧凑整数数组，支持升级（int16_t → int32_t → int64_t），但不可降级；查找为二分 O(log N)，插入/删除需移动元素 O(N)；hashtable 查找/插入均为平均 O(1)。 - 典型命令：SADD/SISMEMBER/SMEMBERS/SINTER/SUNION；SMEMBERS 返回全部元素，O(N)，大数据量慎用。 5. zset（有序集合）： - 本质：每个元素关联一个 double 类型 score，按 score 升序排列，score 相同时按字典序排 member。 - 底层编码：ziplist（元素数 ≤ zset-max-ziplist-entries，默认 128，且每个 member/score 长度 ≤ zset-max-ziplist-value，默认 64）或 skiplist + dict（双结构冗余存储）。 - skiplist（跳表）是核心：一种概率性平衡结构，通过多层链表实现 O(log N) 查找/插入/删除；Redis 中 skiplist 节点含 score、member 指针、后继指针数组（level[]），每层随机决定是否提升（p=0.25）；同时维护一个 dict（member → score 映射），保障 ZSCORE 等操作 O(1)。 - 典型命令：ZADD/ZRANGE/ZRANK/ZSCORE/ZREVRANGE；ZRANGE withscores 返回 [member, score] 对，O(log N + M)，M 为返回元素数。 6. stream（流，Redis 5.0 引入，6.0 成熟）： - 本质：持久化、可回溯的消息队列，支持多消费者组（consumer group）、消息确认（ACK）、历史消息重放。 - 底层编码：radix tree（基数树，又称 crit-bit tree 或 PATRICIA trie）存储消息 ID → 消息内容映射，辅以链表（listpack）存储消息体；每个消息 ID 为 ms:seq 格式（毫秒时间戳 + 序列号），全局单调递增。 - 消费者组状态通过 PEL（Pending Entries List，红黑树实现）记录未 ACK 消息，保证至少一次投递。 - 典型命令：XADD/XREAD/XGROUP/XACK；XREAD block=0 可实现长轮询，类似 Kafka consumer。扩展知识点： - 所有类型共用 redisObject 头部：包含 type（5bit）、encoding（4bit）、lru（24bit，LRU/LFU 时间戳或计数器）、refcount（引用计数，用于共享对象如整数字符串）、ptr（指向底层数据结构指针）。 - 内存优化机制：小整数对象（0–9999）被缓存（shared integer objects），string 类型的整数会复用这些对象；ziplist 在合适场景下替代更重结构，显著降低内存碎片与指针开销。 - 持久化关联：RDB 文件中不同类型以特定格式序列化（如 ziplist 直接 dump，dict 则逐项写入）；AOF 以文本协议记录命令，重放时重建数据结构。 - 伪代码示意（ziplist 结构简写）： ``` ziplist = ... entry = // prevlen 为前一节点长度，支持倒序遍历 ``` - 伪代码示意（skiplist 插入关键逻辑）： ``` node = create_node(score, member) level = random_level() // 如：while (random() & 0xFFFF < 0x4000) level++ for i = 0 to level-1: node->level[i].forward = update[i]->level[i].forward update[i]->level[i].forward = node node->level[i].span = update[i]->level[i].span - (rank[i] - rank[i-1]) // span 用于 ZRANK 计算 ```

百度测试开发面试

全站热榜

创作者周榜