STL关联式容器之map

map概述
map的特性是，所有元素都会根据元素的键值自动被排序。map的所有元素都是pari，同时拥有实值（value）和键值（key）。pari的第一元素被视为键值，第二元素被视为实值。map不允许两个元素拥有相同的键值。下面是<stl_pari.h>中的pari定义：

template<calss T1,class T2>
struct pari
{
     typedef T1 first_type;
     typedef T2 second_type;
     T1 first;// 注意，它是public
     T2 second;// 注意，它是public
     pari(): first(T1(), second(T2)){}
     pari(const T1& a, const T2& b): first(a), second(b){}
};

我们可以通过map的迭代器改变map的元素内容么？如果想要修正元素的键值，答案是不行。因为map元素的键值关系到map元素的排列规则。任意改变map元素键值将会严重破坏map组织，但如果想要修正元素的实值，答案是可以，因为map元素的实值并不影响map元素的排列规则。因此，map iterators既不是一种constant iterators，也不是一种mutable iterators。
map拥有和list相同的某些性质：当客户端对它进行元素新增操作（insert）或删除操作（erase）时，操作之前的所有迭代器，在操作完成之后都依然有效。当然，被删除的那个元素的迭代器必然是个例外。
由于RB-tree是一种平衡二叉搜索树，自动排序的效果很不错，所以标准的STL map即以RB-tree为底层机制。又由于map所开放的各种操作接口，RB-tree也都提供了，所以几乎所有的map操作行为，都只是转调用RB-tree的操作行为而已。
map的架构：

map源码摘录

//注意，以下key为键值（key）型别&