C++ STL和泛型编程（二）---- map/multimap

一、map

- 结构特性

map/multimap以rb_tree为底层结构，key和data是独立分开的，其iterator可以改变data但不可改变key，所以map/multimap内部自动将user指定的key_type设定为const类型，即禁止修改元素的key值。

map中实现insert()操作时，调用的时rb_tree的insert_unique()；
multimap中实现insert()操作时，调用的时rb_tree的insert_equal()；

template<class Key, class T, ...>
class map{
	typedef pair<const Key, T> value_type; // 这里通过pair已经将Key限定为const
	typedef re_tree<key_type, value_type, ...> rep_type;
	rep_type t;
}

- 底层代码实现

- G2.9中

template<class Key, class T, class Compare = less<Key>, class Alloc = alloc>
class map{
public:
	typedef Key key_type;
	typedef T data_type;
	typedef T mapped_type; // 与后面的operator[]返回类型有关
	typedef pair<const Key, T> value_type;
	typedef Compare key_compare;
private:
	typedef rb_tree<key_type, value_type, select1st<value_type>, key_compare, Alloc> rep_type;
	rep_type t;
public:
	typedef typename rep_type::iterator iterator;
}

通过select1st<value_type>告诉在value中寻找key时，rb_tree应选取的是value_type中的first。

而对于其迭代器，是rb_tree的一般类型iterator【无加const限定】，因为其虽然不修改key但要修改data（所以不能像set容器那样采用const iterator）。但其在pair<const Key, T>已经对Key加以限定，所以即使选用一般的iterator也能保证其Key不被修改。

由图可知，map<int, string>使用时user只需指定两个参数即可。

- VC6中

- operator[ ] (map中独特的方式，multimap不支持)

[ ]的作用：传回来[ ]内key对应的data，若找不到对应的key则会调用默认值创建一个，并安插在相应适当的位置。具体实施看如下代码：

mapped_type& opearator[](const key_type& __k){
	__glibcxx_function_requires(_DefaultConstuctibleCon..)
	iterator __i = lower_bound(__k);

	if(__i == end() || key_comp()(__k, (*__i).first))
		// __i = _M_t.__M_emplace_hint_unique(__i, std::piecewise_constructor, std::tuple<const  key_type>, std::tuple<>());
		__i = insert(__i, value_type(__k, mapped_type())); // 如果没找到则插入相应位置
	return(*__i).second; // 若通过[]在[first, last)找到相同的元素，则直接返回该元素.second即该元素的data
}

lower_boud(__k)是个二分查找的算法，其试图在已经排序的[first, last)中寻找传入参数__k：

1.若[first, last)中拥有与__k相同的元素(可能存在多个相同的)，便返回一个iterator【指向其中第一个出现的元素】；
2.若[first, last)中没有这样的元素，则返回 “假设该元素存在时应该出现的相应位置”即：

(1)返回iterator指向第一个不小于__k的元素；
(2)若__k大于[first, last)内的任何元素时，则返回last。

总之，lower_bound返回的是“不破坏排序得以安插__k的第一个适当的位置”。