震惊！全网最详细的STL总结！

前言

STL，即Standard Template Library。相信大家都知道这是啥，以下为基本的STL模板总结。

queue

$queue$，队列，是实现"先进先出"的容器，，不可用下标或迭代器访问。

头文件：

#include <queue>

定义方式：

queue <typename> name;

其中$typename$指数据类型（如$int$、$char$、结构体、容器等），$name$是定义的容器名，下同。

常用函数

$1$、$push(x)$。将$x$入队——$O(1)$。
$2$、$pop()$。将队首元素出队——$O(1)$。
$3$、$front()$。获得队首元素（不删除）——$O(1)$。
$4$、$back()$。获得队尾元素（不删除）——$O(1)$。
$5$、$size()$。获得队列中元素个数——$O(1)$。
$6$、$empty()$。判断队列是否为空，空返回$true$，反之返回$false$——$O(1)$。
补充：容器间的"="——$O(n)$。

stack

$stack$，栈，是实现“后进先出”的容器，不可用下标或迭代器访问。
头文件：

#include <stack>

定义方式：

stack <typename> name;

常用函数

$1$、$push(x)$。将$x$压栈——$O(1)$。
$2$、$pop()$。弹出栈顶元素——$O(1)$。
$3$、$top()$。获得栈顶元素（不弹出）——$O(1)$。
$5$、$size()$。获得栈中元素个数——$O(1)$。
$6$、$empty()$。判断栈是否为空，空返回$true$，反之返回$false$——$O(1)$。

vector

$vector$，直译为向量，可理解为变长数组（动态数组），基于倍增思想，可用下标和迭代器访问。

头文件：

#include <vector>

定义方式

vector <typename> name;

vector的访问

1、数组下标访问：例如，定义动态数组$vec$，可以使用$vec[i]$来访问它的第($i+1$)个元素。（$0\le i<vec.size$）
2、迭代器访问：可以将迭代器理解为一种类似指针的变量，使用前需提前定义，定义为：

vector <typename>::iterator it;

这里的$it$是我们定义的迭代器的名字。但迭代器到底怎么用呢？见以下例子：
输出$vector$中的所有值。
法一：

for(int i = 0; i < vec.size(); i ++) {
	printf("%d ", vec[i]);
}

法二：

vector <int>::iterator it;
for(it = vec.begin(); it != vec.end(); it ++) {
	printf("%d ", (*it));
}

读者需要注意，这里不能写成$it<=vec.end()$，可以想想为什么。

常用函数

$1$、$push\_back(x)$。将$x$添加到$vector$尾端——时间复杂度可近似地看成$O(1)$。
$2$、$pop\_back()$。将$vector$尾端的元素删掉——$O(1)$。
$3$、$size()$。获得$vector$中元素个数——$O(1)$。
$4$、$clear$。清空$vector$中元素——$O(n)$。
$5$、$insert(it,x)$。$insert$用来向$vector$任意处插入元素——$O(n)$。
例如以下代码输出：$120345$。

vector <int> v;
for(int i = 1; i <= 5; i ++) {
	v.push_back(i);
}
vector <int>::iterator it = v.begin();
v.insert(it + 2, 0);
for(it = v.begin(); it != v.end(); it ++) {
	printf("%d ", (*it));
}

$6$、$erase(it)$或$erase(first,last)$。第一个用于删除单个元素，第二个删除左闭右开区间内的所有元素——$O(n)$
$7$、$resize(x)$。改变$vector$的长度，释放空间。——$O(n)$。

priority_queue

$priority\_queue$，优先队列，其内部是一个二叉堆，，不可用下标或迭代器访问。

头文件:

#include <queue>

定义方式:

1.大根二叉堆

priority_queue <typename> name;

或（注意最后一个“>”前的空格不能省）

priority_queue <typename, vector <typename>, less <typename> > name;

2.小根二叉堆（注意最后一个“>”前的空格不能省）

priority_queue <typename, vector <typename>, greater <typename>> name;

顺便说一下，结构体的优先队列需要重载运算符。

struct Node {
	int tmp, num;
	bool operator<(const Node x) const {
		return tmp < x.tmp;//这里写的大根堆，小根堆需调换符号
	}
};
priority_queue <Node> p_que;

常用函数

$1$、$push(x)$ 。将x加入优先队列——$O(lo{g}_{2}n)$。
$2$、$top()$。获取堆顶元素——$O(1)$。
$3$、$pop()$。将堆顶元素出队——$O(lo{g}_{2}n)$。

map

$map$，映射，可用下标和迭代器访问，内部用红黑树实现。

头文件

#include <map>

定义方式

map <typename1, typename2> name;

其中，$typename1$为映射前的类型（键$key$），$typename2$为映射后的类型（值$value$）。
注意：$map$在建立映射的同时，会自动按键从小到大排序，$set$也是，因为其内部使用红黑树实现。

常用函数

$1$、$find()$。返回键为$key$的映射的迭代器——$O(lo{g}_{2}n)$。
$2$、$size()$。获取映射的对数——$O(1)$。
$3$、$erase()$。可删除单个或多个元素。删除单个元素可用$erase(it)$（$it$为要删除元素的迭代器）——$O(1)$。也可以用$erase(key)$（$key$为要删除元素的键——$O(lo{g}_{2}n)$）。删除多个元素用$erase(first,last)$（左闭右开，$first$和$last$为迭代器）——$O(n)$。
$4$、$clear()$。清空 $map$——$O(n)$。
$5$、$count(x)$。查找 $map$ 中有没有 $x$ 这个元素，有则返回 $1$ ，否则返回 $0$ 。

pair

$pair$，相当于二元结构体，即

struct Node {
	typename1 first;
	typename2 second;
};

头文件

#include <utility>

但是因为$map$的内部实现涉及$pair$，所以添加$map$头文件会自动添加$utility$头文件，即

#include <map>

定义方式

pair <typename1, typename2> name;

初始化

写法一

make_pair("AK", 666);

写法二

pair <string, int> p("AK", 666);

写法三

pair <string, int> p;
p.first = "AK";
p.second = 666;

注意，$pair$可以直接做比较运算，比较的规则：先用$first$比较，若$first$相等就用$second$比较。

map+pair

因为$map$可以自动按键值排序，而$pair$可以比较大小，所以$pair$可以插入到同类型中的$map$中去并根据$first$排序。（如果$first$相同则根据$map$键值唯一的性质，只保留先输入的二元组）。

set

$set$，集合，可自动去重并按升序排序，内部用红黑树实现，只能通过迭代器访问。

头文件

#include <set>

定义方式

set <typename> name;

常用函数

$1$、$insert(x)$。将$x$插入$set$中，并自动递增和去重——$O(lo{g}_{2}n)$。
$2$、$size()$。获取$set$中元素个数。——$O(1)$。
$3$、$find(x)$。返回$set$中对应值的迭代器——$O(lo{g}_{2}n)$。若这个值不在$set$中，返回$s.end()$。
$4$、$clear()$。清空$set$中的所有元素。——$O(n)$。
$5$、$erase()$。可删除单个或多个元素。删除单个元素可用$erase(it)$（$it$为要删除元素的迭代器）——$O(1)$。也可以用$erase(x)$（$x$为要删除元素的值——$O(lo{g}_{2}n)$）。删除多个元素用$erase(first,last)$（左闭右开，$first$和$last$为迭代器）——$O(n)$。

完结撒花，谢谢观看。