c++如何实现一个跳表(Skip List)_c++替代平衡树的高效数据结构【源码】

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

c++如何实现一个跳表(Skip List)_c++替代平衡树的高效数据结构【源码】

2025-12-13

浏览次数：次

返回列表

跳表是一种概率性多层链表结构，平均查找复杂度O(log n)，通过随机提升和分层索引实现高效操作，比平衡树更易实现。

c++如何实现一个跳表(skip list)_c++替代平衡树的高效数据结构【源码】

<p>跳表（Skip List）是一种概率性数据结构，用多层链表实现快速查找，平均时间复杂度为 O(log n)，最坏 O(n)，但实践中非常稳定，且比红黑树、*L 等平衡树更易实现和调试。C++ 中无需依赖复杂旋转逻辑，只需维护多级前向指针即可。</p>

<H3>核心设计思路：分层 + 随机提升</H3>
<p>跳表本质是“带索引的有序链表”：底层是完整有序链表（Level 0），上层是稀疏子集（每层节点以约 50% 概率“晋升”到上一层）。查找时从最高层开始向右跳，遇到过大值就下移，最终在底层定位目标。</p>
<p>关键点：</p>
<ul>
  <li>每个节点不是固定层数，而是插入时随机决定层数（如用 rand() % 2 == 0 不断提升，直到失败，最大层数可设上限，如 32）</li>
  <li>所有层共享同一组键值，仅指针结构分层</li>
  <li>头节点（head）需初始化为 max_level 层，每层 next 指针初始为 nullptr</li>
  <li>为简化边界处理，可设哨兵尾节点（或用 nullptr 表示结尾）</li>
</ul>

<H3>节点定义与内存管理</H3>
<p>节点需存储 key、value（支持 map 语义）、以及动态长度的 next 指针数组：</p>
<pre class="brush:php;toolbar:false;"><font size="2">struct SkipListNode {
    int key;
    std::string value;  // 可泛化为 template <typename V>
    std::vector<SkipListNode*> next;

    SkipListNode(int k, const std::string& v, int level) 
        : key(k), value(v), next(level, nullptr) {}
};</font>

不推荐用 raw new/delete 手动管理 —— 可封装在类内用 std::vector 或 std::unique_ptr 统一释放；若追求极致性能，可用内存池（但初版跳表建议先忽略）。

拾贝

一键同步微信读书所有笔记和划线，并在新标签页回顾

186 查看详情

插入与查找的核心逻辑

查找（search）是插入/删除的基础：记录每层最后一个小于 key 的节点（update 数组），用于后续链接修复：

<font size="2">SkipListNode* search(int key) {
    auto x = head;
    for (int i = current_level - 1; i >= 0; i--) {
        while (x->next[i] && x->next[i]->key < key) {
            x = x->next[i];
        }
    }
    x = x->next[0];  // 落到 level 0，检查是否命中
    return (x && x->key == key) ? x : nullptr;
}</font>

插入（insert）流程：

先执行 search 过程，同时记录每层“前驱节点”到 update[i]
生成新节点，层数 random_level()（如：while (rand() & 1 && lvl
更新 current_level（若新层数更高）
逐层设置新节点 next[i] = update[i]->next[i]，再令 update[i]->next[i] = 新节点

完整可运行精简版（支持 int→string 映射）

<font size="2">#include <iostream>
#include <vector>
#include <random>
#include <algorithm>

struct SkipListNode {
    int key;
    std::string value;
    std::vector<SkipListNode*> next;

    SkipListNode(int k, const std::string& v, int level) 
        : key(k), value(v), next(level, nullptr) {}
};

class SkipList {
    SkipListNode* head;
    int current_level;
    const int max_level = 16;
    std::mt19937 rng{std::random_device{}()};

    int random_level() {
        int lvl = 1;
        std::bernoulli_distribution d(0.5);
        while (d(rng) && lvl < max_level) ++lvl;
        return lvl;
    }

public:
    SkipList() : current_level(1) {
        head = new SkipListNode(0, "", max_level);
    }

    ~SkipList() {
        auto x = head;
        while (x) {
            auto next = x->next[0];
            delete x;
            x = next;
        }
    }

    void insert(int key, const std::string& value) {
        std::vector<SkipListNode*> update(max_level, head);
        auto x = head;

        for (int i = current_level - 1; i >= 0; i--) {
            while (x->next[i] && x->next[i]->key < key)
                x = x->next[i];
            update[i] = x;
        }

        x = x->next[0];
        if (x && x->key == key) {
            x->value = value;  // 更新已存在 key
            return;
        }

        int lvl = random_level();
        if (lvl > current_level) {
            for (int i = current_level; i < lvl; ++i)
                update[i] = head;
            current_level = lvl;
        }

        x = new SkipListNode(key, value, lvl);
        for (int i = 0; i < lvl; ++i) {
            x->next[i] = update[i]->next[i];
            update[i]->next[i] = x;
        }
    }

    std::string find(int key) {
        auto x = head;
        for (int i = current_level - 1; i >= 0; i--) {
            while (x->next[i] && x->next[i]->key < key)
                x = x->next[i];
        }
        x = x->next[0];
        return (x && x->key == key) ? x->value : "";
    }
};

// 使用示例
int main() {
    SkipList sl;
    sl.insert(3, "three");
    sl.insert(1, "one");
    sl.insert(5, "five");
    std::cout << sl.find(1) << "\n"; // one
    std::cout << sl.find(4) << "\n"; // (empty)
}</font>