Set:
这里我们可以看到set 的底层实现结构是一个搜索二叉树
insert():
set的里面的数据都是有序且去重的,所以你把数据插入进去后它就已经是有序的了
erase()/count():
set的迭代器无论是普通的还是const修饰的,他们都是const修饰的,大家可以看看源码,所以我们是不能通过迭代器来改变数据的
① set的erase删除操作是存在迭代器失效的问题的,但insert不会,这个就和list是一样的。意思就是说当我们删除一个节点后,指向这个节点的迭代器就失效了。
② set的erase删除返回1或0,multiset返回的是删除的个数,这个和count()的返回值是一样的,multiset也是。count是返回当前数据的个数
lower_bound()/upper_bound():
这两个接口很好理解
lower就是找 >= val 的第一个值,返回它的迭代器
upper就是找 > val 的第一个值,返回它的迭代器
这里不难看出lower和upper的取值规则,而且我们意外地发现 erase() 接口在删除一个区间的时候是选择的 [ ) 的方式删除的 (我们的end指向7 可是删除的时候并没有把它删掉 )
find():
这个接口如果找到val那么就返回它的迭代器 如果没找到则返回 end() 的位置 ,要注意的是multiset的find(),因为multiset是允许键值冗余的,所以如果val有多个的情况下,返回的是中序遍历的第一个val
Map:
map采用的是键值对的方式进行存储,并且插入进去也是会排好序的
1. map<int,string> m1; 2. m1.insert(pair<int,string>(1,"One")); 3. m1.insert(make_pair(2,"Two"));
他们俩的作用是一样的,只是make_pair是一个函数模板,pair是直接去调用pair的构造函数.make_pair呢就可以让它自动推导
map<int,string> m1; for(auto& e : m1) { cout<<e.first<<" "<<e.second<<endl; }
这个是运用map进行对应键值的计数
insert():
大家可以看到这里insert的返回值是一个pair类型 , pair<iterator,bool> 如果插入成功就返回新数据的迭代器和true 如果已存在则为插入失败,返回已有数据的迭代器和false
对于这个特性我们就可以对上面的计数操作进行优化了
operator[]:
由上面的计数的操作我们还有更优的写法,那么这就引伸到了operator[]的用法和原理了
map<string,int> m2; for(auto& e : m2) { m2[e]++; }
大家看上面的代码就能看得出来map的operator[]和我们以往的不太一样了,它这里也不再是下标了,而是一个key值。其次他的返回值是value的引用,引用是不是就实现了计数呢
关于引用的一些小知识大家可以看看这篇博客:C++入门编程 ---- 助你更好理解C++的奥妙_luck++的博客-CSDN博客
mapped_type& operator[] (const key_type& k) { pair<iterator,bool> tmp = insert(make_pair(k,mapped_type())); return tmp.first->second; }
这个是把operator[]内部实现拆分开来的样子,便于大家的理解,实际上内部实现只有一行代码。我们可以看到map的operator[]其实就是复用了他自身的insert函数,他这里的value的值是采用了一个匿名对象传进去的,传进去的也就是value的构造函数里自己设置的默认值
通过返回值里的 迭代器 就能找到我们的 value 的值了
这里大家可以试试通过insert插入成功/失败导致的结果来分析一下其中的巧妙地地方!!
multimap/multiset:
他们其实就是允许键值冗余,在函数接口上差别不大,有个可以提的就是multimap没有operator[],它的insert也只是返回新插入元素的迭代器