详解C++ STL set 容器
本篇随笔简单介绍一下(C++STL)中(set)容器的使用方法及常见使用技巧。
set容器的概念和性质
(set)在英文中的意义是:集合。(set)容器也的确“人如其名”,实现了这个集合的功用。
高中数学必修一集合那章(高一以下的小伙伴不用慌,不讲数学只讲概念),关于集合的性质,给出了三个概念:无序性、互异性、确定性。
那么,(set)容器的功用就是维护一个集合,其中的元素满足互异性。
我们可以将其理解为一个数组。这个数组的元素是两两不同的。
这个两两不同是指,如果这个(set)容器中已经包含了一个元素(i),那么无论我们后续再往里假如多少个(i),这个(set)中还是只有一个元素(i),而不会出现一堆(i)的情况。这就为我们提供了很多方便。
但是,需要额外说明的是,刚刚说集合是有无序性的,但是(set)中的元素是默认排好序(按升序排列)的。(稍微说一句,(set)容器自动有序和快速添加、删除的性质是由其内部实现:红黑树(平衡树的一种)。这个东西过于高深我不会,所以不予过多介绍,有兴趣的小伙伴可以自行浏览相关内容。)
set容器的声明
(set)容器的声明和大部分(C++STL)容器一样,都是:容器名<变量类型> 名称的结构。前提需要开#include
#include<set>
set<int> s;
set<char> s;
set<pair<int,int> > s;
set<node> s;
struct node{...};
set容器的使用
其实,(C++STL)容器的使用方式都是差不多的。我们完全可以举一反三地去类比。与(bitset)重定义了许多奇形怪状新的函数之外,其他都是大致相同的。所以笔者在此不再做幼稚的介绍,大家都是竞赛狗,应该都能自己看明白。
s.empty();
(empty())函数返回当前集合是否为空,是返回1,否则返回0.
s.size();
(size())函数返回当前集合的元素个数。
s.clear();
(clear())函数清空当前集合。
s.begin(),s.end();
(begin())函数和(end())函数返回集合的首尾迭代器。注意是迭代器。我们可以把迭代器理解为数组的下标。但其实迭代器是一种指针。这里需要注意的是,由于计算机区间“前闭后开”的结构,(begin())函数返回的指针指向的的确是集合的第一个元素。但(end())返回的指针却指向了集合最后一个元素后面一个元素。
s.insert(k);
(insert(k))函数表示向集合中加入元素(k)。
s.erase(k);
(erase(k))函数表示删除集合中元素(k)。这也反映了(set)容器的强大之处,指哪打哪,说删谁就删谁,完全省略了遍历、查找、复制、还原等繁琐操作。更不用像链表那种数据结构那么毒瘤。直接一个函数,用(O(logn))的复杂度解决问题。
s.find(k);
(find(k))函数返回集合中指向元素(k)的迭代器。如果不存在这个元素,就返回(s.end()),这个性质可以用来判断集合中有没有这个元素。
其他好用的函数
下面介绍一些不是很常用,但是很好用的(set)容器的内置函数
s.lower_bound(),s.upper_bound();
熟悉(algorithm)库和二分、离散化的小伙伴会对这两个函数比较熟悉。其实这两个函数比较常用。但是对于(set)集合来讲就不是很常用。其中(lower\_bound)返回集合中第一个大于等于关键字的元素。(upper\_bound)返回集合中第一个严格大于关键字的元素。
s.equal_range();
这个东西是真的不常用...可能是我太菜了。
这个东西返回一个(pair)(内置二元组),分别表示第一个大于等于关键字的元素,第一个严格大于关键字的元素,也就是把前面的两个函数和在一起。如果有一个元素找不到的话,就会返回(s.end())。