哈希 -- 简单实现

在STL库中,有map和set两个关联式容器,这两个容器的底层都是以红黑树为底层。但是在后续的发展过程中,我们发现有些场景的数据不适合用红黑树进行存储,所以有人就发明了底层为哈希表的map和set,称为unordered_map 和 unordered_set,这两个容器的存储内容并不是顺序存储。

目录

一、unordered_map 和 unordered_set

<1>接口的介绍

<2>性能区别

二、底层

<1>分类

1.直接定址法

2.除留余数法

3.随机数法(了解即可,使用的频率较少)

<2>哈希冲突的解决方法

1、闭散列

2、开散列

<3>代码实现中的一些问题

<4>代码实现(闭散列)

<5>迭代器的实现和开散列的哈希表实现

<6>unordered_map 和 unordered_set 的封装


一、unordered_map 和 unordered_set

<1>接口的介绍

这两个容器在使用方面与set和map高度相似,

我们可以发现,基本上这里的接口都和map和set的接口高度重合,具体的用法可自行查询,与map和set无太大的差异。

<2>性能区别

我们可以使用一定的数据对这两个容器进行插入的测试,以此来比较它们之间的性能。下面以set为例。

这里我们先以十万量级的数据做对比,

我们可以看见,在除去重复值的情况下,我们可以看见总共插入3万多的整数,但set插入的时间是unordered_set的两倍。

下面我们对上述的数据进行修改,由于srand函数只能生成3万多个随机数,会产生很多的重复值。所以我们可以对测试代码稍加修改,消除一些重复值,然后将数据量扩大到一百万级别。

运行结果

我们可以看见,虽然两者的插入时间相差不大,但unordered_set的速度仍然比set的插入速度要快。当然,在一些特定的场景下,set插入速度就unordered_set快(比如在有序场景下)。从时间复杂度上来说,哈希表属于O(1)级别,而红黑树属于O(logN);

二、底层

什么是哈希?哈希又称散列,就是将存储的值和存储位置建立起关联关系,并将其存储起来。

上面这种情况就是我们常见的一种情况,把对应的数据映射到对应的下标,并++,但是这种存储方式就存在一种弊端,那就是当数据范围非常大时,我们就需要开非常的空间来存储对应的数据,这种情况是不可取的,所以我们就需要通过别的方式来建立映射。

<1>分类

1.直接定址法

直接定址法就是上述我们所介绍的方法,这种方法胜在能直接找出对应的映射位置,但是会造成空间的浪费。

2.除留余数法

对于直接定址法所产生的问题,我们可以通过除留余数法进行解决。这个方法就是将对应的数据除以哈希表的大小,也就是顺序表的大小,产生的余数就是对应的新下标。但是,这个方法也有一个缺点,那就是会造成哈希冲突(哈希碰撞),也就是多个值映射到同一个位置。

3.随机数法(了解即可,使用的频率较少)

选择一个随机函数,取关键字的随机函数为它的哈希地址,。

还有许多的方法可以建立映射,这里我们不一一赘述,如有需要,可自寻查询。

<2>哈希冲突的解决方法

1、闭散列

该方法也称为开放定址法,当哈希冲突发生时,我们可以将新的数据放到冲突位置的下一个空位置当中。寻找空位的方法也有许多,这里我们主要介绍线性探测的方式来查找。该方法就是依次在映射位置向后查找,遇到结尾要回绕,直到遇见空就停止。

而哈希冲突越多,插入的效率就越低。所以就有了负载因子的概念,负载因子 = 实际存储的数据 / 表的大小。一般我们会将负载因子控制在0.7,如果超过0.7,一般我们就会进行扩容操作。

1、查找与插入

        插入位置 i = key % 表的大小,根据i的大小,无论是插入还是查找,我们都可以通过线性探测依次向后查找即可,我们就可以完成插入与删除操作。

2、删除

        在删除之前,我们需要先进行查找,这里会产生一些特殊的情况,下面举个例子。

如果我们将15删除后,查找6,我们就会发现找不到6,因为我们在找到6前,就已经存在了空。所以我们对空间上的位置加上一个标记,以此来表示它是被删除的,还是存在,亦或是空。如果是被删除的状态,我们就需要继续向后寻找。

2、开散列

开散列的拉链法,又成为哈希桶。这个方法其实就是将相同的映射值用链表连接起来,顺序表上存储的是链表的头节点。

开散列的删除、插入和查找工作会更加简单,如果要查找,直接在对应的映射的地址上的链表依次查找即可,删除就是单链表的删除。

<3>代码实现中的一些问题

1、在扩容时,我们需要注意的是,新表的数据需要通过旧表重新映射得来。这也就是为什么在数据量级比较大时,set和unordered_set插入速度差不多的原因。

2、在开散列的开放定址法中,我们可以需要通过每个节点加上状态标记,方便后续的查找和删除

3、由于我们在前面存储的数据都是整数,但是日常生活中不可能都是存储整数,一般我们都是以字符串的方式存储数据(也有可能是其他类型的数据),我们需要通过哈希函数来对这些数据进行转换成整数。

哈希函数存在很多的算法,这里不一一赘述,读者可以自行搜寻。比较常见的就是BKDR、DJB、AP等等,这里我使用的BKDR的算法,也就是乘131,1313.....等数值。这里需要特别注意的是,我们一般不用字符串的长度作为转换值,这样可能回造成数值的高度重合。

4、在开散列的开放定址法中,我们的探测方式并不只有线性探测,但需要注意的是查找、删除和插入所用的方法一定是要一样的。

<4>代码实现(闭散列)

template<class K>
struct HashFunc
{size_t operator()(const K& s){return s;}
};
template<>//模板特换
struct HashFunc<string>
{size_t operator()(const string& s){size_t hash = 0;for (auto& e : s){hash += e;hash *= 131;//防止出现字符串因顺序不同,而造成返回整型相同。}return hash;}
};
namespace open_address
{enum State{EMPTY,EXIST,DELETE};template<class K, class V>struct HashData{pair<K, V> data;State state = EMPTY;};template<class K, class V, class HashFunc = HashFunc<K>>class HashTable{public:HashTable(size_t size = 10){_table.resize(size);}HashTable<K, V, HashFunc>* Find(const K& key){HashFunc ht;size_t hashi = ht(key) % _table.size();while (_table[hashi].state != EMPTY){if (key == _table[hashi].data.first && _table[hashi].state == EXIST){return &_table[hashi];}++hashi;hashi %= _table.size();}return nullptr;}bool Erease(const K& key){HashTable<K, V>* ret = Find(key);if (ret){ret->_table.state = DELETE;}else{return false;}--_n;return true;}bool insert(const pair<K, V>& val){//扩容if ((double)_n / _table.size() >= 0.7){size_t newsize = _table.size() * 2;//vector<HashData> newtable(newsize);//注释的代码和下面一段代码效果等同遍历旧表//for (auto& e : _table)//{//	if (e.state == EXIST)//	{//		size_t newi = e.data.first % newtable.size();//		while (newtable[newi].state == EXIST)//		{//			++newi;//			newi %= _table.size();//		}//	    newtable[newi].data = e;//		newtable[newi].state = EXIST;//	}//}//_table.swap(newtable);HashTable<K, V, HashFunc> newtable(_table.size() * 2);for (auto& e : _table){if (e.state == EXIST){newtable.insert(e.data);}}_table.swap(newtable._table);}HashFunc ht;size_t hashi = ht(val.first) % _table.size();//线性探测while (_table[hashi].state == EXIST){++hashi;hashi %= _table.size();}_table[hashi].data = val;_table[hashi].state = EXIST;_n++;return true;}private:vector<HashData<K, V>> _table;size_t _n = 0;};
}

<5>迭代器的实现和开散列的哈希表实现

迭代器:

template<class K, class V, class KeyOFT, class Hash>//前置声明
class HashTable;
template<class K, class V, class KeyOFT, class Hash>
struct HashIterator
{
public:typedef HashTable<K, V, KeyOFT, Hash> HT;typedef HashNode<V> Node;typedef HashIterator<K, V, KeyOFT, Hash> Self;HashIterator(HT* p, Node* pc):hc(p),node(pc){}V* operator->(){return &node->val;}V& operator*(){return node->val;}Self& operator++(){if (node->next){node = node->next;}else{KeyOFT kot;Hash hs;size_t hashi = hs(kot(node->val)) % hc->ptr.size();hashi++;while (hashi < hc->ptr.size()){if (hc->ptr[hashi]){node = hc->ptr[hashi];break;}hashi++;}if (hashi == hc->ptr.size()){node = nullptr;}}return *this;}bool operator!=(const Self& val){return node != val.node;}HT* hc;Node* node;
};

这里前置声明是为了能够访问HashTable中的私有成员,这里我直接定义的是HashTable这个类,也可以直接将迭代器的成员变量设置成vector,这样就不需要加前置声明了。

HashTable:
 

	template<class K, class V, class KeyOFT, class Hash>class HashTable{public://为了访问hc中的私有成员template<class K, class V, class KeyOFT, class Hash>friend struct HashIterator;typedef HashNode<V> Node;typedef HashIterator<K, V, KeyOFT, Hash> Iterator;HashTable(){ptr.resize(10, nullptr);_n = 0;}~HashTable(){for (size_t i = 0; i < ptr.size(); i++){Node* cur = ptr[i];while (cur){Node* next = cur->next;delete cur;cur = next;}ptr[i] = nullptr;}}Iterator begin(){for (size_t i = 0; i < ptr.size(); i++){//找到第一个桶的第一个节点if (ptr[i]){return Iterator(this, ptr[i]);}}return end();}size_t size(){return this->_n;}Iterator end(){return Iterator(this, nullptr);}bool Erease(const K& key){Hash h;KeyOFT kot;size_t hashi = h(key) % ptr.size();Node* cur = ptr[hashi];Node* prv = nullptr;while (cur){if (kot(cur->val) == key){if (prv){prv->next = cur->next;}else{ptr[hashi] = cur->next;}delete cur;--_n;return true;}prv = cur;cur = cur->next;}return false;}pair<Iterator,bool> insert(const V& val){if (Find(val).first != end()){return make_pair(Find(val).first, false);}else{Hash h;KeyOFT kot;//这里我们直接不采用直接swap两个表的方式,我们直接将节点挂到新的表上,这样我们//节省析构节点的时间,在所有节点重新挂完后,我们再swap即可if (_n == ptr.size())//负载因子等于1,就开始扩容{vector<Node*> newTable(ptr.size() * 2, nullptr);for (size_t i = 0; i < ptr.size(); i++){//依次取出旧表中的节点Node* cur = ptr[i];while (cur){size_t num = h(kot(cur->val)) % (ptr.size() * 2);cur->next = newTable[num];newTable[num] = cur;cur = cur->next;}}ptr.swap(newTable);}size_t n = h(kot(val)) % ptr.size();Node* newnode = new Node(val);newnode->next = ptr[n];ptr[n] = newnode;_n++;return make_pair(Iterator(this,newnode),true);}}pair<Iterator,bool> Find(const V& val){KeyOFT kot;Hash h;size_t n = h(kot(val)) % ptr.size();Node* cur = ptr[n];while (cur){if (kot(cur->val) == kot(val)){return make_pair(Iterator(this,cur),true);}cur = cur->next;}return make_pair(Iterator(this,nullptr),false);}private:vector<Node*> ptr;size_t _n;};

上述的KeyOFT模板参数是为上层的unoreded_map 和unordered_set封装做准备的。

<6>unordered_map 和 unordered_set 的封装

unordered_set:

	template<class K,class Hash = HashFunc<K>>class unorderset{struct SetKeyOFT{const K& operator()(const K& key){return key;}};typedef typename Hash_Bucket::HashTable<const K, K, SetKeyOFT, HashFunc<K>>::Iterator Iterator;public:pair<Iterator,bool> Insert(const K& kv){return ht.insert(kv);}Iterator begin(){return ht.begin();}Iterator end(){return ht.end();}bool Erase(const K& key){return ht.Erease(key);}Iterator Find(const K& Key){return ht.Find(Key);}private:Hash_Bucket::HashTable<const K ,K, SetKeyOFT, HashFunc<K>> ht;};

unordered_map:

template<class K, class V,class Hash = HashFunc<K>>
class unordermap
{
public:struct MapKeyOFT{const K& operator()(const pair<K, V>& kv){return kv.first;}};typedef typename Hash_Bucket::HashTable<K, pair<const K, V>, MapKeyOFT, Hash>::Iterator Iterator;pair<Iterator,bool> Insert(const pair<K, V>& kv){return ht.insert(kv);}Iterator begin(){return ht.begin();}Iterator end(){return ht.end();}bool Erase(const K& key){return ht.Erease(key);}pair<Iterator, bool> Find(const K& Key){return ht.Find(Key);}V& operator[](const K& key){pair<Iterator, bool> ret = Insert(make_pair(key,V()));return ret.first->second;}
private:Hash_Bucket::HashTable<K, pair<const K, V>, MapKeyOFT, Hash> ht;
};

以上就是所有内容,感谢阅读!!!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/bicheng/48723.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C语言中的控制语句(一):if语句

文章目录 &#x1f34a;自我介绍&#x1f34a;if 的单分支语句&#x1f34a;a.if 单分支判断&#x1f34a;b.if单分支选择判断 &#x1f34a;if多分支语句&#x1f34a;if多分支选择判断 你的点赞评论就是对博主最大的鼓励 当然喜欢的小伙伴可以&#xff1a;点赞关注评论收藏&a…

web前端 React 框架面试200题(七)

面试题 185. 如果想要在组件第一次加载后获取该组件的dom元素&#xff0c;应当在以下哪个生命周期中进行 &#xff1f; A&#xff1a;componentDidUpdate() B&#xff1a;componentDidMount() C&#xff1a;componentWillUnmount() D&#xff1a;shouldComponentUpdate()答案&…

HarmonyOS应用开发者高级认证,Next版本发布后最新题库 - 多选题序号2

基础认证题库请移步&#xff1a;HarmonyOS应用开发者基础认证题库 注&#xff1a;有读者反馈&#xff0c;题库的代码块比较多&#xff0c;打开文章时会卡死。所以笔者将题库拆分&#xff0c;单选题20个为一组&#xff0c;多选题10个为一组&#xff0c;题库目录如下&#xff0c;…

MMCV 核心组件分析(一):整体概述

概述 MMCV 是计算机视觉研究的基础库&#xff0c;并提供以下功能。

(11)Python引领金融前沿:投资组合优化实战案例

1. 前言 本篇文章为 Python 对金融的投资组合优化的示例。投资组合优化是从一组可用的投资组合中选择最佳投资组合的过程&#xff0c;目的是最大限度地提高回报和降低风险。 投资组合优化是从一组可用的投资组合中选择最佳投资组合的过程&#xff0c;目的是最大限度地提高回报…

订单管理系统需求规范

1. 引言 1.1 目的 本文档旨在明确描述订单管理系统的功能、非功能性需求以及约束条件&#xff0c;以指导系统的分析、设计、开发、测试和部署。 1.2 范围 本系统将支持在线订单处理&#xff0c;从客户下单到完成配送的全过程管理&#xff0c;包括库存管理、支付处理、订单跟…

TypeScript与面向对象编程

引言 TypeScript简介 TypeScript是JavaScript的一个超集&#xff0c;由微软开发&#xff0c;它在JavaScript的基础上添加了类型系统和对ES6的新特性的支持。TypeScript最终会被编译成纯JavaScript代码&#xff0c;以便在任何支持JavaScript的环境中运行。 面向对象编程&…

单例模式_Golang

目录 一、单例模式 1.1 基本概念 1.2 使用场景 二、Golang实现 2.1 懒汉模式&#xff08;Lazy Loading&#xff09; 一、单例模式 1.1 基本概念 一个类只能生成一个实例&#xff0c;且该类能自行创建这个实例的一种模式,这个定义个人感觉可以拆的通俗一些,在项目的生命周…

电子电器架构 - SOA架构软件平台

电子电器架构 - SOA架构软件平台 我是穿拖鞋的汉子,魔都中坚持长期主义的汽车电子工程师。 老规矩,分享一段喜欢的文字,避免自己成为高知识低文化的工程师: 屏蔽力是信息过载时代一个人的特殊竞争力,任何消耗你的人和事,多看一眼都是你的不对。非必要不费力证明自己,无…

Spring通过工厂方法进行配置

在Spring的世界中&#xff0c; 我们通常会利用 xml配置文件 或者 annotation注解方式来配置bean实例&#xff01; 在第一种利用 xml配置文件 方式中&#xff0c; 还包括如下三小类 反射模式&#xff08;我们前面的所有配置都是这种模式&#xff09;工厂方法模式Factory Bean模…

Composition API实现逻辑复用

抽离逻辑代码到一个函数函数命名约定为useXxxx格式&#xff08;react Hooks也是&#xff09;在setup中去引用这个函数 如下经典鼠标位置例子&#xff1a; // useMousePosition.ts import { onMounted, onUnmounted, ref } from "vue";const useMousePosition () &…

【Spark官方文档部分翻译】RDD编程指南(RDD Programming Guide)

写在前面 内容如何选择 本翻译只翻译本人认为精华的部分&#xff0c;本人认为的Spark的一些核心理念&#xff0c;编程思想。一些特别基础的操作包括但不限于搭建环境就不在此赘述了。 配套版本 本系列基于Spark 3.3.1&#xff0c;Scala 2.12.10&#xff0c;进行翻译总结 原…

Linux+InternStudio 关卡(test)

任务地址&#xff1a; https://github.com/InternLM/Tutorial/blob/camp3/docs/L0/Linux/task.md 文档 https://github.com/InternLM/Tutorial/blob/camp3/docs/L0/Linux/readme.md 任务 ssh连接 端口映射 gradio页面 笔记&#xff1a; 1.端口映射阶段&#xff1a;输入密…

编译linux kernel时,如何增加一个include路径?

编译linux kernel时增加一个include路径的方法&#xff0c;使用 EXTRA_CFLAGS : make O/path/to/build/dir ARCHyour_arch CROSS_COMPILEyour_cross_compiler EXTRA_CFLAGS"-I/your/new/path" 其中 EXTRA_CFLAGS"-I/your/new/path" 就是要增加的include路径…

线段树分治+可撤销并查集 学习笔记

题目一般是给你边或者点的出现时间区间[Li,Ri]&#xff0c;问你在某些时间里1能访问到的点或者点的数量。 先考虑暴力的思路&#xff0c;就是对于一个具体的时间节点&#xff0c;我们去暴力地得知当前边/点是否出现&#xff0c;并且跑图查看是否联通。 由于一个具体的时间节点…

使用 hutool工具实现导入导出功能。

hutool工具网址 Hutool参考文档 pom依赖 <dependency><groupId>cn.hutool</groupId><artifactId>hutool-all</artifactId><version>5.7.20</version></dependency><dependency><groupId>org.apache.poi</gro…

ASP.NET Core在启动过程中使用数据库实例的几种方式

ASP.NET Core项目启动过程中若要调用SqlSugarClient实例操作数据库数据&#xff08;假设操作函数如下&#xff09;&#xff0c;特此记录以下几种方式&#xff1a; public class PublicDataBuffer {public static List<EnvironmentRecord> DataBuffer new List<Envir…

【BUG】已解决:ModuleNotFoundError: No module named ‘sklearn‘

已解决&#xff1a;ModuleNotFoundError: No module named ‘sklearn‘ 目录 已解决&#xff1a;ModuleNotFoundError: No module named ‘sklearn‘ 【常见模块错误】 【解决方案】 欢迎来到英杰社区https://bbs.csdn.net/topics/617804998 欢迎来到我的主页&#xff0c;我是…

Kotlin 基础语法

文章目录 一. 函数 一. 函数 Java中方法的叫法更普遍一些&#xff0c;Kotlin中函数的叫法更普遍一些&#xff1b;二者为同一东西 1. 标准写法 fun largerNumber(num1: Int, num2: Int): Int {return max(num1, num2) }2. 重要语法糖 当一个函数中只有一行代码时&#xff0c;K…

视频点播项目

文章目录 视频点播技术栈与项目环境JsonCppMariaDBhttplib 工具类设计文件类Json类 数据管理模块视频信息管理&#xff08;数据表设计&#xff09;数据管理类设计 网络通信接口设计业务处理模块设计前端界面主页面播放页面 项目总结项目回顾项目结构关键技术点总结 视频点播 允…