chapter5 关联式容器：set与map

目录

1 set

1.1 set的特性

2 map

2.1 map的特性

2.2 insert()与subscript操作符

2.2.1 insert()

2.2.2 subscript操作符

3 multiset&multimap

---

1 set

1.1 set的特性

1. 所有元素会根据元素的键值自动被排序

2. set元素的键值就是实值，实值就是键值，不允许元素重复

3. 无法通过set的迭代器修改set的元素值（键值关系到元素的排列规则）

4. set<T>::iterator被定义为底层RB-tree的const_iterator，杜绝写入操作

1. STL特别提供了一组set/multiset相关算法，包括交集、联集、差集、对称差集

2. set以RB-tree为底层机制，几乎所有的set操作行为皆是转调用RB-tree的操作行为

2 map

2.1 map的特性

1. 所有元素会根据元素的键值自动被排序。

2. map的所有元素都是pair，同时拥有实值（value）和键值（key）。pair的第一元素被视为键值，第二元素被视为实值。

//pair定义
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) {}
}

1. map不允许两个元素拥有相同的键值。

2. 无法通过map的迭代器修改元素的键值，但能够修正元素的实值（因为map元素的键值会影响到map元素的排列规则）。因此，map iterator既不是const iterator，也不是mutable iterator。

3. 标准的STL map以RB-tree为底层机制，几乎所有的map操作皆是转调用RB-tree的操作行为

 

测试程序：

#include <map>
#include <iostream>
#include <string>
using namespace std;

int main() {
    map<string, int> simap;
    simap[string("wbc01")] = 1;
    simap[string("wbc02")] = 2;
    simap[string("wbc03")] = 3;
    simap[string("wbc04")] = 4;
​
    pair<string, int> value(string("hlm05"), 5);
    simap.insert(value);    // #1
​
    map<string, int>::iterator simap_iter = simap.begin();
    for (; simap_iter != simap.end(); ++simap_iter)
    cout << simap_iter->first << ' ' << simap_iter->second << endl;
​
    cout << "----------------" << endl;
    int number = simap[string("wbc03")];  //#2subscript操作符
    cout << number << endl;
​
    /*
    对于关联式容器，应使用其所提供的find函数来搜寻元素，效率
    高于STL算法find()。因位STL算法只是循序搜索
    */
    cout << "----------------" << endl;
    map<string, int>::iterator ite;
    ite = simap.find(string("hlm06"));
    if (ite == simap.end())
    cout << "Not find hlm06" << endl;
​
    ite = simap.find(string("hlm05"));
    if (ite != simap.end())
    cout << "Find hlm05" << endl;
​
    cout << "---通过迭代器修改实值（not key）---" << endl;
    //修改实值
    ite->second = 20;   //通过迭代器修改实值
    int num = simap[string("hlm05")];
    cout << num << endl;
​
    system("pause");
    return 0;
}

 

2.2 insert()与subscript操作符

2.2.1 insert()

pair<iterator, bool> insert(const value_type& x) {
    return t.insert_unique(x);
}

1. inert()调用底层机制RB-tree的insert_unique函数执行（map不允许相同键值存在，multimap允许）

1. 返回值型别是一个pair，迭代器指向被插入的元素，bool表示插入成功与否

2.2.2 subscript操作符

map<string, int> simap;
simap[string("wbc01")] = 1;        //左值
int num = simap[striing("wbc01")]; //右值

左值右值都使用的关键在于返回值采用by reference传递形式。

subscript操作符的工作内容即是根据键值找出实值：

template<classKey, class T, class Compare = less<key>, class Alloc = alloc>
class map {
public:
    typedef Key key_type;   //键值型别
    typedef pair<const Key, T> value_type; //元素型别（键值/实值）
    //...
public:
    T& operator[](cont key_type& k) {
        return (*((insert(value_type(k, T()))).first)).second; //#3
    }
    //...
};

#3代码：

1. 根据键值和实值做出一个元素 ，由于实值未知，所以产生一个与实值型别相同的暂时对象替代：value_type(k, T())

2. 将该元素插入到map中：insert(value_type(k, T()))

3. 插入操作返回一个pair，其第一元素是个迭代器，指向插入妥当的新元素，或键值重复的旧元素。取插入操作所返回的pair的第一元素：(insert(value_type(k, T()))).first

4. 第一元素是个迭代器，指向被插入的元素，提领该迭代器：*((insert(value_type(k, T()))).first)

5. 获得一个map元素，是一个由键值和实值组成的pair。取其第二元素，即为实值：(*((insert(value_type(k, T()))).first)).second

3 multiset&multimap

mutliset/multimap的特性及用法与set/map完全相同，唯一的差别在于它允许键值重复，因此它的插入操作采用的是底层RB-tree的insert_equal() 。