<<哈希表迭代器函数>>
哈希表迭代器是手写哈希表的核心模块,依托KeyOfT取键仿函数实现通用适配,同时打通unordered_map / unordered_set遍历逻辑,是容器实现迭代遍历、范围for循环的底层支撑。哈希表迭代器不同于链表、数组迭代器,需要适配哈希桶数组+单链表的双层结构。
1 迭代器核心原理
哈希表底层结构为:数组(哈希桶)+ 每个桶挂载一条单链表。迭代器的核心工作逻辑:
记录当前遍历的节点指针(当前链表节点)
记录当前遍历的桶下标(定位当前遍历的数组桶)
重载
++运算符,实现跨桶、同桶遍历切换依托KeyOfT适配map/set不同数据类型,实现通用遍历
核心特点:哈希表迭代器是单向迭代器,仅支持前置/后置++,不支持 -- 反向遍历,和STL标准unordered容器迭代器特性一致。
2 迭代器完整源码实现(通用模板)
迭代器封装为模板类,和哈希表、KeyOfT联动,完美适配map、set两种场景,无代码冗余。
// 前置声明哈希表模板类 template<class K, class T, class KeyOfT, class HashFunc> class HashTable; // 哈希表迭代器类 template<class K, class T, class KeyOfT, class HashFunc> struct HashIterator { // 别名定义,简化代码 typedef HashNode<T> Node; typedef HashIterator<K, T, KeyOfT, HashFunc> Self; Node* _pNode; // 当前迭代器指向的节点 size_t _bucketIndex; // 当前所在桶的下标 HashTable<K, T, KeyOfT, HashFunc>* _ht; // 哈希表本体指针 // 构造函数 HashIterator(Node* node, size_t index, HashTable<K, T, KeyOfT, HashFunc>* ht) :_pNode(node) , _bucketIndex(index) , _ht(ht) {} // 重载解引用:返回节点存储的数据 T& operator*() { return _pNode->_data; } // 重载箭头:支持 -> 访问数据成员 T* operator->() { return &_pNode->_data; } // 重载前置++(核心遍历逻辑) Self& operator++() { // 1. 当前桶还有后续节点,直接往后走 if (_pNode->_next != nullptr) { _pNode = _pNode->_next; } // 2. 当前桶遍历完毕,寻找下一个非空桶 else { _bucketIndex++; // 遍历后续所有桶,找到第一个非空桶的头节点 while (_bucketIndex < _ht->_table.size()) { if (_ht->_table[_bucketIndex] != nullptr) { _pNode = _ht->_table[_bucketIndex]; break; } _bucketIndex++; } // 所有桶遍历完毕,迭代器置空(尾后迭代器) if (_bucketIndex >= _ht->_table.size()) { _pNode = nullptr; } } return *this; } // 重载后置++ Self operator++(int) { Self tmp = *this; ++(*this); return tmp; } // 重载相等判断 bool operator!=(const Self& it) { return _pNode != it._pNode; } // 重载不等判断 bool operator==(const Self& it) { return _pNode == it._pNode; } };3 哈希表配套迭代器接口
在哈希表类中实现begin()和end()接口,对外提供遍历入口,适配范围for循环。
// 哈希表类内接口 // 找到第一个非空桶的首节点,返回起始迭代器 iterator begin() { for (size_t i = 0; i < _table.size(); i++) { if (_table[i] != nullptr) { return iterator(_table[i], i, this); } } return end(); } // 尾后迭代器:节点为空 iterator end() { return iterator(nullptr, -1, this); }4 迭代器与 KeyOfT 的联动关系
迭代器本身不直接处理键值提取,而是通过对外暴露数据,结合KeyOfT实现通用遍历匹配,完美承接前文知识点:
遍历set:迭代器取出T(即K),直接取值使用
遍历map:迭代器取出T(pair<K,V>),通过KeyOfT提取first键,完成查找、比对逻辑
核心逻辑:迭代器负责遍历节点,KeyOfT负责解析数据,二者分工明确,共同实现一套代码适配两种容器。
5 迭代器核心特性
单向遍历:仅支持++,不支持--,属于单向迭代器,契合STL unordered容器特性
跨桶遍历:自动识别当前桶是否遍历完毕,无缝切换下一个非空桶
零开销:模板编译期确定类型,无运行时多态开销
通用性强:依托模板+KeyOfT,同时适配map、set自定义类型遍历
6 迭代器常见易错点
遍历顺序无序:哈希表迭代器遍历顺序并非插入顺序,是哈希桶存储顺序,和STL unordered容器一致
扩容迭代器失效:哈希表扩容后,底层数组重构,原有迭代器全部失效,不可继续使用
不支持反向遍历:未重载--运算符,强行调用会编译报错
尾后迭代器禁止解引用:end()迭代器节点为空,解引用会触发空指针访问崩溃
7 面试高频考点
1、哈希表迭代器为什么不支持反向遍历?
哈希表每个桶是单向链表,仅保存next后继指针,无前驱指针,无法向前遍历;且桶与桶之间无关联,不支持反向迭代。
2、迭代器和KeyOfT的协作逻辑是什么?
迭代器负责遍历所有存储节点,取出原始数据T;KeyOfT负责从T中提取哈希键K,实现遍历过程中的查重、比对、匹配逻辑,是遍历功能通用化的核心。
3、哈希表迭代器失效场景?
主要为扩容场景:插入元素触发扩容后,底层哈希桶数组重新开辟空间,所有节点迁移至新数组,原有迭代器的节点指针、桶下标全部失效。
