c++如何实现一个哈希表_c++数据结构unordered_map原理【源码】

c++kquote>std::unordered_map底层采用哈希+拉链法,以质数大小的桶数组和单向链表节点构成,通过哈希值取模定位bucket,负载因子超限触发rehash。

c++如何实现一个哈希表_c++数据结构unordered_map原理【源码】

哈希表在 C++ 中最常用的实现就是 std::unordered_map,它底层基于开放寻址或链地址法(主流实现是**分离链表法**),提供平均 O(1) 的插入、查找和删除。它不是标准强制规定实现方式,但所有主流 STL(如 libstdc++、libc++、MSVC STL)都采用**哈希 + 拉链(bucket + linked list)**结构,配合动态扩容和负载因子控制。

核心结构:桶数组 + 单向链表节点

每个桶(bucket)是一个指针,指向一条以哈希值相同元素构成的单向链表。关键成员通常包括:

bucket 数组(vector):大小为质数(避免哈希冲突聚集),初始一般为 11 或 17Node 结构:含 keyvaluenext 指针(可能还有 hash 值缓存)元素总数(size)和桶数量(bucket_count):用于计算负载因子 load_factor = size / bucket_count最大负载因子(max_load_factor):默认 1.0,超限触发 rehash

哈希与映射:如何定位 bucket

给定 key,流程如下:

调用 std::hash()(key) 得到一个 size_t 类型哈希值(对自定义类型需特化或传 Hash 函数对象)用 hash_value % bucket_count 算出下标(libstdc++ 实际用更优的 hash_value & (bucket_count - 1),但前提是 bucket_count 是 2 的幂;而实际它用的是质数,所以仍是取模)遍历该 bucket 对应链表,用 operator== 比较 key(注意:哈希相等 ≠ key 相等,必须二次判断)

插入与扩容:rehash 是性能关键

插入逻辑简述:

立即学习“C++免费学习笔记(深入)”;

计算 bucket 下标遍历链表检查 key 是否已存在(存在则更新 value)不存在则 new Node 插入链表头(或尾,取决于实现),size++若 size > max_load_factor * bucket_count,触发 rehash:分配新桶数组(更大质数),把所有旧节点重新 hash 插入新表

libstdc++ 中 rehash 会将 bucket_count 设为「不小于指定值的最小质数」,质数表是静态预置的(如 11, 23, 47, 97…)。

简易手写版(简化链地址法)示意

(仅演示核心逻辑,无异常/allocator/迭代器等完整功能)

template <typename K, typename V, typename Hash = std::hash, typename Eq = std::equal_to>class simple_unordered_map {    struct Node { K key; V value; Node* next; Node(const K& k, const V& v) : key(k), value(v), next(nullptr) {} };    std::vector buckets;    size_t _size = 0;    float max_load = 1.0f;    Hash hasher;    Eq equal;
size_t hash_index(const K& k) const { return hasher(k) % buckets.size(); }void rehash(size_t new_bucket_count) {    std::vector new_buckets(new_bucket_count, nullptr);    for (Node* node : buckets) {        while (node) {            Node* next = node->next;            size_t idx = hasher(node->key) % new_bucket_count;            node->next = new_buckets[idx];            new_buckets[idx] = node;            node = next;        }    }    buckets.swap(new_buckets);}

public:simple_unordered_map() { buckets.resize(11, nullptr); }

V& operator[](const K& k) {    size_t idx = hash_index(k);    Node*& head = buckets[idx];    for (Node* p = head; p; p = p->next) {        if (equal(p->key, k)) return p->value;    }    // 未找到,插入新节点(头插)    Node* newNode = new Node(k, V{});    newNode->next = head;    buckets[idx] = newNode;    ++_size;    if (_size > max_load * buckets.size()) rehash(/*下一个质数*/);    return buckets[idx]->value;}~simple_unordered_map() {    for (Node* head : buckets) {        while (head) {            Node* next = head->next;            delete head;            head = next;        }    }}

};

基本上就这些。真正工业级实现(如 GCC 的 libstdc++/include/bits/hashtable.h)还涉及内存池、移动语义、迭代器失效规则、const_iterator 支持、emplace 优化等,但骨架一致:哈希分桶 + 链表容错 + 动态扩容。理解这个模型,读源码就不容易迷失在模板嵌套里。

以上就是c++++如何实现一个哈希表_c++数据结构unordered_map原理【源码】的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1488549.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月19日 11:38:53
下一篇 2025年12月19日 11:39:01

相关推荐

发表回复

登录后才能评论
关注微信