关联式容器
前面我们介绍过的部分STL容器,如:vector、list、deque等,这些容器统称为序列式容器,因为其底层都是线性序列的数据结构,里面存储的是元素自身。
关联式容器也是用来存储数据的,与序列式容器不同的是,其里面存储的是<key,value>结构的键值对,在数据检索时比序列式容器效率更高。
根据应用场景的不同,STL总共实现了两种不同结构的关联式容器:树形结构与哈希结构。树形结构的关联式容器主要有四种:map、set、multimap、multiset。这四种容器的共同点是:使用平衡搜索树(红黑树)作为其底层结果,容器中的元素是一个有序的序列。
什么是键值对?
用来表示具有一一对应关系的一种结构,该结构中一般只包含两个成员变量key和value,key代表键值,value表示与key对应的信息。比如:现在要建立一个英汉互译的词典,那该字典中必然有英文单词与其对应的中文含义,而且,英文单词与其中文含义是一一对应的关系,即通过该单词,就可以在词典中找到与其对应的中文含义。
SGI-STL中关于键值对的定义:
template<class T1, class T2>
struct pairs{
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)
{}
};
map
map的简单介绍
看到英文不要慌,翻译在下面(O(∩_∩)O哈哈~):
- map是关联式容器,它按照特定的次序(按照key来比较)存储由键值key和值value组合而成的元素。
- 在map中,键值key通常用于排序和唯一地标识元素,而值value中存储于此键值key关联的内容。键值key和值value的类型可能不同,并且在map的内部,key与value通过成员类型value_type绑定在一起,为其取别名称为pair:
typedef pair value_type; - 在内部,map中的元素总是按照键值key进行比较排序的。
- map中通过键值访问单个元素的速度通常比unordered_map容器慢,但map允许根据顺序队元素进行直接迭代(即对map中的元素进行迭代时,可以得到一个有序的序列)。
- map支持下标访问符,即在[]中放入key,就可以找到与key对应的value。
- map通常被实现为二叉搜索树(更准确的说:平衡二叉搜索树(红黑树))。
map的使用
map的模板参数说明
template< class Key, // map::key_type
class T, // map::mapped_type
class Compare = less<Key>, // map::key_compare
class Alloc = allocator < pair<const Key, T> > // allocator_type:allocator_type
> class map;
key:键值对中key的类型。
T:键值对中value的类型。
Compare:比较器的类型,map中的元素是按照key来比较的,缺省情况下按照小于来比较,一般情况下(内置类型元素)该参数不需要传递,如果无法比较时(自定义类型),需要用户自己显式传递比较规则(一般情况下按照函数指针或者仿函数来传递)。
Alloc:通过空间配置器来申请底层空间,不需要用户传递,除非用户不想使用标准库提供的空间配置器。
注意:在使用map时,需包含头文件。
构造函数
函数声明 | 功能介绍 |
map (const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type()); | 构造一个空的map |
template < class InputIterator > map (InputIterator first, InputIterator last, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type()); | 用[first, last)区间中的元素构造map |
map (const map& x); | map的拷贝构造 |
迭代器
函数声明 | 功能简介 |
iterator begin() | 返回第一个元素的位置 |
iterator end() | 返回最后一个元素的下一个位置 |
const_iterator begin() const | 返回第一个元素的const迭代器 |
const_iterator end() const | 返回最后一个元素的下一个位置的const迭代器 |
reverse_iterator rbegin() | 返回第一个元素位置的反向迭代器即end |
revers_iterator rend() | 返回最后一个元素下一个位置的反向迭代器即rbegin |
const_reverse_iterator rbegin() const | 返回第一个元素位置的const反向迭代器即rend |
const_reverse_iterator rend() const | 返回最后一个元素下一个元素位置的const反向迭代器即rbegin |
容量与元素访问
函数声明 | 功能简介 |
bool empty() const | 检测map是否为空,为空返回true,否则返回false |
size_type size() const | 返回map中有效元素的个数 |
mapped_type& operator[](const key_type& k) | 返回key对应的value |
注意:当在元素访问时,有一个与operator[]类似的操作at(),都是通过找到与key对应的value然后返回其引用。不同的是:当key不存在时,operator[]用默认value与key构造键值对然后插入,返回该默认value,at()函数直接抛异常。
元素的修改
函数声明 | 功能简介 |
pair< iterator,bool > insert (const value_type& val); | 在map中插入键值对x,注意x是一个键值对,返回值也是键值对:iterator代表新插入元素的位置,bool代表是否插入成功 |
iterator insert (iterator position, const value_type& val); | 在position位置插入值为x的键值对,返回该键值对在map中的位置,注意:元素不一定必须差在position位置,该位置指示一个参考 |
template < class InputIterator > void insert (InputIterator first, InputIterator last); | 在map中插入[first, last)区间中的元素 |
void erase (iterator position); | 删除position位置上的元素 |
size_type erase (const key_type& k); | 删除键值为x的元素 |
void erase (iterator first, iterator last); | 删除[first, last)区间中的元素 |
void swap (map& x); | 交换两个map中的元素 |
void clear(); | 将map中的元素清空 |
iterator find (const key_type& k); | 在map中插入key为x的元素,找到返回该元素的位置的迭代器,否则返回end |
const_iterator find (const key_type& k) const; | 在map中插入key为x的元素,找到返回该元素的位置的const迭代器,否则返回cend |
size_type count (const key_type& k) const; | 返回key为x的键值在map中的个数,注意map中key是唯一的,因此该函数的返回值要么为0,要么为1,因此也可以用该函数来检测一个key是否在map中 |
代码演示
#include <iostream>
#include <stdlib.h>
#include <map>
#include <string>
using namespace std;
void mapTest(){
// 构造一个空的map
map<string, string> m;
// 将键值对<"apple", "苹果">插入map中,用pair直接来构造键值对
m.insert(pair<string, string>("apple", "苹果"));
// 将键值对<"pera", "梨子">插入map中,用make_pair函数来构造键值对
m.insert(make_pair("pear", "梨子"));
// 使用operator[]向map中插入元素
/*
* operator[]的原理是:
* 用<key, T()>构造一个键值对,然后调用insert()函数将该键值对插入到map中
* 如果key已经存在,插入失败,insert返回该key所在位置的迭代器
* 如果key不存在,插入成功,insert函数返回新插入元素所在位置的迭代器
* operator[]函数最后将insert返回值键值对中的value返回
*/
// 将<"banana", "香蕉">插入map中,插入成功,返回value的引用,将"香蕉"赋值给该引用结果
m["banana"] = "香蕉";
// m.at("grape") = "葡萄"
// "grape"不存在会抛异常
// 使用迭代器去遍历map中的元素
map<string, string>::iterator it = m.begin();
while (it != m.end()){
cout << it->first << " ---> " << it->second << endl;
++it;
}
// map中键值对key一定是唯一的,如果key存在将插入失败
pair<map<string, string>::iterator, bool> ret = m.insert(make_pair("apple", "苹果"));
if (!ret.second){
cout << "<apple, 苹果>" << " 已存在,插入失败!" << endl;
cout << ret.first->first << " ---> " << ret.first->second << endl;
}
else{
cout << "插入成功!" << endl;
}
// 删除key为"apple"的元素
m.erase("apple");
if (m.count("apple") == 1){
cout << "apple还在!" << endl;
}
else{
cout << "apple被吃了!" << endl;
}
}
int main(){
mapTest();
system("pause");
return 0;
}
总结
- map中的元素是键值对。
- map中的key是唯一的,并且不能修改。
- 默认按照小于的方式对key进行排序。
- map中的元素如果使用迭代器去遍历,可以得到一个有序的序列。
- map的底层为平衡搜索树(红黑树),查找效率比较高O(log2(N))。
- 支持[]操作符,operator[]中实际进行插入查找。
multimap
multimap的简单介绍
看到英文不要慌,翻译在下面(O(∩_∩)O哈哈~):
- multimap是关联式容器,它按照特定的顺序,存储由key和value映射成的键值对<key, value>,其中多个键值对之间的key是可以重复的。
- 在multimap中,通常按照key排序和唯一地标识元素,而映射的value存储与key关联的内容。key和value的类型可能不同,通过multimap内部的成员类型value_type组合在一起,value_type是组合key和value的键值对:
typedef pair< const key, T > value_type; - 在内部,multimap中的元素总是通过其内部比较对象,按照指定的特定严格弱排序标注对key进行排序的。
- multimap通过key访问单个元素的速度通常比unordered_multimap容器慢,但是使用迭代器直接遍历multimap中的元素可以得到关于key有序的序列。
- multi在底层用二叉搜索树(红黑树)来实现。
注意:multimap和map的唯一不同就是:map中的key是唯一的,而multimap中key是可以重复的。
multimap的使用
multimap的接口可以参考map,功能都是类似的。
注意:
- multimap中的key是可以重复的。
- multimap中的元素默认将可以按照小于来比较。
- multimap中没有重载operator[]操作。
- 使用时与map包含的头文件相同。
set
set的简单介绍
看到英文不要慌,翻译在下面(O(∩_∩)O哈哈~):
- set是按照一定次序存储元素的容器。
- 在set中,元素的value也标识它(value就是key,类型为T),并且每个value必须是唯一的。set中的元素不能在容器中修改(元素总是const),但是可以从容器中插入或删除它们。
- 在内部,set中的元素总是按照其内部比较对象(类型比较)所指示的特定严格弱排序准则进行排序。
- set容器通过key访问单个元素的速度通常比unordered_set慢,但它们允许根据顺序对子集进行直接迭代。
- set在底层是用二叉搜索树(红黑树)实现的。
注意:
- 与map/multimap不同,map/multimap中存储的是真正的键值对<key, value>,set中只放value,但在底层实际存放的是由<value, value>构成的键值对。
- set中插入元素时,值需要插入value即可,不需要构造键值对。
- set中的元素不可以重复(因此可以使用set进行去重)。
- 使用set的迭代器遍历set中的元素,可以得到有序序列。
- set中查找某个元素,时间复杂度为O(log2(N))。
set的简单使用
set的模板参数列表
template < class T, // set::key_type/value_type
class Compare = less<T>, // set::key_compare/value_compare
class Alloc = allocator<T> // set::allocator_type
> class set;
T:set中存放元素的类型,实际在底层存储< value, value >键值对。
Compare:set中元素默认按照小于来比较。
Alloc:set中元素空间的管理方式,使用STL提供的空间配置器管理。
构造函数
函数声明 | 功能介绍 |
set (const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type()); | 构造空的set |
set (InputIterator first, InputIterator last, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type()); | 用[first, last)区间中的元素构造set |
set (const set& x); | set的拷贝构造 |
迭代器
函数声明 | 功能介绍 |
iterator begin(); | 返回set中其实位置元素的迭代器 |
iterator end(); | 返回set中最后一个元素后面位置的迭代器 |
const_iterator cbegin(); | 返回set中起始位置的const迭代器 |
const_iterator cend(); | 返回set中最后一个元素后面位置的const迭代器 |
reverse_iterator rbegin(); | 返回set中第一个元素的反向迭代器,即end |
reverse_iterator rend(); | 返回set中最后一个元素下一个位置的反向迭代器,即begin |
const_reverse_iterator crbegin() const; | 返回set中第一个位置的方向const迭代器,即cend |
const_reverse_iterator crend() const; | 返回set最后一个元素下一个位置的反向const迭代器,即crbegin |
容量
函数声明 | 功能介绍 |
bool empty() const; | 判断set是否为空,为空返回true,否则返回false |
size_type size() const; | 返回set中有效元素的个数 |
修改
函数声明 | 功能介绍 |
pair< iterator,bool > insert (const value_type& val); | 在set中插入元素x,实际插入的是< x, x >构成的键值对,如果插入成功,返回< 该元素在set中的位置, true >,如果插入失败,说明x在set中已经存在,返回< x在set中的位置, false > |
iterator insert (iterator position, const value_type& val); | 在set的position位置插入x,实际插入的是< x, x >构成的键值对,注意:position位置只是参考,x最终不一定在该位置 |
template < class InputIterator > void insert (InputIterator first, InputIterator last); | 在set中插入[first, last)区间中的元素 |
void erase (iterator position); | 删除position位置上的元素 |
size_type erase (const value_type& val); | 删除值为x的元素,返回删除元素的个数 |
void erase (iterator first, iterator last); | 删除set中[first, last)区间中的元素 |
void swap (set& x); | 交换set中的元素 |
void clear(); | 将set中的元素清空 |
iterator find (const value_type& val) const; | 返回set中值为x的元素的位置 |
size_type count (const value_type& val) const; | 返回set中值为x的元素的个数 |
代码演示
#include <iostream>
#include <stdlib.h>
#include <set>
using namespace std;
void setTest(){
int arr[] = {
1, 3, 5, 7, 9, 2, 4, 6, 8, 0,
1, 3, 5, 7, 9, 2, 4, 6, 8, 0
};
// 使用数组中的元素构造set
set<int> s(arr, arr + sizeof(arr) / sizeof(arr[0]));
// 使用迭代器打印set中的元素
set<int>::iterator it = s.begin();
while (it != s.end()){
cout << *it << " ";
++it;
}
cout << endl;
// 使用逆向迭代器打印set中的元素
set<int>::reverse_iterator rit = s.rbegin();
while (rit != s.rend()){
cout << *rit << " ";
++rit;
}
cout << endl;
// set中值为4的元素出现了几次
cout << "s.count(4): " << s.count(4) << endl;
}
int main(){
setTest();
system("pause");
return 0;
}
multiset
multiset的简单介绍
看到英文不要慌,翻译在下面(O(∩_∩)O哈哈~):
- multiset是按照特定顺序存储元素的容器,其中元素是可以重复的。
- 在multiset中,元素的value也会识别它(因为multiset中本身存储的就是< value, value >组成的键值对,因此value本身就是key,key就是value,类型为T)。multiset元素的值不能在容器中进行修改(因为元素总是const的),但可以从容器中插入或删除。
- 在内部,multiset中的元素总是按照其内部比较规则(类型比较)所指示的特定严格弱排序准则进行排序。
- multiset容器通过key访问单个元素的速度通常比unordered_multiset满,但当使用迭代器遍历时会得到一个有序序列。
- multiset底层结构为二叉搜索树(红黑树)。
注意:
- multiset中在底层中存储的是< value, value >的键值对。
- multiset的插入接口中只需要插入即可。
- 与set的区别是,multiset中的元素可以重复,set中value是唯一的。
- 使用迭代器对multiset中的元素进行遍历,可以得到有序的序列。
- multiset中的元素不能修改。
- 在multiset中找某个元素,时间复杂度为O(log2(N))。
- multiset的作用:可以对元素进行排序。
multiset的简单使用
可以参考set,接口基本相同,下面演示一些set和multiset的不同。
#include <iostream>
#include <stdlib.h>
#include <set>
using namespace std;
void multisetTest(){
int arr[] = {
1, 3, 5, 7, 9, 2, 4, 6, 8, 0,
1, 3, 5, 7, 9, 2, 4, 6, 8, 0
};
// 使用数组构造multiset
multiset<int> ms(arr, arr + sizeof(arr) / sizeof(arr[0]));
// 使用数组构造set
set<int> s(arr, arr + sizeof(arr) / sizeof(arr[0]));
// 使用迭代器遍历multiset中的元素
multiset<int>::iterator mit = ms.begin();
cout << "multiset<int>: " << endl;
while (mit != ms.end()){
cout << *mit << " ";
++mit;
}
cout << endl;
// 使用迭代器遍历set中的元素
set<int>::iterator it = s.begin();
cout << "set<int>: " << endl;
while (it != s.end()){
cout << *it << " ";
++it;
}
cout << endl;
}
int main(){
multisetTest();
system("pause");
return 0;
}
注意:
multimap和multiset的一个小区别,当对两个容器中的元素进行删除时,multimap只删除一个,而multiset是全部删除。