Redis 选择跳表（SkipList）而非红黑树或 B+ 树实现有序集合（Zset），主要基于以下六个维度的综合考量：

关键设计权衡分析：

时间复杂度对比：

• 跳表：插入/删除/查找均为 O(logN)，与红黑树同级
• B+树：相同时间复杂度但常数项更高（适合磁盘I/O优化）

范围查询实践：

// Redis zset范围查询核心逻辑（src/t_zset.c）
zskiplistNode* zslFirstInRange(zskiplist *zsl, zrangespec *range) {
    // 通过跳表层级快速定位起点
    for (i = zsl->level-1; i >= 0; i--) {
        while (x->level[i].forward && ...)
            x = x->level[i].forward;
    }
    // 线性遍历符合范围节点 
    while (x && !zslValueGteMin(x->score, range)) x = x->level[0].forward;
    return x;
}

内存实测对比（百万数据集）：

• 跳表：平均每个元素占用64字节
• 红黑树：平均72字节（含父指针和颜色标记）
• B+树：因节点填充率波动较大（50-90字节）

工程选择启示：

• 跳表的概率平衡特性避免了红黑树的强制平衡开销
• 现代CPU架构下，跳表的连续内存访问模式比红黑树的指针跳转更缓存友好
• Redis作者Salvatore Sanfilippo曾明确表示：“跳跃表更易于实现、调试和扩展”

因此，跳表在时间复杂度相当的前提下，以更低的实现成本和更优的系统级特性，成为Redis Zset的理想选择。