自学内容网 自学内容网

C++中的unordered_set和unordered_map的模拟实现

一、封装基本结构

与map和set的封装过程很想,unordered_set和unordered_map也需要用MapKeyOfT和SetKeyOfT创建哈希表类型,借此获取对应的key值来使用;

因此,在哈希表中也一样需要用参数class T来替代set中的key和map中的pair<key,value>

二、迭代器的实现

2.1普通迭代器及其问题

如map和set中一样,迭代器中也需要存储一个节点的指针,整体结构类似

但若是只存储一个节点的指针,在实现operator++的过程中会遇到一个问题:

如果迭代器此时指向“10”这个节点,应该如何找到它的下一个节点呢?

只存结点的话,会导致此时不知表的存在,这个问题是无解的。

因此需要让迭代器中有表的信息,有了表的情况后即可通过计算的出当前映射位置,进而找到下一个非空的映射位置

解决:通过传入迭代器中指针数组或者整个哈希表,而这两者之中,更方便的是传入哈希表

自此我们的迭代器类中的成员变量设置为

Node* _node;
const HashTable<K, T, KeyOfT, Hash>* _pht;

其余*  和->的重载以及begin和end的封装过程与map和set中思路相同,在实现逻辑方面:

begin要去找第一个非空映射位置

end要去构造空迭代器

2.1补:在迭代器中传入哈希表会导致两个问题

在之前要有哈希表的定义;而在哈希表中因为要对迭代器进行typedef,所以在哈希表定义之前也要有迭代器的定义

可以通过将后定义的声明移到先定义的之前

在++的逻辑中,我们需要访问私有成员_tables(即哈希表中的指针数组),会出现权限问题

其一,可以通过在哈希表中实现一个get函数来获取私有成员变量

其二,可以设置迭代器类为哈希表的友元类

template<class K, class T, class KeyOfT, class Ref, class Ptr, class Hash>
friend struct HSIterator;

2.2const迭代器

整体的逻辑与set和map封装中一样,但是会出现一个权限方面的问题

因为之前在迭代器中传入了一个哈希表作为成员变量,所以构造函数的实现中也会出现

HSIterator(Node* node,HashTable<K, T, KeyOfT, Hash>* pht)
{}

而对应begin中我们进行构造迭代器时传值也是直接传入this指针

但轮到Constbegin的实现,我们需要使用const来修饰成员函数(Constbegin是在哈希表类中实现的)

ConstIterator Begin() const
{}

我们要注意,const修饰成员函数的时候,this指针会被const修饰

此时我们

ConstIterator(_tables[hashi], this)

的第二个参数实际上传入的是

const HashTable<K, T, KeyOfT, Hash>*

综上所述:

传入的是const修饰的类型,但是参数列表中确实普通的类型,会导致权限放大的问题

为了解决这一冲突,遵顼权限可以缩小但是不可以放大的原则,我们需要在参数列表中加const修饰,此时参数列表变为

HSIterator(Node* node,const HashTable<K, T, KeyOfT, Hash>* pht)
{}

2.3普通迭代器也不应该允许修改

对于unordered_set来说,若是允许随意修改key的值会导致映射位置错乱,影响后续的查找操作

为了实现这一要求,我们可以在设置unordered_set的成员变量的时候设为

HashTable<K, const K, SetKeyOfT,Hash> _hs;

而对于unordered_map来说也是同理,只是value的值应该可以随意修改,所以其成员变量可以设置为

HashTable<K, pair<const K, V>, MapKeyOfT,Hash> _hs;

三、其他功能的实现

3.1Insert,Find,Erase的实现

如set和map中一样,主要逻辑在哈希表中实现,而unordered_set和unordered_map中只要套一层壳调用即可

3.2operator[]的实现

这是unordered_map特有的,要在对应类中单独实现,思路与map中完全一致

3.3让unordered_set和unordered_map支持自定义类型的映射

底层为哈希表,那么传入自定义类型的时候无法转换为size_t就是一个需要解决的问题

因为日常使用nordered_set和unordered_map是无法直接为哈希表的模板参数传参的,所以我们需要把哈希函数上移一层到unordered_set和unordered_map中,如

四、库中关于unordered_set和unordered_map的其他接口

4.1统计当前桶的总数

size_type bucket_count() const noexcept;

4.2获取第n个桶的长度

size_type bucket_size ( size_type n ) const;

4.3获取当前负载因子

float load_factor() const noexcept;

4.4设置桶的数量

void reserve ( size_type n );

4.5unordered_set和unordered_map使用的其他问题

①要计算平均桶的长度,我们只算有数据的桶才有意义,否则就是算负载因子大小

②如果已知数据量,可以提前reserve桶的数量,如链表中一样,哈希表增加桶的过程会产生不小的消耗


原文地址:https://blog.csdn.net/tianxhiliangtadi/article/details/145167383

免责声明:本站文章内容转载自网络资源,如本站内容侵犯了原著者的合法权益,可联系本站删除。更多内容请关注自学内容网(zxcms.com)!