1,序列式容器和关联式容器
前面我们已经了解过STL中的部分容器:string,vector,list,queue等等,这些容器称为序列式容器,因为逻辑结构为线性序列的数据结构,两个位置存储的值之间一般没有紧密联系,比如交换一下,他依旧是序列式容器。
关联式容器也是用来存储数据的,与序列式容器不同的是,关联式容器逻辑上一般是非线性结构的,两个位置的值由紧密联系,交换一下,它的存储结构就被破坏了。而这种容器的元素是通过关键字来进行访问和保存的。
关联式容器由map/set系列,以及 unordered_map/unordered_set系列
本篇讲的map/set,其底层是红黑树,红黑树底层是一颗平衡二叉搜索树(具体可看之前的文章—二叉搜索树)。set是key搜索场景下的结构,map是key/value搜索场景下的结构。
2,set系列的使用
2.1,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;
set的声明如上,T就是set底层关键字(key)的类型。
set默认要求T是支持比较大小的,如果不支持或者想按自己的比较方式走,可以传仿函数给第二个模板参数。
set底层存储数据的内存是从空间配置器申请的,如果需要可以自己实现内存池,传给第三个参数
一般情况下是不需要传后两个参数的
set底层是用红黑树实现的,增删查的效率为O(logN),迭代器遍历走的是中序遍历,所以是有序的
2.2,set的构造和迭代器
//无参构造explicit set (const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());
//迭代器区间构造template <class InputIterator> set (InputIterator first, InputIterator last, const key_compare& comp = key_compare(), const allocator_type& = allocator_type());
//initializer_list列表构造 其中value_type就是关键字keyset (initializer_list<value_type> il, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());
//拷贝构造set (const set& x);
官方文档示例:
//迭代器是一个双向迭代器
iterator | a bidirectional iterator to value_type | convertible to const_iterator |
const_iterator | a bidirectional iterator to const value_type |
//正向迭代器 iterator begin() noexcept;const_iterator begin() const noexcept; iterator end() noexcept;const_iterator end() const noexcept;
//反向迭代器
reverse_iterator rbegin() noexcept;const_reverse_iterator rbegin() const noexcept;
reverse_iterator rend() noexcept;const_reverse_iterator rend() const noexcept;
set支持正向和反向迭代遍历,遍历默认按升序顺序,因为底层是⼆叉搜索树,迭代器遍历走的中 序;支持迭代器就意味着支持范围for,set的iterator和const_iterator都不支持迭代器修改数据,修改 关键字数据,破坏了底层搜索树的结构
2.3,set的增删查
//set中的key_type和value_type指的都是关键字key,它的类型是T
key_type -> The first template parameter (T)
value_type -> The first template parameter (T)
2.3.1,inset插入
// 单个数据插入,如果已经存在则插⼊失败
pair<iterator,bool> insert (const value_type& val);
// 列表插入,已经在容器中存在的值不会插入
void insert (initializer_list<value_type> il);
// 迭代器区间插入,已经在容器中存在的值不会插入
template <class InputIterator> void insert (InputIterator first, InputIterator last);
代码示例:
#include<iostream>#include<set>#include <string>using namespace std;int main(){ //去重+升序排序 set<int> s; //去重+降序排序 //set<int, greater<int>> s; s.insert(5); s.insert(2); s.insert(7); s.insert(5); //迭代器遍历 auto it = s.begin(); while (it != s.end()) { cout << *it << " "; it++; } cout << endl; //重复的值不会插入 s.insert({ 2,8,3,9 }); for (auto e : s) { cout << e << " "; } cout << endl; //按ASCLL码大小比较 set<string> str = { "sort","insert","add" }; for (auto& e : str) cout << e << " "; cout << endl; return 0;}
2.3.2,find+erase
// 查找 val ,返回 val 所在的迭代器,没有找到返回 end()
iterator find (const value_type& val);
// 查找 val ,返回 Val 的个数
size_type count (const value_type& val) const;
// 删除⼀个迭代器位置的值
iterator erase (const_iterator position);
// 删除 val , val 不存在返回 0 ,存在返回 1
size_type erase (const value_type& val);
// 删除⼀段迭代器区间的值
iterator erase (const_iterator first, const_iterator last);
// 返回⼤于等 val 位置的迭代器
iterator lower_bound (const value_type& val);
// 返回⼤于 val 位置的迭代器
iterator upper_bound (const value_type& val);
使用示例1:
#include<iostream>#include<set>#include <string>using namespace std;int main(){set<int> s = { 4,2,7,2,8,5,9 };for (auto x: s){cout << x << " ";}cout << endl;cout << "删除最小值:";s.erase(s.begin());for (auto x : s){cout << x << " ";}cout << endl;int x1 = 2;int num = s.erase(x1);if (num == 0)cout << "x1不存在!" << endl;int x2 = 10;auto pos = s.find(x2);if (pos == s.end())cout << "x2不存在" << endl;//利用count实现快速查找/*if(s.count(x2)){cout << "x在" << endl;}else{cout << "x不存在" << endl;}*/return 0;}
使用示例2:
#include<iostream>#include<set>using namespace std;int main(){set<int> myset;for (int i = 1; i < 10; i++)myset.insert(i * 10);for (auto e : myset)cout << e << " ";cout << endl;//实现查找[itlow,itup]包含[30,60]区间//>=30的位置auto itlow = myset.lower_bound(30);//>60的位置auto itup = myset.upper_bound(60);//删除这段区间myset.erase(itlow, itup);for (auto e : myset)cout << e << " ";cout << endl;return 0;}
2.4,multiset和set的差异
multiset和set的使⽤基本完全类似,主要区别点在于multiset支持值冗余,那么 insert/find/count/erase都围绕着支持值冗余有所差异,具体参看下⾯的样例代码理解。
#include<iostream>#include<set>using namespace std;int main(){//相比set,不同的是,multiset是排序,但不去重multiset<int> s = { 4,2,7,2,4,8,4,5,4,9 };auto it = s.begin();while (it != s.end()){cout << *it << " ";++it;}cout << endl;//x值可能会有多个,查找中序的第一个int x;cin >> x;auto pos = s.find(x);while (pos != s.end() && *pos == x){cout << *pos << " ";++pos;}cout << endl;//count会返回x的实际个数cout << s.count(x) << endl;//erase会删除所有的xs.erase(x);for (auto e : s){cout << e << " ";}cout << endl;return 0;}
2.5,相关oj题
class Solution {public: ListNode *detectCycle(ListNode *head) { set<ListNode*> s; ListNode* cur=head; while(cur) { auto it=s.insert(cur); if(it.second==false) return cur; cur=cur->next; } return nullptr; }};
3,map系列的使用
3.1,map类的介绍
map的声明如下,Key就是map底层关键字的类型,T是map底层value的类型。
map默认要求Key支持比较,如果不支持或者需要的话可以自行实现仿函数传给第⼆个模版参数.
map底层存储数据的 内存是从空间配置器申请的。⼀般情况下,我们都不需要传后两个模版参数
map底层是⽤红⿊树实现,增删查改效率是O(logN),迭代器走的中序遍历。
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> > // map::allocator_type > class map;
3.2,pair类型的介绍
map底层的红⿊树节点中的数据,使⽤pair存储键值对数据。
template <class T1, class T2> struct pair;
3.3,map的构造和迭代器
map的⽀持正向和反向迭代遍历,遍历默认按key的升序顺序,因为底层是⼆叉搜索树,迭代器遍历⾛ 的中序;⽀持迭代器就意味着⽀持范围for,map⽀持修改value数据,不⽀持修改key数据,修改关键字数据,破坏了底层搜索树的结构。
//无参构造explicit map (const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());
//迭代器区间构造template <class InputIterator> map (InputIterator first, InputIterator last, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());
//拷贝构造map (const map& x);
//列表构造map (initializer_list<value_type> il, const key_compare& comp = key_compare(), const allocator_type& alloc = allocator_type());
//双向迭代器
iterator -> a bidirectional iterator to const value_type
//正向迭代器
iterator begin();
iterator end();
//反向迭代器
reverse_iterator rbegin();
reverse_iterator rend();
3.4,map的增删查
map增接⼝,插⼊的pair键值对数据,跟set所有不同,但是查和删的接⼝只⽤关键字key跟set是完全 类似的,不过find返回iterator,不仅仅可以确认key在不在,还找到key映射的value,同时通过迭代 还可以修改value。
//key_type就是关键字,value_type就是pair<key,value>
//mapped_type就是关键字Key映射的value值
key_type -> The first template parameter (Key)
mapped_type -> The second template parameter (T)
value_type -> pair<const key_type,mapped_type>
// 单个数据插⼊,如果已经 key 存在则插⼊失败 ,key 存在相等 value不相等也会插入失败
pair<iterator,bool> insert (const value_type& val);
// 列表插⼊,已经在容器中存在的值不会插⼊
void insert (initializer_list<value_type> il);
// 迭代器区间插⼊,已经在容器中存在的值不会插⼊
template <class InputIterator> void insert (InputIterator first, InputIterator last);
// 查找 k ,返回 k 所在的迭代器,没有找到返回 end()
iterator find (const key_type& k);
// 查找 k ,返回 k 的个数
size_type count (const key_type& k) const;
// 删除⼀个迭代器位置的值
iterator erase (const_iterator position);
// 删除 k , k 存在返回 0 ,存在返回 1
size_type erase (const key_type& k);
// 删除⼀段迭代器区间的值
iterator erase (const_iterator first, const_iterator last);
// 返回⼤于等 k 位置的迭代器
iterator lower_bound (const key_type& k);
// 返回⼤于 k 位置的迭代器
iterator upper_bound (const key_type& k);
3.5,map的数据修改
map支持修改value数据,不支持修改关键字key,修改关键字数据,会破坏底层搜索树的结构
map第⼀个支持修改的方式时通过迭代器,迭代器遍历时或者find返回key所在的iterator修改,map 还有⼀个非常重要的修改接口operator[],但是operator[]不仅仅⽀持修改,还支持插入数据和查找数据,所以他是⼀个多功能复合接口
map的迭代器和[]功能样例1:
#include <map>#include <iostream>using namespace std;int main(){string arr[] = { "苹果", "西⽠", "苹果", "西⽠", "苹果", "苹果", "西瓜","苹果","香蕉","苹果","香蕉" };//记录水果和水果对应的出现次数map<string, int> countMap;for (const auto& str : arr){//先查找对应水果在不在auto ret = countMap.find(str);//不存在就插入对应{水果,1}//存在就让水果对应次数++if (ret == countMap.end())countMap.insert({ str,1 });elseret->second++;}for (auto& e : countMap){cout << e.first << ":" << e.second << endl;}cout << endl;return 0;}
样例2:
#include <map>#include <iostream>#include <string>using namespace std;int main(){map<string, string> dict;//make_pair(x,y) 用x,y构造出一个pair类型dict.insert(make_pair("sort", "排序"));//insert不存在,插入{"insert",string()}dict["insert"];//插入+修改dict["left"] = "左边";//修改dict["left"] = "左边,剩余";//key存在->查找cout << dict["left"] << endl;return 0;}
3.6,multimap和map的差异
multimap和map的使⽤基本完全类似,主要区别点在于multimap⽀持关键值key冗余,那么 insert/find/count/erase都围绕着⽀持关键值key冗余有所差异,这⾥跟set和multiset完全⼀样,⽐如 find时,有多个key,返回中序第一个。其次就是multimap不⽀持[],因为⽀持key冗余,[]就只能支持插入了,不能支持修改
3.7,相关oj题
解法一:
class Solution {public:struct cmp { bool operator()(const pair<string,int>& p1,const pair<string,int>& p2) { return p1.second>p2.second; }}; vector<string> topKFrequent(vector<string>& words, int k) { map<string,int> countMap; for(auto& e:words) countMap[e]++; vector<pair<string,int>> v(countMap.begin(),countMap.end()); //sort(v.begin(),v.end()) //sort底层是快排,不稳定,需用stable_sort stable_sort(v.begin(),v.end(),cmp()); vector<string> str; for(int i=0;i<k;i++) str.push_back(v[i].first); return str; }};
解法二:利用仿函数强行控制次数
class Solution {public:struct cmp { bool operator()(const pair<string,int>& p1,const pair<string,int>& p2) { return p1.second>p2.second||(p1.second==p2.second&&p1.first<p2.first); }}; vector<string> topKFrequent(vector<string>& words, int k) { map<string,int> countMap; for(auto& e:words) countMap[e]++; vector<pair<string,int>> v(countMap.begin(),countMap.end()); //仿函数控制降序,同时控制次数相等,字典序小的在前面 sort(v.begin(),v.end(),cmp()); vector<string> str; for(int i=0;i<k;i++) str.push_back(v[i].first); return str; }};