STL源码——关联式容器及其底层红黑树实现(上) 之关联式容器详细介绍

最新推荐文章于 2022-12-21 10:19:26 发布

听说西佳佳难得很

最新推荐文章于 2022-12-21 10:19:26 发布

阅读量253

点赞数

分类专栏： STL源码文章标签：数据结构 stl c++

本文链接：https://blog.csdn.net/qq_37299596/article/details/106897190

版权

STL源码专栏收录该内容

12 篇文章 2 订阅

订阅专栏

在侯捷老师源码剖析一书中对关联式进行源码剖析前先花了不少篇幅介绍红黑树的原理，这是因为关联式容器的底层依赖于RB_Tree实现。
因此想尝试在下篇剖析红黑树的源码，在此之前，先复习一下各个关联式容器的方法及容器之间的不同之处或许对红黑树的剖析会有“带着问题看文章”的感觉。

map/multimap

map和multimap都需要#include<map>, 唯一不同就是map的键值key不可以重复，但是multimap可以，也因此map可以用[]运算符，而multimap不支持

map提供一对一的数据处理能力，map内部自建一棵红黑树(红黑树不是一种严格意义上的平衡二叉树)，红黑树对数据有自动排序的功能，所以在map内部的数据都是有序的

map/multimap的基本操作函数

begin() 返回指向头部的迭代器
clear() 删除所有元素
count() 返回指定元素出现的次数
empty() 是否为空，空则返回1
end() 返回指向尾部的迭代器
equal_range()返回特殊条目的迭代器对
erase() 删除一个元素
find() 查找一个元素
get_allocator() 返回配置器
insert() 插入元素
key_comp() 返回比较元素key的函数
value_comp() 返回比较元素value的函数
lower_bound() 返回键值 >= 给定元素的第一个位置 第一个小于或等于
upper_bound() 返回键值 > 给定元素的第一个位置 第一个小于
rbegin() 返回指向尾部的逆向迭代器
rend() 返回指向头部的逆向迭代器
size() 返回map中元素的个数
max_size() 返回可以容纳的最大元素个数
swap() 交换两个map

共有8个迭代器： begin、end、rbegin、rend 、cbegin、cend、crbegin、crend 两者的区别在于，后面一组一定返回const_iterator，而前面四个则根据map的类型返回iterator或者const_iterator。const情况下，不允许对值进行修改

map的插入操作

用insert插入pair数据

#include<map>
#include<string>
#include<iostream>
using namespace std;

int main()
{
	map<int, string> mapStudent
	mapStudent.insert(pair<int, string>(1, "amy"));
	mapStudent.insert(pair<int, string>(2, "john"));
	map<int, string>::iterator iter;
	for(iter = mapStudent.begin(); iter!=mapStudent.end(); iter++)
		cout<<iter->first<<''<<iter->second<<endl;
}

用insert函数插入value_type数据

value_type是一个typedef，是迭代器所指对象的类型

#include<map>
#include<string>
#include<iostream>

int main()
{
	map<int, string> mapStudent
	mapStudent.insert(map<int, string>::value_type(1, "amy"));
	mapStudent.insert(map<int, string>::value_type(2, "john"));
	map<int, string>::iterator iter;
	for(iter = mapStudent.begin(); iter != mapStudent.end(); iter++)
		cout<<iter->first<<''<<iter->second<<endl;
}

用insert函数进行多个插入

插入单个键值对，并返回插入位置和成功标志，插入位置已经存在值时，插入失败

pair<iterator, bool> insert(const value_type& val);

在指定位置插入，在不同位置插入效率是不一样的，因为设计到重排

iterator insert(const_iterator position, const value_type& val);

插入多个

void insert(InputIterator first, InputIterator last);

C++11之后支持列表插入多个

void insert(initializer_list<value_type> li);

用数组方式插入数据

#include<map>
#include<string>
#include<iostream>
using namespace std;
int main()
{
	map<int, string> mapStudent;
	mapStudent[1] = "amy";
	mapStudent[2] = "john";
	map<int, string>::iterator iter;
	for(iter = mapStudent.begin(); iter != mapStudent.end(); iter++)
		cout<<iter->first<<''<<cout->second<<endl;
}

用insert插入数据时，在数据上会涉及到集合的唯一性这个概念，即当map中有这个key了这个数据就插入不进去了，但是数组方式就不同了，它可以覆盖之前关键字对应的值
检验可以用pair的第二个变量来知道是否插入成功。

排序

关于排序，map中的元素时自动按key升序排序，所以不能对map用sort函数， STL中默认是采用小于号来排序的，但是在遇到一些特殊情况时map就不能自动排序了，比如关键字是一个结构体或者自定义类，因为没有小于号操作涉及到的排序就会出现问题
可以用重载小于号和仿函数来解决

unordered_map

map底层使用红黑树，而unordered_map底层使用哈希表实现，查询的事件复杂度(从算法上讲)是O(1)，用哈希表，因此内部是无序的，数据是按照散列韩素插入的。当我们不需要内部有序时，就可以用这个实现；也是关联式容器，采用std::pair保存key-value形式的数据；
unordered_map库使用“桶”来存储元素，散列值相同的会被存储在一个桶里，当散列容器中有大量数据时，同一个桶里的数据也会增多，造成访问冲入，降低性能。为了提高散列容器的性能， unordered库会在插入元素时自动增加桶的数量，不需要用户指定，但是用户也可以在构造函数或者rehash()中指定最小的桶的数量

另外从占有内存上来说因为unordered_map采用hash结构，所以它的内存会高于map