从底层认识哈希表【C++】

这篇具有很好参考价值的文章主要介绍了从底层认识哈希表【C++】。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

目录

一. unordered系列关联式容器

二. unordered_map的文档介绍

接口使用

三. 底层实现

(1)哈希概念

例:

(2)哈希冲突

(3)冲突解决

1.闭散列​​​​​​​

闭散列框架

插入 

查找

删除

2.开散列(使用较多)

开散列框架

插入

查找

删除

(4)哈希函数

1. 直接定址法--(常用)

2. 除留余数法--(常用)

四,优化

下期预告:封装哈希

结语


​​​​​​​

从底层认识哈希表【C++】,C++——从入门到入土,安排!,散列表,数据结构,c++,哈希算法

一. unordered系列关联式容器

在C++98中,STL提供了底层为红黑树结构的一系列关联式容器,在查询时效率可达到$log_2N$,即最差情况下需要比较红黑树的高度次,当树中的节点非常多时,查询效率也不理想。最好的查询是,进行很少的比较次数就能够将元素找到,因此在C++11中,STL又提供了4个 unordered系列的关联式容器,这四个容器与红黑树结构的关联式容器使用方式基本类似,只是其底层结构不同(map/set是红黑树,unordered_map/unordered_set是哈希表),本文中只对unordered_map和unordered_set进行介绍,unordered_multimap和unordered_multiset学生可查看文档介绍。

二. unordered_map的文档介绍

1. unordered_map是存储<key, value>键值对的关联式容器,其允许通过keys快速的索引到与其对应的value。
2. 在unordered_map中,键值通常用于惟一地标识元素,而映射值是一个对象,其内容与此键关联。键和映射值的类型可能不同。
3. 在内部,unordered_map没有对<kye, value>按照任何特定的顺序排序, 为了能在常数范围内找到key所对应的value,unordered_map将相同哈希值的键值对放在相同的桶中。
4. unordered_map容器通过key访问单个元素要比map快,但它通常在遍历元素子集的范围迭代方面效率较低。
5. unordered_maps实现了直接访问操作符(operator[]),它允许使用key作为参数直接访问value。
6. 它的迭代器至少是前向迭代器。

接口使用

unordered_map与unordered_set用法跟map与set基本类似 ,同时也有unordered_multimap及mutiset的类型,支持数据冗余 。

这里推荐大家直接使用文档查询即可:

unordered_map - C++ Reference (cplusplus.com)

void func()
{
	unordered_map<string, int> mp;
	unordered_set<int> st;

	st.insert(1);
	st.insert(3);
	st.insert(7);
	st.insert(2);

	mp.insert(make_pair("a", 1));
	mp.insert(make_pair("k", 3));
	mp.insert(make_pair("z", 7));
	mp.insert(make_pair("c", 4));

	// 迭代器
	unordered_set<int>::iterator it = st.begin();
	while (it != st.end())
	{
		cout << *it << " ";
		++it;
	}

	cout << endl;

	mp["a"] = 100;  // unordered_map方括号的使用跟map差不多

	// 范围for
	for (auto& e : mp)
	{
		cout << e.first << " :" << e.second << " ";
	}
}

三. 底层实现

(1)哈希概念

顺序结构以及平衡树中,元素关键码与其存储位置之间没有对应的关系,因此在 查找一个元素时,必须要经过关键码的多次比较顺序查找时间复杂度为O(N),平衡树中为树的高度,即O($log_2 N$),搜索的效率取决于搜索过程中元素的比较次数。理想的搜索方法:可以 不经过任何比较,一次直接从表中得到要搜索的元素
如果构造一种存储结构,通过某种函数(hashFunc)使元素的存储位置与它的关键码之间能够建立一一映射的关系,那么在查找时通过该函数可以很快找到该元素
当向该结构中:
插入元素
根据待插入元素的关键码,以此函数计算出该元素的存储位置并按此位置进行存放
搜索元素
对元素的关键码进行同样的计算,把求得的函数值当做元素的存储位置,在结构中按此位置取元素比较,若关键码相等,则搜索成功该方式即为哈希(散列)方法, 哈希方法中使用的转换函数称为哈希(散列)函数,构造出来的结构称为哈希表(Hash Table)(或者称散列表)

例:

数据集合{1,7,6,4,5,9};

哈希函数设置为:hash(key) = key % capacity;    capacity为存储元素底层空间总的大小

从底层认识哈希表【C++】,C++——从入门到入土,安排!,散列表,数据结构,c++,哈希算法

用该方法进行搜索不必进行多次关键码的比较,因此搜索的速度比较快
问题:按照上述哈希方式,向集合中插入元素44,会出现什么问题?   会将下标为8的位置进行,占用。这就是我们后面会说的,哈希冲突。

(2)哈希冲突

对于两个数据元素的关键字,即: 不同关键字通过相同哈希哈数计算出相同的哈希地址,该种现象称为哈希冲突或哈希碰撞把具有不同关键码而具有相同哈希地址的数据元素称为“同义词”。 发生哈希冲突该如何处理呢?
从底层认识哈希表【C++】,C++——从入门到入土,安排!,散列表,数据结构,c++,哈希算法

(3)冲突解决

 解决哈希冲突两种常见的方法是:闭散列开散列

1.闭散列

上面哈希概念的例子,也就是闭散列一个案例。 

闭散列:也叫 开放定址法 ,当发生哈希冲突时,如果哈希表未被装满,说明在哈希表中必然还有空位置,那么可以把key存放到冲突位置中的“下一个” 空位置中去。那如何寻找下一个空位置呢?

线性探测 :从发生冲突的位置开始,依次向后探测,直到寻找到下一个空位置为止

插入
通过哈希函数获取待插入元素在哈希表中的位置,如果该位置中没有元素则直接插入新元素;如果该位置中有元素发生哈希冲突。使用线性探测找到下一个空位置,插入新元素。

但说到插入,我们要考虑一些效率方面的问题。

思考:哈希表什么情况下进行扩容?如何扩容?

从底层认识哈希表【C++】,C++——从入门到入土,安排!,散列表,数据结构,c++,哈希算法

可知,负载因子在达到一定值时,哈希表的效率就会下降,我们要做的就是在这时对哈希表进行扩容,降低负载因子。

可是,一但扩容,size发生改变,那么哈希地址就会发生改变,如:13 % 10 = 3,扩容后, 13 % 20 = 13,我们就找不到13,所以我们需要重新重组哈希表。

闭散列框架

    enum state
	{
		EMPTY,
		EXIST,
		DELETE
	};

	template <class K, class V>
	struct HashData
	{
		pair<K, V> _kv; // 数据内容先设置为pair
		state st;       // 数据,状态标识
   
        HashData()
			:st(EMPTY)
		{}

		HashData(const pair<K, V>& pa )
			:_kv(pa)
			,st(EXIST)
		{}
	};


	template <class K, class V>
	class HashTable
	{
	public:
		typedef HashData<K, V>  HashData;

    private:
		vector<HashData> _tables;  // .size()表示的是多少个哈希地址
		size_t _n;      // 已经占用的哈希地址
	};
}

插入 

        bool insert(const pair<K, V>& pa)
		{
			// 检查是否需要扩容
			if (_tables.size() == 0 || _n * 10 / _tables.capacity() > 7) //负载因子设置 7
			{
				int new_size = _tables.size() == 0 ? 10 : _tables.size() * 2;
				// 重组哈希表
				HashTable<K,V> tmp;
				tmp._tables.resize(new_size);
				for (auto& data : _tables)
				{
					if (data.st == EXIST)
						tmp.insert(data._kv);
				}
				_tables.swap(tmp._tables);   //利用vector自带的swap函数
			}
            // 插入
			size_t hashi = pa.first % _tables.size();
			// 线性探索
			size_t i = 1;
			size_t index = hashi;
			while (_tables[index].st == EXIST)
			{
				index = hashi + i; 
				index %= _tables.size();
				i++;
			}

			_tables[index]._kv = pa;
			_tables[index].st = EXIST;
			_n++;
			return true;
		}

查找

本质上,通过个寻找到哈希地址,然后从哈希地址处向后寻找,遇到空标记或者转一圈后返回;

        bool find(const K& data)
		{
			return _find(data) == -1 ? false : true;
		}

        size_t _find(const K& data)
		{
			size_t hashi = data % _tables.size();
			// 线性探索
			size_t i = 1;
			size_t index = hashi;
			while (_tables[index].st == EXIST) 
			{
				if (_tables[index]._kv.first == data)
					return index;
				index = hashi + i;
				index %= _tables.size();
				i++;

				// 去寻找值时,外一出现全是删除与存在的情况
				if (index == hashi)
					break; // 说明已经经过一圈
			}
			return -1; // 表示未找到
		}

删除

采用闭散列处理哈希冲突时,不能随便物理删除哈希表中已有的元素,若直接删除元素会影响其他元素的搜索。比如删除元素4,如果直接删除掉,44查找起来可能会受影
响。因此 线性探测采用标记的伪删除法来删除一个元素
删除操作,比较简单,套用find寻找值后,修改状态即可。
        bool erase(const K& data)
		{
			auto cur = _find(data);
			if (cur != -1)
			{
				_tables[cur].st = DELETE;
                _n--;
				cout << "擦除成功" << endl;
				return 1;
			}
			else
			{
				cout << "未找到" << endl;
				return -1;
			}
		}

2.开散列(使用较多)

开散列法又叫链地址法(开链法),首先对关键码集合用散列函数计算散列地址,具有相同地址的关键码归于同一子集合,每一个子集合称为一个桶,各个桶中的元素通过一个单链表链接起来,各链表的头结点存储在哈希表中

从底层认识哈希表【C++】,C++——从入门到入土,安排!,散列表,数据结构,c++,哈希算法

开散列框架

开散列的框架,较闭散列有着不同的框架。

    template <class K, class V>
	struct Node_Data
	{
		typedef Node_Data<K, V> Node_data;
		pair<K, V> _kv;
		Node_data* _downstars = nullptr;

		Node_Data(const pair<K,V>& pa = pair<K, V>())
			:_kv(pa)
		{}
	};

	template <class K, class V>
	class HashTable
	{
	public:
		typedef Node_Data<K, V> Node_Data;

    private:
		vector<Node_Data*> _tables;  // 存放各个哈希地址的第一个结点地址的指针数组
		size_t _n = 0;                  // 哈希桶中,数据个数
	};


}

插入

开散列增容
桶的个数是一定的,随着元素的不断插入,每个桶中元素的个数不断增多,极端情况下,可能会导致一个桶中链表节点非常多,会影响的哈希表的性能,因此在一定条件下需要对哈希表进行增容,那该条件怎么确认呢?开散列最好的情况是:
每个哈希桶中刚好挂一个节点,再继续插入元素时,每一次都会发生哈希冲突,因此,在元素个数刚好等于桶的个数时,可以给哈希表增容。
        bool insert(const pair<K, V>& pa)
		{
            // 开散列增容
			// 考虑扩容:负载因子为1,2,3都可以
			if (_tables.size() == 0 || _n * 10 / _tables.size() > 10)
			{
				size_t  new_size = _tables.size() == 0 ? 10 : _tables.size() * 2;
			     // 开始扩容	
				vector<Node_Data*> new_tables;
				new_tables.resize(new_size);
				size_t i;
				for (auto& data : _tables)
				{
					// 处理桶内的数据,重新插入新节点
					Node_Data* cur = data;
					while (cur)
					{
						Node_Data* room = cur->_downstars;
						size_t new_hashi = cur->_kv.first % new_tables.size();
						// 处理结点关系
						Node_Data* tmp = new_tables[new_hashi];
						new_tables[new_hashi] = cur;
						cur->_downstars = tmp;
						cur = room;
					}
				}
				_tables.swap(new_tables);
			}
            
            // 开散列插入
			size_t hashi = pa.first % _tables.size();
			Node_Data* new_node = new Node_Data(pa);
			new_node->_downstars = _tables[hashi];
			_tables[hashi] = new_node;
			_n++;
			return true;
		}

查找

在单链表中查找,这个还是非常简单的。

        bool find(const K& order)
		{
			return _find(order) == nullptr ? false : true;
		}

        Node_Data* _find(const K& order)
		{
			if (!_tables.size())
				return nullptr;

			size_t hashi = order % _tables.size();
			auto cur = _tables[hashi];
			while (cur)
			{
				if (cur->_kv.first == order)
					return cur;
				cur = cur->_downstars;
			}
			return nullptr;
		}

删除

在单链表中删除,还是稍微麻烦了一点。

        bool erase(const K& order)
		{
			auto cur = _find(order);
			if (!cur)
			{
				cout << "擦除失败: 不存在" << endl;
				return false;
			}
			size_t index = order % _tables.size();
			Node_Data* tmp = _tables[index];

			while (tmp)
			{
				if (cur == tmp)
				{
					break;
				}
				else if (cur == tmp->_downstars)
				{
					break;
				}
				tmp = tmp->_downstars;
			}
			// 开始处理节点
			if (tmp == _tables[index])  // 如果擦除的是头,那要置空的包括指针数组
			{
				_tables[index] = cur->_downstars;
			}
			else   // 非单链表头,删除(中间删除)
			{
				tmp->_downstars = cur->_downstars;
			}
			
			delete (cur);
			cout << "擦除成功" << endl;
			return true;
		}

(4)哈希函数

引起哈希冲突的一个原因可能是: 哈希函数设计不够合理
哈希函数设计原则
    哈希函数的定义域必须包括需要存储的全部关键码,而如果散列表允许有m个地址时,其值域必须在0到m-1之间
    哈希函数计算出来的地址能均匀分布在整个空间中
    哈希函数应该比较简单
常见哈希函数

1. 直接定址法--(常用)

取关键字的某个线性函数为散列地址:Hash(Key)= A*Key + B
优点:简单、均匀
缺点:需要事先知道关键字的分布情况
使用场景:适合查找比较小且连续的情况

2. 除留余数法--(常用)

设散列表中允许的 地址数为m,取一个不大于m,但最接近或者等于m的质数p作为除数,按照哈希函数:Hash(key) = key% p(p<=m),将关键码转换成哈希地址

四,优化

我们知道我们所用的案例都是,int类型进行获取哈希地址,那如果是string类型呢?? 人说:获取string首字符的ascill值,但如果都是以一个字母开头的话,就有大量数据冲突。那我们如何查找呢?下面是解决方案:
    template <class type>
	struct Hashstr
	{
		int operator()(const type& sd)
		{
			return sd;
		}
	};

	template<>  // 类模板,其实这个可以使用重载符号也可以
	struct Hashstr<string>
	{
		size_t operator()(const string& str)
		{
			size_t sum = 0;
			for (auto e : str)
			{
				sum += e;
				sum *= 31;   // 为了减少冲突的概率,每个字符的ASCill值都得相乘一个数。啥为什么是31? 因为这是大量实验的结果
			}
			return sum;
		}
	};


// 在HashTable 类中需要,添加类模板
template <class K, class V, class Hashstr = Hashstr<K>>
	class HashTable
	{
	public:
		typedef Node_Data<K, V> Node_Data;
  ......

这些就是哈希底层细节的精华部分。

下期预告:封装哈希

结语

   本小节就到这里了,感谢小伙伴的浏览,如果有什么建议,欢迎在评论区评论,如果给小伙伴带来一些收获请留下你的小赞,你的点赞和关注将会成为博主创作的动力文章来源地址https://www.toymoban.com/news/detail-759522.html

到了这里,关于从底层认识哈希表【C++】的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 数据结构入门到入土——链表(1)

    目录 一,顺序表表/ArrayList的缺陷 二,链表 三,链表的实现 四,与链表有关的题目练习(1) 1.删除链表中等于给定值 val 的所有节点 2.反转一个单链表 3.给定一个带有头结点 head 的非空单链表,返回链表的中间结点。如果有两个中间结点,则返回第二个中间结点 4.输入一个

    2024年02月02日
    浏览(36)
  • 哈希表-散列表数据结构

    哈希表也叫散列表,哈希表是根据关键码值(key value)来直接访问的一种数据结构,也就是将关键码值(key value)通过一种映射关系映射到表中的一个位置来加快查找的速度,这种映射关系称之为哈希函数或者散列函数,存放记录的数组称之为哈希表。 哈希表采用的是一种转换思

    2024年01月21日
    浏览(55)
  • 数据结构入门到入土——栈(Stack)和队列(Queue)

    目录 一,栈(Stack) 1.1 概念 1.2 栈的使用 1.3 栈的模拟实现 1.4 栈的应用场景 1.5 栈,虚拟机栈,栈帧有什么区别? 二,队列(Queue) 2.1 概念 2.2 队列的使用  2.3 队列模拟实现 2.4 循环队列 三,双端队列 栈 :一种特殊的线性表,其 只允许在固定的一端进行插入和删除元素操

    2024年02月02日
    浏览(53)
  • 数据结构算法设计——哈希表(散列表)

            哈希表 又叫 散列表 ,他们两个是同一个东西,本文全文采用“散列表”的叫法。散列表的本质其实就是一个 数组 ,他的作用就像使用数组时一样,输入下标可以得到对应元素,散列表可以实现 输入一个的时候得到这个的地址信息 。 下面是百科给出

    2024年02月03日
    浏览(59)
  • 【从零开始学习Redis | 第八篇】认识Redis底层数据结构(下)

    目录 前言:   ZipList: Ziplist的特性: QucikList: QuicList特征: SkipList: 跳表特征: RedisObijct:  小心得: 总结:           在现代软件开发中,数据存储和处理是至关重要的一环。为了高效地管理数据,并实现快速的读写操作,各种数据库技术应运而生。其中,Redis作为一种

    2024年04月12日
    浏览(50)
  • C++入门到入土(一)

    C语言中,我们这样定义,输出100。 因为局部作用域的访问权限大于全局作用域的。 当我们加入头文件#include time.h的时候,就会报错 看报错,我们也知道,time重定义,因为我们头文件time.h里面有time函数,我们定义的整型time与头文件的time.h里面的函数名冲突了。 如何解决这

    2023年04月15日
    浏览(30)
  • C++从入门到入土

    W...Y的主页😊 代码仓库分享💕 🍔前言: 我们学习了C语言,有了C语言的底子就更容易学习C++,今天让我们认识一下C++,并了解分析一下C++。 目录 什么是C++ 为什么会出现C++ C++的发展史 C++与C语言的区别 C++的重要性   语言的使用广泛度 在工作领域 如何学习C++  别人怎么学

    2024年02月08日
    浏览(32)
  • 【数据结构与算法】04 哈希表 / 散列表 (哈希函数、哈希冲突、链地址法、开放地址法、SHA256)

    一种很好用,很高效,又一学就会的数据结构,你确定不看看? 莫慌,每个概念都很好理解。 哈希表( Hash Table ),也称为 散列表 ,是一种数据结构, 用于存储键值对(key-value pairs) 。 键值对是一种数据结构,用于将键(key)与对应的值(value)相关联。在键值对中,键

    2024年02月09日
    浏览(78)
  • 【C++】“最强查找“哈希表的底层实现

    哈希表的查找的时间复杂度是O(1)~ 文章目录 前言 一、哈希冲突和哈希函数 二、哈希表底层实现 1.开放地址法 2.链地址法 总结 哈希概念: 顺序结构以及平衡树 中,元素关键码与其存储位置之间没有对应的关系,因此在 查找一个元素 时,必须要经过关键码的多次比较 。

    2024年02月06日
    浏览(43)
  • Java学数据结构(4)——散列表Hash table & 散列函数 & 哈希冲突

    1.散列表,key,散列函数; 2.哈希冲突的解决; 3.string中的hashCode; 查找树ADT,它允许对元素的集合进行各种操作。本章讨论散列表(hash table)ADT,不过它只支持二叉查找树所允许的一部分操作。散列表的实现常常叫作散列(hashing)。散列是一种用于以常数平均时间执行插入、删除和

    2024年02月10日
    浏览(52)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包