目录
一、关联式容器
前面已经接触过 STL 中的部分容器，比如：vector、list、deque等，这些容器统称为序列式容器，因为其底层为线性序列的数据结构，里面存储的是元素本身
什么是关联式容器？
关联式容器也是用来存储数据的，与序列式容器不同的是，其里面存储的是 <key, value> 结构的键值对，在数据检索时比序列式容器效率更高
set 和 map 便是关联式容器
二、键值对
什么是键值对？
键值对是用来表示具有一一对应关系的一种结构，该结构中一般只包含两个成员变量key和value，key代表键值，value表示与key对应的信息
比如：现在要建立一个英汉互译的字典，那该字典中必然有英文单词与其对应的中文含义，而且，英文单词与其中文含义是一一对应的关系，即通过该应该单词，在词典中就可以找到与其对应的中文含义
在 set 和 map 就使用了键值对，这个键值对名为 pair，他是一个 struct 定义的类模板，即可以在外部访问 pair 里面的成员变量
SGI-STL中关于键值对的定义如下：
template <class T1, class T2>
struct pair
{
typedef T1 first_type;
typedef T2 second_type;
T1 first;
T2 second;
pair() : first(T1()), second(T2())
{}
pair(const T1& a, const T2& b) : first(a), second(b)
{}
};pair文档介绍：pair - C++ Reference (cplusplus.com)
https://legacy.cplusplus.com/reference/utility/pair/?kw=pair
成员类型介绍如下：
如何使用 pair ，下面介绍 set 和 map 再解释
三、树形结构的关联式容器
根据应用场景的不同，STL总共实现了两种不同结构的管理式容器：树型结构与哈希结构
树型结构的关联式容器主要有四种：map、set、multimap、multiset，这四种容器的共同点是：使用平衡搜索树(即红黑树)作为其底层结果，容器中的元素是一个有序的序列
四、set的介绍及使用
4.1 set的介绍
set文档介绍：set - C++ Reference (cplusplus.com)https://legacy.cplusplus.com/reference/set/set/?kw=set
翻译如下：
- set是按照一定次序存储元素的容器
- 在set中，元素的 value 也标识它(value就是key，类型为T)，并且每个value 必须是唯一的。set 中的元素不能在容器中修改(元素总是 const)，但是可以从容器中插入或删除它们
- 在内部，set中的元素总是按照其内部比较对象(类型比较)所指示的特定严格弱排序准则进行排序
- set 容器通过 key 访问单个元素的速度通常比 unordered_set 容器慢，但它们允许根据顺序对子集进行直接迭代
- set 在底层是用二叉搜索树(红黑树)实现的
set 的模板参数有三个：
- 第三个模板参数 class Alloc = allocator<T> 是空间配置器，不用理会
- 第二个模板参数 class Compare = less<T> 是仿函数，平时不用理会，使用缺省值即可，前面也介绍过了，有需要再传参，set 中元素默认按照小于来比较
- 第一个模板参数 class T 是 set 中存放元素的类型，实际在底层存储 <value, value> 的键值对
注意：
- 与 map/multimap 不同，map/multimap 中存储的是真正的键值对 <key, value>，set/multiset 中只放 value，但在底层实际存放的是由<value, value>构成的键值对
- set 中插入元素时，只需要插入value 即可，不需要构造键值对
- 即 set/multiset 为 K模型，map/multimap 为 KV模型
使用set要包含头文件：
#include <set>注意：set中的元素不可以重复(因此可以使用set进行去重)
4.2 set的使用
先介绍一下set的前四个成员类型
- key_type 是第一个模板参数，即（T），value_type 也是第一个模板参数（T）
- value_type 对应键值对 pair 的第一个模板参数（T1），value_type 对应键值对 pair 的第一个模板参数（T2），即 <key_type，value_type>
- key_compare 是第二个模板参数（Compare），key_compare 也是第二个模板参数（Compare）
- key_compare 和 value_compare 也是键值对，与上面类似
（1）set 的构造函数
set 提供的构造函数有：第一个空构造和 第二个迭代器区间构造，一般都使用空构造，第三个是拷贝构造函数
测试代码
void Test_Set()
{
set<int> s1;//空构造
set<int> s2(s1.begin(), s1.end());//区间构造
set<int> s3(s1);//拷贝构造
}（2）赋值重载
测试代码
void Test_Set()
{
set<int> s1;//空构造
set<int> s2(s1);//拷贝构造
set<int> s3;
s3 = s1;//赋值重载
}析构函数，这个就不介绍了，程序结束自动调用
（4）Iterators
使用 set 的迭代器遍历set中的元素，可以得到有序序列
（5） Capacity
（6）Modifiers
set中的元素不允许修改
（7）find
set 中查找某个元素，时间复杂度为：logN
以上接口都与之前学的容器接口用法大致相同，就不再演示了
五、multiset的介绍及使用
multiset的文档介绍：multiset - C++ Reference (cplusplus.com)https://legacy.cplusplus.com/reference/set/multiset/
翻译：
- multiset是按照特定顺序存储元素的容器，其中元素是可以重复的
- 在multiset中，元素的value也会识别它(因为multiset中本身存储的就是<value, value>组成的键值对，因此value本身就是key，key就是value，类型为T). multiset元素的值不能在容器中进行修改(因为元素总是const的)，但可以从容器中插入或删除
- 在内部，multiset中的元素总是按照其内部比较规则(类型比较)所指示的特定严格弱排序准则进行排序
- multiset容器通过key访问单个元素的速度通常比unordered_multiset容器慢，但当使用迭代器遍历时会得到一个有序序列
- multiset底层结构为二叉搜索树(红黑树)
模板参数和成员类型与set一致，不解释了
注意：
- multiset中再底层中存储的是<value, value>的键值对
- mtltiset的插入接口中只需要插入即可
- 与set的区别是，multiset中的元素可以重复，set 是中value是唯一的
- 使用迭代器对multiset中的元素进行遍历，可以得到有序的序列
- multiset中的元素不能修改
- 在multiset中找某个元素，时间复杂度为O(logN)
- multiset的作用：可以对元素进行排序
multiset 的使用与 set一致，最大区别就是：set去重+排序，multiset元素可重复+排序
注意：查找的元素是相同元素的时候，返回的是中序遇到相同的第一个元素的迭代器
使用 multiset 要包含头文件：
#include <set>六、map的介绍和使用
6.1 map的介绍
map的文档介绍：map - C++ Reference (cplusplus.com)https://legacy.cplusplus.com/reference/map/map/?kw=map
翻译：
- map是关联容器，它按照特定的次序(按照key来比较)存储由键值key和值value组合而成的元素
- 在map中，键值key通常用于排序和惟一地标识元素，而值value中存储与此键值key关联的内容。键值key和值value的类型可能不同，并且在map的内部，key与 value通过成员类型 value_type 绑定在一起，为其取别名称为 pair
- typedef pair<const Key, T> value_type
- 在内部，map中的元素总是按照键值key进行比较排序的
- map中通过键值访问单个元素的速度通常比 unordered_map 容器慢，但map允许根据顺序对元素进行直接迭代(即对map中的元素进行迭代时，可以得到一个有序的序列)
- map支持下标访问符，即在[]中放入key，就可以找到与key对应的 value
- map通常被实现为二叉搜索树(更准确的说：平衡二叉搜索树(红黑树))
map 的模板参数有4个
- 第四个模板参数 class Alloc = allocator<pair<const Key, T> > 是空间配置器，现在不用理会
- 第三个模板参数 class Compare = less<Key> 是仿函数，平时不用理会，使用缺省值即可，前面也介绍过了，有需要再传参，默认按照小于来比较
- 第二个模板参数 class T 是键值对中 value 的类型
- 第二个模板参数 class Key 是键值对中 key 的类型
注意：Compare: 比较器的类型，map中的元素是按照key来比较的，缺省情况下按照小于来比较，一般情况下(内置类型元素)该参数不需要传递，如果无法比较时(自定义类型)，需要用户自己显式传递比较规则(一般情况下按照函数指针或者仿函数来传递)
使用 map 需要包含头文件：
#include <map>注意：map 也是去重+排序
6.2 map的使用
先介绍 map成员类型：
- key_type 是第一个模板参数（Key）
- mapped_type 是第二个模板参数（T）
- value_type 是 pair<const key_type, mapped_type> 进行 typedef 得到的
- key_compare 是第三个模板参数（Compare），比较的是 key_type（Key），缺省值为 less
- value_compare 是用于比较元素的嵌套函数类
map接口跟 set差不多，但是 map多了随机访问的接口，对 map很重要，下面介绍
（1）构造函数
测试代码
void Test_Map()
{
//KV模型，通过 Key查找Value
//map<Key, Value>
map<int, char> m1;//空构造
map<int, string> m2;//空构造
map<int, char> m3(m1.begin(), m1.end());//区间构造
map<int, char> m4(m1);//拷贝构造
}（2）赋值重载
void Test_Map()
{
map<int, char> m1;//空构造
map<int, char> m2(m1);//拷贝构造
//赋值重载
map<int, char> m3;
m3 = m1;
}析构函数自动调用，不解释
（3）Iterators
支持迭代器则支持范围 for
测试代码
void Test_Map()
{
map<int, char> m1;//空构造
//插入数据。后面解释
m1.insert(make_pair(1, 'a'));
m1.insert(make_pair(2, 'b'));
m1.insert(make_pair(3, 'c'));
m1.insert(make_pair(4, 'd'));
m1.insert(make_pair(4, 'd'));//key已存在则不插入，map去重
//遍历
//map<int, char>::iterator it = m1.begin();
auto it = m1.begin();
while (it != m1.end())
{
//通过Key查找Value
//first是Key，second是Value，（KV模型）
//键值对 pair<T1, T2> ---> pair<first, second>
cout << it->first << "-->" << it->second << endl;
++it;
}
cout << endl;
//范围for
for (auto& e : m1)//建议加上引用，否则数据大量的时候会带来拷贝大的代价
{
cout << e.first << "-->" << e.second << endl;
}
}运行结果
（4）Capacity
一个判空和一个返回数据的大小，就不演示了
（5）Modifiers
swap 和 clear 不演示了，下面介绍 insert 和 erase
erase接口如下
常用就是传 Key 删除节点，不多解释
insert 接口如下：
最常用就是第一个，问题来了，pair<iterator, bool> 是什么？？
先看 insert 接口解释：
- 参数类型 value_type 是 pair<const key_type, mapped_type> 进行 typedef 得到的，也就是说参数是一个键值对，并使用引用传参
- insert 第一个（框起来的）的返回类型为 pair<iterator, bool>
- pair<iterator, bool> 第一个iteratior是迭代器，第二个是 bool，用于反映是否插入成功，成功返回true，否则返回false
- 如果插入成功（即元素不存在进行插入），返回为 pair<iterator, true>，迭代器返回的是新插入元素位置的迭代器（pair）
- 如果插入失败（即元素已经存在），返回为 pair<iterator, false>，迭代器返回的是已存在元素位置的迭代器（pair）
注：这个对下面理解 [] 很重要
测试代码
void Test_Map()
{
map<int, char> m1;//空构造
//插入也要指明键值对的类型 pair<T1, T2>
m1.insert(pair<int, char>(1, 'a'));
m1.insert(pair<int, char>(2, 'b'));
// pair<T1, T2> 也可以写成 make_pair
m1.insert(make_pair(3, 'c'));
m1.insert(make_pair(4, 'd'));
m1.insert(make_pair(4, 'd'));//key已存在则不插入，map去重
for (auto& e : m1)//建议加上引用，否则数据大量的时候会带来拷贝大的代价
{
cout << e.first << "-->" << e.second << endl;
}
}运行结果
解释一下 make_pair
make_pair 是一个模板函数，在 pair 的文档有介绍
make_pair 定义如下:
简单来说，这个函数的功能就像是给 pair<T1, T2> 进行 typedef 为 make_pair，直接使用即可
注：pair<T1, T2>（x, y）是一个匿名对象
下面解释 map的随机访问
（6）Element access
接口如下：
operator[] 接口定义如下
operator[] 访问的条件是：只需传入第一个模板参数，即 Key 的值，也就是说 [] 访问是通过 Key 来进行访问的
operator[] 详情如下：
翻译：
- 如果k（Key）与容器中元素的键匹配（即Key存在），则函数返回对其映射值的引用，即返回 Key 值的引用
- 如果k（Key）与容器中任何元素的键不匹配（即Key不存在），函数将插入具有该键的新元素，并返回对其映射值的引用，即返回 新插入 Key 值的引用
- 注意，即使没有为元素分配映射值（即不给T传值，T为空），该元素使用其默认构造函数构造，插入新元素后，这会将容器大小增加1
- at 成员函数功能与 [] 类似，但是在具有键的元素存在时具有相同的行为（即查找的元素 Key 是存在的时候，at 和 [] 的功能是一样的），但在不存在时抛出异常（即查找的 Key 不存在，[] 的功能是把这个 Key 直接插入map中，但是 at 是抛异常，不会进行插入）
总结：
- [] 的功能是 查找+修改+插入 （修改的原因是 [] 返回 mapped_type（T）值的引用）
- at 的功能是 查找+修改（不支持插入）
[] 等价于：
(*((this->insert(make_pair(k, mapped_type()))).first)).second- make_pair(k, mapped_type()) 第一个参数k（Key）为 pair 第一个模板参数T1
- 第二个参数 mapped_type() 是一个匿名对象，为 pair 第二个模板参数T2，mapped_type 是 map 第二个模板参数T，即T()
(*((this->insert( make_pair(k, mapped_type()) )).first)).second
make_pair(k, mapped_type())make_pair 返回的类型是 pair<T1, T2>，make_pair 返回 pair<T1, T2>，insert 进行接收， 把 pair<T1, T2> （x, y）作为insert 的参数，即参数 const value_type& val
也就是说
(*((this->insert( make_pair(k, mapped_type()) )).first)).second可以转换为（方便理解）：
mapped_type& operator[] (const key_type& k)
{
return (*((this->insert( make_pair(k, mapped_type()) )).first)).second
}
---
T& operator[](const Key& k)
{
pair<iterator,bool> ret = insert( make_pair(k, T());
//insert 返回 pair<iterator,bool>
//迭代器在pair的first的位置（即用 . 可以访问pair的成员变量 first）
//迭代器内容访问方式为 ->
//-> 操作符的重载前面篇章有过解释
return ret.first->second;
}假设给你一个 string，要统计水果出现的次数
string arr[] = { "苹果", "西瓜", "香蕉", "草莓", "苹果", "西瓜", "苹果", "苹果", "西瓜", "苹果", "香蕉", "苹果", "香蕉" };可以使用map进行统计，代码如下：
void Test_Map()
{
//统计水果出现的次数
string arr[] = { "苹果", "西瓜", "香蕉", "草莓", "苹果", "西瓜", "苹果", "苹果", "西瓜", "苹果", "香蕉", "苹果", "香蕉" };
map<string, int> countMap1;
for (auto& e : arr)
{
//map<string, int>::iterator it = countMap
auto it = countMap1.find(e);
if (it == countMap1.end())//没有就进行插入
{
countMap1.insert(make_pair(e, 1));
}
else
{
it->second++;
}
}
for (const auto& kv : countMap1)
{
cout << kv.first << ":" << kv.second << endl;
}
cout << endl;
//使用 []
map<string, int> countMap2;
for (auto& e : arr)
{
//不存在则插入
//[] 的功能是 查找+修改+插入
//operator[]的原理是：
// 用<key, T()>构造一个键值对，然后调用insert()函数将该键值对插入到map中
// 如果key已经存在，插入失败，insert函数返回该key所在位置的迭代器
// 如果key不存在，插入成功，insert函数返回新插入元素所在位置的迭代器
// operator[]函数最后将insert返回值键值对中的value返回
countMap2[e]++;
}
for (const auto& kv : countMap2)
{
cout << kv.first << ":" << kv.second << endl;
}
}运行结果
总结
- map中的的元素是键值对
- map中的key是唯一的，并且不能修改
- 默认按照小于的方式对key进行比较
- map中的元素如果用迭代器去遍历，可以得到一个有序的序列
- map的底层为平衡搜索树(红黑树)，查找效率logN
- map支持[]操作符，operator[]中实际进行插入查找
（7） find
直接使用，就不解释了，不懂看文档
七、multimap的介绍和使用
multimap文档的介绍：multimap - C++ Reference (cplusplus.com)https://legacy.cplusplus.com/reference/map/multimap/
翻译：
- Multimaps是关联式容器，它按照特定的顺序，存储由key和value映射成的键值对<key,value>，其中多个键值对之间的key是可以重复的
- 在multimap中，通常按照key排序和惟一地标识元素，而映射的value存储与key关联的内容。key和value的类型可能不同，通过multimap内部的成员类型value_type组合在一起，value_type是组合key和value的键值对: typedef pair<const Key, T> value_type;
- 在内部，multimap中的元素总是通过其内部比较对象，按照指定的特定严格弱排序标准对key进行排序的
- multimap通过key访问单个元素的速度通常比unordered_multimap容器慢，但是使用迭代器直接遍历multimap中的元素可以得到关于key有序的序列
- multimap在底层用二叉搜索树(红黑树)来实现
注意：multimap和map的唯一不同就是：map中的key是唯一的，而multimap中key是可以重复的
multimap的使用和map一致，就不解释了
注意：
- multimap中没有重载 operator[] 操作，因为 multimap 的 Key 可能不唯一
- 使用时与map包含的头文件相同
----------------我是分割线---------------
文章到这里就结束了，下一篇即将更新