因为sortedcontainers基于list+bisect,均摊o(√n),非真o(log n);手写跳表可控制内存布局、支持自定义比较与版本并发,核心是多层指针+概率化层数,支持快速查找、有序遍历、范围查询及cas并发。

为什么不用 sortedcontainers 而要手写跳表?
因为你要控制内存布局、支持自定义比较逻辑、或嵌入到更底层的数据结构(比如带版本的并发跳表),sortedcontainers 这类库虽然好用,但底层是基于 list + bisect 的平衡树模拟,插入/删除均摊 O(√n),不是真正的 O(log n) 随机访问跳表。真跳表的核心是多层指针 + 概率化层数,它能同时满足快速查找、有序遍历、范围查询,且天然支持并发(配合 CAS)。
random.random() 是最常用的层数生成方式,但要注意什么?
跳表性能依赖层数分布是否接近理想几何分布。用 random.random() 每次投硬币决定是否升层,期望层数为 log₂(n),实际方差小、实现简单。但必须注意两点:
- 不要在每次插入时重置
random.seed(),否则会退化成固定层数 - 如果需要可重现性(如测试/快照),应传入独立的
random.Random实例,而非全局random - 生产环境慎用
os.urandom做熵源——它慢,且对性能敏感场景没必要
示例初始化:
self._rand = random.Random(seed) # 显式控制
节点设计里要不要存 prev 指针?
标准跳表只存 next 指针(每层一个),不存 prev。加 prev 能让反向遍历和删除更高效,但代价是内存翻倍、插入逻辑复杂三倍以上,且多数场景(如 KV 存储索引、优先队列)并不需要双向遍历。除非你明确需要 O(1) 反向迭代或频繁删除中间节点后还要定位前驱,否则别加。
典型节点结构:
class Node:
__slots__ = ('key', 'value', 'forward') # forward 是 list[Node or None]
如何避免 IndexError 或空指针解引用?
跳表最常崩在越界访问 node.forward[i]。根本原因是:某一层的路径提前终止(比如当前层只剩 head → tail),但代码仍试图访问下一层的非空节点。关键防御点有三个:
- 查找/插入前,先确认
i ,而不是假设层数一致 - 所有循环中用
while curr.forward[i] is not None,而不是curr = curr.forward[i]后再判空 - 头节点
head的forward初始长度设为最大可能层数(如 32),但每层末尾必须是None,不能留野指针
一个典型安全跳步写法:
for i in range(len(curr.forward)-1, -1, -1):
while curr.forward[i] and curr.forward[i].key <p>跳表真正难的不是写出来,而是让每一层的指针更新原子、不漏节点、不连错位置——尤其在并发或带删除的场景下,<code>forward[i]</code> 的赋值顺序和 null 检查时机,差一行就导致无限循环或数据丢失。</p>Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!











