关联数组Map<...>

        map 是键－值对的集合。map 类型通常可理解为关联数组（associative  array）：可使用键作为下标来获取一个值，正如内置数组类型一样。而关联的本质在于元素的值与某个特定的键相关联，而并非通过元素在数组中的位置来获取。

一：键类型的约束

        在使用关联容器时，它的键不但有一个类型，而且还有一个相关的比较函数。所用的比较函数必须在键类型上定义严格弱排序（strict weak ordering）。（在实际应用中，键类型必须定义 < 操作符，而且该操作符应能“正确地工作”，这一点很重要。）

         对于键类型，唯一的约束就是必须支持 < 操作符，至于是否支持其他的关系或相等运算，则不作要求。

二：map 定义的类型

        map 对象的元素是键－值对，也即每个元素包含两个部分：键以及由键关联的值。map 的 value_type 就反映了这个事实。value_type 是存储元素的键以及值的 pair 类型，而且键为 const。例如，word_count 数组的 value_type 为 pair<const string,int> 类型。

map 类定义的类型

map<K,V>::key_type	在 map 容器中，用做索引的键的类型
map<K,V>::mapped_type	在 map 容器中，键所关联的值的类型
map<K,V>::value_type	一个 pair 类型，它的 first 元素具有 const map<K,V>::key_type 类型， 而 second 元素则为 map<K,V>::mapped_type 类型

在学习 map 的接口时，需谨记 value_type 是 pair 类型，它的值成员可以修改，但键成员不能修改。

三：map 迭代器进行解引用将产生 pair 类型的对象

// get an iterator to an element in wount——word

map<string, int>::iterator map_it = word_count.begin()

// *map_it is a reference to a pair<const string, int> object

cout << map_it->first; // prints the key for thiselement

cout << " " << map_it->second; // prints the value of theelement

map_it->first = "new key"; // error: key is const

++map_it->second; // ok: we can change value through an iterator

四：使用下标访问 map 对象

map <string, int> word_count; // empty map
// insert default initialzed element with key Anna; then assign 1 to its value
word_count["Anna"] = 1;

1. 在 word_count 中查找键为 Anna 的元素，没有找到。
2. 将一个新的键－值对插入到 word_count 中。它的键是 const string 类型的对象，保存 Anna。而它的值则采用值初始化，这就意味       着在本例中值为 0。
3. 将这个新的键－值对插入到 word_count 中。
4. 读取新插入的元素，并将它的值赋为 1。使用下标访问 map 与使用下标访问数组或 vector 的行为截然不同：用下标访问不存在的元素将导致在 map 容器中添加一个新元素，它的键即为该下标值。

如同其他下标操作符一样，map 的下标也使用索引（其实就是键）来获取该键所关联的值。如果该键已在容器中，则 map 的下标运算与 vector 的下标运算行为相同：返回该键所关联的值。只有在所查找的键不存在时，map 容器才为该键创建一个新的元素，并将它插入到此 map 对象中。此时，所关联的值采用值初始化：类类型的元素用默认构造函数初始化，而内置类型的元素初始化为 0。

       下标操作符返回值的使用

cout << word_count["Anna"]; // fetch element indexed by Anna; prints 1
++word_count["Anna"]; // fetch the element and add one to it

cout << word_count["Anna"]; // fetch the element and print it; prints 2

显然，map 迭代器返回 value_type 类型的值——包含 const key_type 和mapped_type 类型成员的 pair 对象；下标操作符则返回一个 mapped_type 类型的值。