关联容器支持高效的关键字查找和访问。两个主要的关联容器(associative-container)类型是map和set。标准库提供8个关联容器,它们的不同体现在三个维度上:
- 或者是一个set,或者是一个map
- 或者要求不重复的关键字,或者允许重复关键字
- 按顺序保存元素,或无序保存。
允许重复关键字的容器的开头名字中都包含单词multi;不保持关键字按顺序存储的容器的名字都以单词unordered开头。
类型map
和multimap
定义在头文件map
中;set
和multiset
定义在头文件set中,无序容器则定义在unordered_map
和unordered_set
中。
关联容器概述
定义关联容器
每个关联容器都定义了一个默认构造函数,它创建一个指定类型的空容器。也可以将关联容器初始化为另一个同类型容器的拷贝,或是从一个值范围来初始化关联容器,只要这些值可以转化为容器所需类型就可以。在新标准下,也可以对关联容器进行值初始化。
map<string, size_t> word_count; //空容器
set<string> exclude = {"the", "but", "and", "or"}; //列表初始化
//三个元素:authors将姓映射为名
map<string, string> authors = {
{"Joyce", "James"},
{"Austen", "Jane"},
{"Dickens", "Charles"}
};
初始化一个map时,必须提供关键字和值类型。我们将每个关键字-值对包围在花括号中: {key,value}
来指出它们一起构成了map中的一个元素。
初始化multimap和multiset
一个map或set中的关键字必须是唯一的,multimap和multiset则没有此限制。
vector<int> ivec;
for(vector<int>::size_type i = 0; i != 10; i++)
{
ivec.push_back(i);
ivec.push_back(i);
}
set<int> iset(ivec.begin(), ivec.end());
multiset<int> miset(ivec.begin(), ivec.end());
cout<<ivec.size()<<endl; //打印出20
cout<<iset.size()<<endl; //打印出10
cout<<miset.size()<<endl; //打印出20
pair类型
定义在头文件utility中。
一个pair保存两个数据称愿。类似容器,pair是一个用来生成特定类型的模板。当创建一个pair时,我们必须提供两个类型名,pair 的数据成员将具有对应的类型。两个类型不要求一样。
pair<string, string> anon;
pair<string, size_t> word_count;
pair<string, vector<int>> line;
pair的默认构造函数对函数成员进行值初始化(string被初始化为空字符串,size_t被初始化为0)。也可以为每个成员提供初始化器:
pair<string, string> author("James", "Joyce");
pair<string, string> author()
与其他标准库类型不同,pair的数据成员是public的,两个成员分别命名为first和second,我们用普通的成员访问符号来访问它们。
其他操作:
pair<string, string> author;
pair<string, string> author1("aaaa","dddd");
pair<string, string> author2{"aaaa","dddd"};
pair<string, string> author3 = {"aaaa","dddd"};
//返回一个用v1和v2初始化的pair,pair的类型从v1和v2的类型推断出来
auto p = make_pair(11,22);
auto q = make_pair("aaaa", "bbbb");
关联容器操作
类型别名 | 含义 |
---|---|
key_type | 此容器类型的关键字类型 |
mapped_type | 每个关键字关联的类型;只适用于map |
value_type | 对于set,与key_type相同 对于map,为 pari<const key_type, mapped_type>
|
由于我们不能改变一个元素的关键字,因此这些pair的关键字部分是const的。只有map类型才定义了mapped_type。
一个map的value_type是一个pair,我们可以改变pair的值,但不能改变关键字成员的值。
添加元素
c.insert(v) //v是value_type类型的对象
c.emplace(args)
c.insert(b,e) //b,e是迭代器
c.insert(il) //il是value_type类型值的花括号列表
c.insert(p, v) //类似于`insert(v)`,但将迭代器p作为一个提示,指出从哪里开始搜索新元素应该存储的位置
c.emplace(p, args)
删除元素
c.erase(k) //从c中删除每个关键字为k的元素,返回一个size_t类型的值,指出删除的元素的数量
c.erase(p) //从c中删除迭代器p指定的元素,返回一个指向p之后元素的迭代器
c.erase(b, e) 删除迭代器对b和e所表示的范围中的元素。返回e。
map的下标操作
类似于其他下标操作符,map下标操作符接受一个索引,获取与此关键字相关联的值。与其他下标操作不同的是,如果关键字不存在于map中,会为它创建一个元素并插入到map中,关联值将进行值初始化。
操作 | 含义 |
---|---|
c[k] | 返回关键字为k的元素;如果不存在则添加一个关键字为k的元素,对其进行值初始化 |
c.at(k) | 访问关键字为k的元素,带参数检查;若k不在c中,抛出一个out_of_range 异常 |
map的下标操作符返回一个左值,既可以读也可以写。
访问元素
操作 | 含义 |
---|---|
c.find(k) | 返回一个迭代器,指向第一个关键字为k的元素,若k不在容器中,则返回尾后迭代器 |
c.count(k) | 返回关键字等于k的元素的数量。对于不允许重复的容器,返回值永远是0或1 |
c.lower_bound(k) | 返回一个迭代器,指向第一个关键字不小于k的元素 |
c.upper_bound(k) | 返回一个迭代器,指向第一个关键字大于k的元素 |
c.equal_range(k) | 返回一个迭代器pair,表示关键字等于k的元素的范围。若k不存在,pair的两个成员均等于c.end() |
无序容器
新标准定义了4个无序关联容器(unordered associative container)。这些容器不是使用比较运算符来组织元素,而是使用一个哈希函数(hash function)和关键字类型的==运算符。
除了哈希管理操作之外,无序容器还提供了与有序容器相同的操作。
有序容器的迭代器通过关键字有序访问容器中的元素。无论在有序容器中还是在无序容器中,具有相同关键字的元素都是相邻存储的。
哈希函数(hash function)将给定类型的值映射到整型(size_t)值的函数。相等的值必须映射到相同的整数;不相等的值应尽可能映射到不同整数。
严格弱序:关联容器所使用的关键字间的关系。在一个严格弱序中,可以比较任意两个值并确定哪个更小。若任何一个都不小于另一个,则认为这两个值相等。
转载:http://blog.csdn.net/foreverling/article/details/44274699