跳表需手写因std::map/set基于红黑树,不直接支持按rank查找、反向迭代及高并发无锁更新;跳表通过多层随机指针实现o(log n)操作,且天然适合细粒度并发控制。

为什么跳表在 C++ 中不用 std::map 或 std::set 就要自己写?
因为跳表能提供平均 O(log n) 查找/插入/删除,且支持范围查询、按 rank 查找(第 k 小)、甚至反向迭代——这些是红黑树(std::map 底层)不直接支持的。更重要的是,跳表天然适合并发:多线程可无锁地更新不同层级,而 std::map 修改必须加锁。
但别一上来就冲并发版本。先写单线程、带内存管理、层级控制合理的版本,否则容易卡在指针乱跳或内存泄漏上。
- 跳表不是链表套链表,而是「同一节点在多个层级有多个指针」,每个层级是前一层的随机采样
-
max_level别设成 64(常见错误),实际 16–32 足够;100 万个节点,期望最高层约 20 层 - 层级生成必须用独立随机源(如
std::random_device+std::mt19937),不能用rand()—— 否则测试时总复现同一结构,掩盖逻辑缺陷
insert() 中最常崩的三处指针操作
插入本质是「找到每层的前驱节点,然后原子地改指针」。崩点不在算法,而在指针连错顺序和空检查遗漏。
- 必须从最高层往下找,每层记录该层的前驱(
update[i]),不能只记底层前驱再往上推——那样会漏掉中间层插入点 - 新建节点后,要按从低到高顺序设置
next指针(即先连 level 0,再 level 1…),否则高阶指针可能指向未初始化内存 - 所有
update[i]非空判断必须显式写!= nullptr,C++ 中if (update[i])看似简洁,但若指针类型被误定义为int*或封装类,可能隐式转换出错
示例关键片段:
Node* x = new Node(key, val, level);
for (int i = 0; i next[i] = update[i]->next[i];
update[i]->next[i] = x;
}
查找时 find() 返回 nullptr 还是 Node*?选后者并附带层级信息
单纯返回值没用——你没法知道它在哪一层命中,后续做范围扫描或删除时还得重走一遍路径。生产级跳表应让 find() 返回一个结构体,至少含 Node* 和 level(或完整 update[] 数组)。
- 如果只查存在性,用
contains(key)布尔函数更清晰,避免用户误用指针结果 - 查找过程中一旦某层
next为空或 key 更大,立即降层,不要硬往右走到头——这会浪费O(n)时间 - 比较 key 时务必用
key next[i]->key,而不是key != ...,否则重复 key 场景下可能跳过正确节点
内存回收:别在 delete 里直接 delete node
跳表删除不是简单断开指针。节点可能被多个层级引用,且删除后其他线程(即使当前单线程,未来扩展)可能正读它的 next[i]。安全做法是「标记删除 + 延迟回收」,但初版可用 RAII 简化:
- 把所有
Node*存进std::vector<:unique_ptr>></:unique_ptr>,析构时自动释放 - 或者用对象池(
std::deque<node></node>+ 自由链表),避免频繁 new/delete 引发 cache 不友好 - 绝对不要在
erase()中调用delete后还访问node->next[0]—— 即使只是打印日志,UB 就发生了
真正难的不是实现,是验证:插入 10 万随机数后,用 dump() 打印各层链表,肉眼确认每层都是升序、高层节点确实出现在底层的子集里——这个步骤跳不过。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











