c++—map

关联容器

关联容器支持高效的关键字查找和访问，两个主要的关联容器类型就是map和set，此篇博客主要围绕map展开。
标准库提供8个关联容器，这些容器间的不同体现在三个维度中：
（1）或者是一个map，或者是一个set
（2）或者要求不重复的关键字，或者允许重复关键字
（3）按顺序保存元素，或无序保存
允许重复关键字的容器的名字中都包含单词multi；不保持关键字按顺序存储的容器的名字都以unordered开头。

pair类型

在介绍关联容器操作之前，先来了解名为pair的标准库类型，它定义在头文件utility中。
一个pair保存两个数据成员。类似容器，pair是一个用来生成特定类型的模板。

pair<T1,T2>    p;                      创建一个空的pair对象，它的两个元素分别是T1和T2类型，采用值初始化
pair<T1,T2>    p(v1,v2);               创建一个pair对象，它的两个元素分别是T1和T2类型，其中first成员初始化为v1，second成员初始化为v2
pair<T1,T2> p = {v1,v2};			   等价于p(v1,v2)
make_pair(v1,v2)                       返回一个用v1和v2初始化的pair。pair的类型从v1和v2的类型中推断出来
p.first                                返回p中名为first的数据成员
p.second                               返回p中名为second的数据成员

与其它标准库类型不同，pair的数据成员是public的。两个成员分别被命名为first，second，使用普通的成员访问符来访问它们。

创建pair对象的函数

在新标准下，我们可以对返回值进行列表初始化。

pair<string,int> process(vector<string> &v)
{
	if(!v.empty())
		return { v.back(), v.back.size()};		//列表初始化
		//return make_pair(v.back(),v.back.size());	//也可以
	else
		return pair<string,int> ();				//隐式构造返回值
}

map类型

map是关键字-值对的集合。它定义在头文件map中，当定义一个map时，必须指明关键字类型又指明值类型。

1.map对象的定义与初始化

map<k,v>    m;                 创建一个名为m的空map对象，其键和值类型分别为k和v类型
map<k,v>    m(m2);             创建一个m2的副本m，m和m2必须要有相同的键和值类型
map<k,v>    m(b,e);            创建map类型的对象m，存储迭代器b和e标记范围内所有元素的副本。

2.map中的类型

key_type						关键字类型
mapped_type						与关键字关联的类型：只适用与map
value_type						为pair<const key_type,mapped_type>

map<string, int>::key_type v1;		//v1是一个string
map<string, int>::mapped_type v2;	//v2是一个int
map<string, int>::value_type v3;	//v3是一个pair<const string, int>

3.map中添加元素

给map添加元素有两种方式：一是先用下标获取元素，让然后给获取的元素赋值。二是使用insert成员实现。

类似于我们用过的其它下标运算符，map下标运算符接收一个索引（即一个关键字）获取与此关键字相关联的值。但是，与其它下标运算符不同的是，如果关键字并不在map中，会为它创建一个元素并插入到map中，关联值将进行值初始化。

map<string,int>    word_count;
word_count["Anna"]=1;

1. 在word_count中查找键为Anna的元素，没有找到。
2. 将一个新的键-值对插入到word_count容器中，键为Anna(const)，值初始化为0。
3. 提取出新插入的元素，并将值1赋予它。
   由于下标运算符可能插入一个新元素，所以我们只能对非const的map使用。

对一个map进行insert操作时，元素类型一定是pair。

c.insert(e)              	e是一个用在c上的vaule_type类型的值。如果键e.first不在m中，则插入一个键为e.first值为e.seconde的元素。
							如果该键在c中已存在。则c保持不变。
							该函数返回一个pair类型的对象，包含指向键为e.first的元素的map迭代器，以及一个bool类型的对象，表示是否插入成功。
c.insert(beg,end)        	beg和end是标记元素范围的迭代器，其中的元素必须为c.value_type类型的键-值对。
                         	对于该范围内的所有元素，如果它的键在c中不存在，则将该键及其关联的值插入c。返回void    
c.insert(iter,e)         	e是一个用在vaule_type类型的值。如果键不在c中，则创建新元素，并以迭代器iter为起点搜索新元素存储的位置。
                         	返回一个迭代器，指向c中具有给定键的元素。

//添加元素的4种方法
word_count.insert({word, 1});
word_count.insert(make_pair(word, 1));
word_count.insert(pair<string, size_t> (word, v1));
word_count.insert(map<string, size_t>::value_type(word, 1));

4.map中访问元素

关联容器提供多种查找一个指定元素的方法，使用那个操作依赖于我们要解决什么问题。

c.find(k)					返回一个迭代器，指向第一个关键字为k的元素，若k不在容器中，则返回尾后迭代器。
c.count(k)					返回关键字等于k的元素的数量（对map而言，返回值永远是0或1）。
c.lower_bound(k)			返回一个迭代器，只向第一个关键字不小于k的元素。
c.upper_bound(k)			返回一个迭代器，只向第一个关键字大于k的元素。.
c.equal_range(k)			返回一个迭代器pair，表示关键字等于k的元素的范围。若k不存在，pair的两个成员均等于c.end()。

对map使用find代替下标操作
上面我们提过，如果关键字未在map中，下标操作会插入一个具有给定关键字的元素。
但是，有时我们只是想知道此关键字是否在map中，而不想改变map。这种情况，应该使用find：

if(word_count.find("temp") == word_count.end())
	cout << "temp is not in the map" << endl;

5.map中删除元素

c.erase(k)                删除c中键为k的元素。返回size_type类型的值，表示删除的元素个数
c.erase(p)                从c中删除迭代器p指向的元素。p必须指向c中确实存在的元素，而且不能等于c.end()。
						  返回一个指向p之后元素的迭代器，若p指向c中的尾元素，则返回c.end()。
c.erase(b,e)              删除迭代器对b和e所表示的范围中的元素，返回e。

6.map对象的迭代器

当解引用map时，我们会得到类型为容器的value_type( pair<const key_type, mapped_type> )的值的引用。

auto map_it = word_count.begin();
cout << map_it->first;		//打印关键字
cout << map_it->second;		//打印值
map_it->first = "new key";	//错误：关键字是const的
++map_it->second;			//正确

一个map的value_type是一个pair，我们可以改变pair的值，但不能改变关键字的值

map也支持begin和end操作，可以用其来遍历。

auto map_it = word_count.begin();
while(map_it != word_count.end())
{
    cout << map_it->first << "occurs" << map_it->second << "times"<<endl;
     ++map_it;
}