0x71 C++STL

---

  本章将介绍 $STL$ 中的 $vector，queue，priority\_queue，deque，set，multiset，map，bitset$ 八个部分。
  同时还会介绍算法头文件中的部分函数。

#include <vector>（动态数组）

  $vector$ 是 $STL$ 的动态数组，其内部实现基于倍增思想¹，在程序运行时能根据需求改变数组的大小。
  $vector$ 支持随机访问，它的内存空间同数组般是连续的，所以索引可以在常数时间内完成。但是在中间进行插入和删除操作会造成内存块的复制，与链表不同这种操作无法在 $O(1)$ 完成，为保证效率元素的删减一般在末尾进行，因此我们将不会在动态数组中使用在数组中间插入和删除的功能（虽然可以）。

声明

• int型

代码	释义
vector<int> a;	相当于一个长度动态变化的 $int$ 数组
vector<int> a(b);	用b定义a
vector<int> a(10);	初始 $10$ 个 $0$ 元素
vector<int> a(10,6);	初始 $10$ 个 $6$ 元素

• string型

代码	释义
vector<string> a(10,“null”);	初始 $10$ 个 $null$ 元素
vector<string> vec(10,“hello”);	初始 $10$ 个 $hello$ 元素
vector<string> b(a.begin(),a.end());	b是a的复制

• 结构型

a用来储存坐标

struct point{int x,y;}; 
vector<point> a;

常用操作

push_back/pop_back

  a.push_back(x); 把元素 x 插入到vector 的尾部。
  a.pop_back(); 删除 vector 的最后一个元素。

size/empty

  a.size(); 返回 vector 的实际长度。
  a.empty(); 返回一个 bool 类型，表明 vector 是否为空。两者的时间复杂度均为 $O(1)$。
  所有的 $STL$ 均支持这两种方法，含义也相同。后面将不会重复提到。

clear

  a.clear(); 将 vector清空。

begin/end

  a.begin(); 返回vector 中的第一个元素的迭代器²。例如 a 是一个非空的 vector，则 *a.begin() 与 a[0] 的作用相同。
  a.end(); 返回 vector 的尾部，即第 n 个元素再往后的“边界”，*a.end()与 a[n] 都是越界访问。其中 n=a.size()。
  下面两份代码都遍历了 vector<int> a; 并输出其所有元素。

for(int i=0;i<a.size();i++){
	cout<<a[i]<<" "; 
}

for(vector<int>::iterator it=a.begin();it!=a.end();it++){
	cout<<*it<<" ";
}

front/back

  a.front() 返回 vector 的第一个元素，等价于 *a.begin() 和 a[0]。
  a.back() 返回 vector 的最后一个元素，等价于 *-- a.end() 和 a[a.size()-1]。

reverse

  reverse(a.begin(), a.end()) 将 vector 翻转。
  该函数包含在 算法头文件中，其时间复杂度为 $O(n)$。

sort

  sort(a.begin(), a.end()); 使用sort函数排序，从小到大排

#include <bitset>

  $bitset$ 可以看作一个多位二进制数，每八位占用一个字节，相当于采用了压缩状态的二进制数组，并支持基本的位运算。在估算程序运行的时间的时，我们一般以 $32$ 位整数的运算次数为基准，因此 $n$ 位的 $bitset$ 执行一次位运算的复杂度可视为 $\frac{n}{32}$。

• 关于bitset和bool和vector<bool>的区别可以看这里。

声明

bitset<10000> s;
  表示一个 $10000$ 位的二进制数，<> 中填写位数。下面把数位记为 $n$。

常用操作

代码	注释
同二进制逻辑运算	位运算操作符
s[k]	和数组相同用法
s.count()	返回有多少位 $1$
s.any()	若 s 所有位为 0 返回 false，若至少有一位为 1 则返回 true
s.none()	与s.any() 相反
s.set()	把 $s$ 的所有位变成 $1$
s.set(k,v)	同等于 $s[k]=v$
s.reset()	把 $s$ 的所有位变为 $0$
s.reset(k)	同等于 $s[k]=0$
s.flip()	把 $s$ 的所有位取反
s.flip(k)	把 $s$ 的第 $k$ 位取反，同等于 $s[k]$

---

1. 倍增思想：
     设 $n,m$ 为 $vector$ 的实际长度和最大长度。当加入一个元素前有 $n=m$ 时，则在内存中申请一块大小为 $2m$ 的连续空间，并把内容转移到新的地址上（释放旧空间），然后插入元素。当删除一个元素后，若 $n\le \frac{m}{4}$，则释放一半的空间。
     总之，倍增思想是保持实际长度不会超过最大长度的一半。 ↩︎

2. 迭代器：
     迭代器就像 $STL$ 的“指针”，可以用 “*” 操作符解除引用。
     一个保存 $int$ 的 $vector$ 的迭代器的声明方法为：vector<int>::iterator it;
     vector 迭代器是“随机访问器”，可以把 vector 的迭代器与一个整数相加减，其行为和指针的移动类似。可以把两个 vector 的迭代器相减，其结果也和指针相减类似，得到两个迭代器对应下标的距离。 ↩︎