【STL】09. 详解标准库中的 set 和 map

一、set

1.1 对标准库中的 set 的介绍

1. set是按照一定次序存储元素的容器
2. 在set中，元素的value也标识它(value就是key，类型为T)，并且每个value必须是唯一的，set中的元素不能在容器中修改(元素总是const)，但是可以从容器中插入或删除它们
3. 在内部，set中的元素总是按照其内部比较对象(类型比较)所指示的特定严格弱排序准则进行排序
4. set容器通过key访问单个元素的速度通常比unordered_set容器慢，但它们允许根据顺序对子集进行直接迭代
5. set在底层是用二叉搜索树(红黑树)实现的

1.2 set的使用

1.2.1 set的构造函数

函数声明	功能
explicit set (const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());	构造空的set
template <class InputIterator> 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的拷贝构造

void test1()
{
	set<int> l1;
	set<int> l2 = l1;
	set<int> l3(l2.begin(), l2.end());
}

1.2.1 set的迭代器访问

函数声明	功能
begin()+end()	获取第一个数据位置的iterator/const_iterator，获取最后一个数据的下一个位置的iterator/const_iterator
rbegin()+rend()	获取最后一个数据位置的reverse_iterator/const_reverse_iterator，获取第一个数据的前一个位置的reverse_iterator/const_reverse_iterator

void test2()
{
	set<int> l1 = { 10,2,3,4,6,70,100 };
	auto it1 = l1.begin();
	while (it1 != l1.end())
	{
		cout << *it1 << " ";
		it1++;
	}
	cout << endl;
	auto it2 = l1.rbegin();
	while (it2 != l1.rend())
	{
		cout << *it2 << " ";
		it2++;
	}
	cout << endl;
}

1.2.3 set的容量操作

函数声明	功能
bool empty() const;	判断set是否为空
size_type size() const;	返回当前set中有效元素个数

void test3()
{
	set<int> l1 = { 10,2,3,4,6,70,100 };
	cout << "IsEmpty:"<<l1.empty() << endl;
	cout << "size:" << l1.size() << endl;
}

1.2.4 set的增删查改

函数声明	功能
pair<iterator,bool> insert (const value_type& x )	在set中插入元素x，实际插入的是<x, x>构成的键值对，如果插入成功，返回<该元素在set中的位置，true>,如果插入失败，说明x在set中已经存在，返回<x在set中的位置，false>
void erase ( iterator position )	删除set中position位置上的元素
void swap (set& x);	交换两个set
void clear ( )	将set中的元素清空
iterator find ( const key_type& x ) const	找到就返回set中值为x的元素的位置，没找到就返回end()
size_type count ( const key_type& x ) const	返回set中值为x的元素的个数

void test4()
{
	// 用数组array中的元素构造set
	int array[] = { 1, 3, 5, 7, 9, 2, 4, 6, 8, 0, 1, 3, 5, 7, 9, 2, 4,6, 8, 0 };
	set<int> s;
	for (const auto& e : array)
		s.insert(e);
	for (auto& e : s)
		cout << e << " ";
	cout << endl;
	s.erase(0);
	for (auto& e : s)
		cout << e << " ";
	cout << endl;
	if (s.find(1) != s.end())
		cout << "找到了" << endl;
	else
		cout << "没找到" << endl;
	cout << s.count(3) << endl;
}

二、map

2.1 对标准库中的 map 的介绍

1. map是关联容器，它按照特定的次序(按照key来比较)存储由键值key和值value组合而成的元素
2. 在map中，键值key通常用于排序和惟一地标识元素，而值value中存储与此键值key关联的内容。键值key和值value的类型可能不同，并且在map的内部，key与value通过成员类型value_type绑定在一起，为其取别名称为pair: typedef pair<const key, T> value_type;
3. 在内部，map中的元素总是按照键值key进行比较排序的
4. map中通过键值访问单个元素的速度通常比unordered_map容器慢，但map允许根据顺序对元素进行直接迭代(即对map中的元素进行迭代时，可以得到一个有序的序列)
5. map支持下标访问符，即在[ ]中放入key，就可以找到与key对应的value。
6. map通常被二叉搜索树(红黑树)实现

2.2 map的使用

2.2.1 map的构造函数

函数声明	功能
explicit 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的拷贝构造

void test1()
{
	map<int,int> l1;
	map<int,int> l2 = l1;
	map<int,int> l3(l2.begin(), l2.end());
}

2.2.2 map的迭代器访问

函数声明	功能
begin()+end()	获取第一个数据位置的iterator/const_iterator，获取最后一个数据的下一个位置的iterator/const_iterator
rbegin()+rend()	获取最后一个数据位置的reverse_iterator/const_reverse_iterator，获取第一个数据的前一个位置的reverse_iterator/const_reverse_iterator

void test2()
{
	int array[] = { 1, 3, 5, 7, 9, 2, 4, 6, 8, 0, 4, 6, 8, 0 };
	map<int, int> m;
	for (const auto& e:array)
		m.insert({ e,e });
	auto it1 = m.begin();
	while (it1 != m.end())
	{
		cout << it1->first << " ";
		it1++;
	}
	cout << endl;
	auto it2 = m.rbegin();
	while (it2 != m.rend())
	{
		cout << it2->first << " ";
		it2++;
	}
	cout << endl;
}

2.2.3 map的容量操作与元素访问

函数声明	功能
bool empty() const;	判断map是否为空
size_type size() const;	返回当前map中有效元素个数
mapped_type& operator[] (const key_type& k);	返回key对应的value

void test3()
{
	int array[] = { 1, 3, 5, 7, 9, 2, 4, 6, 8, 0, 4, 6, 8, 0 };
	map<int, int> m;
	for (const auto& e : array)
		m.insert({ e,e });
	cout << "IsEmpty:"<<m.empty() << endl;
	cout << "size:" << m.size() << endl;
	cout << m[4] << endl;
}

问题：当key不在map中时，通过operator获取对应value时会发生什么？
在元素访问时，有一个与operator[]类似的操作at()(该函数不常用)函数，都是通过key找到与key对应的value然后返回其引用，不同的是：当key不存在时，operator[ ]用默认value与key构造键值对然后插入，返回该默认value&，at()函数直接抛异常。

2.2.4 map的增删查改

函数声明	功能
pair<iterator,bool> insert (const value_type& x )	在map中插入键值对x，注意x是一个键值对，返回值也是键值对：iterator代表新插入元素的位置，bool代表释放插入成功
void erase ( iterator position )	删除position位置上的元素
void swap (map& x);	交换两个map
void clear ( )	将map中的元素清空
iterator find ( const key_type& x)	在map中插入key为x的元素，找到返回该元素的位置的迭代器，否则返回end()
size_type count ( const key_type& x ) const	返回key为x的键值在map中的个数，注意map中key是唯一的，因此该函数的返回值要么为0，要么为1，因此也可以用该函数来检测一个key是否在map中

void test4()
{
	// 用数组array中的元素构造map
	int array[] = { 1, 3, 5, 7, 9, 2, 4, 6, 8, 0 };
	map<int, int> m;
	for (const auto& e : array)
		m.insert({ e,e });
	auto it1 = m.begin();
	while (it1 != m.end())
	{
		cout << it1->first << " ";
		it1++;
	}
	cout << endl;
	m.erase(0);
	it1 = m.begin();
	while (it1 != m.end())
	{
		cout << it1->first << " ";
		it1++;
	}
	cout << endl;
	if (m.find(1) != m.end())
		cout << "找到了" << endl;
	else
		cout << "没找到" << endl;
	cout << m.count(3) << endl;
}

三、multiset

1. multiset是按照特定顺序存储元素的容器，其中元素是可以重复的
2. 在multiset中，元素的value也会识别它(因为multiset中本身存储的就是<value, value>组成的键值对，因此value本身就是key，key就是value，类型为T). multiset元素的值不能在容器中进行修改(因为元素总是const的)，但可以从容器中插入或删除
3. 在内部，multiset中的元素总是按照其内部比较规则(类型比较)所指示的特定严格弱排序准则进行排序
4. multiset容器通过key访问单个元素的速度通常比unordered_multiset容器慢，但当使用迭代器遍历时会得到一个有序序列
5. multiset底层结构为二叉搜索树(红黑树)

multiset和set的区别仅仅在于前者存储的数据可以重复后者不可以，函数接口一致

四、multimap

1. Multimaps是关联式容器，它按照特定的顺序，存储由key和value映射成的键值对<key, value>，其中多个键值对之间的key是可以重复的
2. 在multimap中，通常按照key排序和惟一地标识元素，而映射的value存储与key关联的内容。key和value的类型可能不同，通过multimap内部的成员类型value_type组合在一起,value_type是组合key和value的键值对:typedef pair<const Key, T> value_type;
3. 在内部，multimap中的元素总是通过其内部比较对象，按照指定的特定严格弱排序标准对key进行排序的
4. multimap通过key访问单个元素的速度通常比unordered_multimap容器慢，但是使用迭代器直接遍历multimap中的元素可以得到关于key有序的序列
5. multimap在底层用二叉搜索树(红黑树)来实现

multimap和map的唯一不同就是：map中的key是唯一的，而multimap中key是可以重复的,函数接口部分的区别在于multimap没有[]，其他部分均一样