## `vector`
+`std::vector` 是 STL 提供的**内存连续的**、**可变长度**的数组（亦称列表）数据结构。
+
### 为什么要用 `vector`
作为 OIer，对程序效率的追求远比对工程级别的稳定性要高得多，而 `vector` 由于其对内存的动态处理，时间效率在部分情况下低于静态数组，并且在OJ服务器不一定开全优化的情况下更加糟糕。所以在正常存储数据的时候，通常不选择 `vector`。下面给出几个 `vector` 优秀的特性，在需要用到这些特性的情况下，`vector` 能给我们带来很大的帮助。
-#### `vector` 可以动态扩容
+#### `vector` 可以动态分配内存
-很多时候我们不能提前开好那么大的空间（eg：预处理 1~n 中所有数的约数）。尽管我们能知道数据总量在空间允许的级别，但是单份数据还可能非常大，这种时候我们就需要 `vector` 来把内存占用量控制在合适的范围内。这时如果善用 `reserve()` 和 `shrink_to_fit()` 函数（ C++ 11 ），就能使得 `vector` 的效率接近静态数组。
+很多时候我们不能提前开好那么大的空间（eg：预处理 1~n 中所有数的约数）。尽管我们能知道数据总量在空间允许的级别，但是单份数据还可能非常大，这种时候我们就需要 `vector` 来把内存占用量控制在合适的范围内。`vector` 还支持动态扩容，在内存非常紧张的时候这个特性就能派上用场了。
-#### `vector` 重写了比较运算符
+#### `vector` 重写了比较运算符及赋值运算符
-`vector` 重载了六个比较运算符，以字典序实现，这使得我们可以方便的判断两个容器是否相等（复杂度与容器大小成线性关系）。例如可以利用 `vector<char>` 实现字符串比较（当然，还是用 `std::string` 会更快更方便）。
+`vector` 重载了六个比较运算符，以字典序实现，这使得我们可以方便的判断两个容器是否相等（复杂度与容器大小成线性关系）。例如可以利用 `vector<char>` 实现字符串比较（当然，还是用 `std::string` 会更快更方便）。另外 `vector` 也重载了赋值运算符，使得数组拷贝更加方便。
#### `vector` 便利的初始化
由于 `vector` 重载了 `=` 运算符，所以我们可以方便的初始化。此外从 C++11 起 `vector` 还支持[列表初始化](https://zh.cppreference.com/w/cpp/language/list_initialization)，例如`vector<int> data {1, 2, 3};`。
-#### `vector` 支持自定义数据
-
-`vector` 是模板类型，可以通过模板参数来实现自定义类型的数组。例如如果要实现大数数组，那么可以先将大数封装为一个类，然后将其作为模板参数即可实现一个大数数组。
+#### `vector` 支持自定义数据和空间配置器
-#### `vector` 支持自定义数据
+`vector` 是模板类型，可以通过模板参数来实现自定义类型的数组。例如如果要实现大数数组，那么可以先将大数封装为一个类，然后将其作为模板参数即可实现一个大数数组。而自定义空间配置器很少会被用到，通过自定义的空间配置器可以将自定义数据结构进行补位（ Padding ），以实现硬件加速。
### `vector` 的使用方法
#### 构造函数
-参见如下代码（假设你已经 `using` 了 `std` 命名空间）：
+参见如下代码（假设你已经 `using` 了 `std` 命名空间相关类型）：
```cpp
// 1. 创建空vector; 常数复杂度
以上列出的迭代器中，含有字符 `c` 的为只读迭代器，你不能通过只读迭代器去修改 `vector` 中的元素的值。如果一个 `vector` 本身就是只读的，那么它的一般迭代器和只读迭代器完全等价。只读迭代器自 C++11 开始支持。
-#### 大小和容量
+#### 长度和容量
-`vector` 有以下几个与容器数量相关的函数。注意， `vector` 的大小指有效元素数量，而容量指其实际分配的内存大小，相关细节请参见后文的实现细节介绍。
+`vector` 有以下几个与容器数量相关的函数。注意， `vector` 的长度指有效元素数量，而容量指其实际分配的内存长度，相关细节请参见后文的实现细节介绍。
-与大小相关：
+与长度相关：
- `empty()` 返回一个 `bool` 值，即 `v.begin() == v.end()` ， `true` 为空， `false` 为非空。
-- `size()` 返回容器大小（元素数量），即 `std::distance(v.begin(), v.end())` 。
-- `resize()` 改变 `vector` 的大小，多退少补。补充元素可以由参数指定。
-- `max_size()` 返回容器的最大可能大小。
+- `size()` 返回容器长度（元素数量），即 `std::distance(v.begin(), v.end())` 。
+- `resize()` 改变 `vector` 的长度，多退少补。补充元素可以由参数指定。
+- `max_size()` 返回容器的最大可能长度。
与容量相关：
- `reserve()` 使得 `vector` 预留一定的内存空间，避免不必要的内存拷贝。
-- `capacity()` 返回容器的容量，即不发生拷贝的情况下容器的大小上限。
-- `shrink_to_fit()` 使得 `vector` 的容量与大小一致，多退但不会少。
+- `capacity()` 返回容器的容量，即不发生拷贝的情况下容器的长度上限。
+- `shrink_to_fit()` 使得 `vector` 的容量与长度一致，多退但不会少。
### 元素增删
- `clear()` 清除所有元素
- `insert()` 支持在某个迭代器位置插入元素、可以插入多个 **此操作是与 `pos` 距离末尾长度成线性而非常数的**
- `erase()` 删除某个迭代器或者区间的元素，返回最后被删除的迭代器。
-- `push_back()` 在末尾插入一个元素。
+- `push_back()` 在末尾插入一个元素，渐进复杂度为**常数**，最坏为线性复杂度。
- `pop_back()` 删除末尾元素。
- `swap()` 与另一个容器进行交换，此操作是 **常数复杂度** 而非线性的。
### `vector` 的实现细节
-`vector`的底层其实仍然是定长数组，它能够实现动态扩容的原因是增加了避免数量溢出的操作。首先需要指明的是 `vector` 中元素的数量（大小） $n$ 与它已分配内存最多能包含元素的数量（容量） $N$ 是不一致的， `vector` 会分开存储这两个量。当向 `vector` 中添加元素时，如发现 $n>N$ ，那么容器会分配一个尺寸为 $2N$ 的数组，然后将旧数据从原本的位置拷贝到新的数组中。尽管这个操作是 $O(n)$ 的，但是可以证明其分摊复杂度（即渐进复杂度）为 $O(1)$。而在末尾删除元素和访问元素则都仍然是 $O(1)$ 的开销。
-因此，只要对 `vector` 的尺寸估计得当并善用 `reserve` 函数， `vector` 的性能与定长数组不会有太大差距。
+`vector`的底层其实仍然是定长数组，它能够实现动态扩容的原因是增加了避免数量溢出的操作。首先需要指明的是 `vector` 中元素的数量（长度） $n$ 与它已分配内存最多能包含元素的数量（容量） $N$ 是不一致的， `vector` 会分开存储这两个量。当向 `vector` 中添加元素时，如发现 $n>N$ ，那么容器会分配一个尺寸为 $2N$ 的数组，然后将旧数据从原本的位置拷贝到新的数组中。尽管这个操作是 $O(n)$ 的，但是可以证明其分摊复杂度（即渐进复杂度）为 $O(1)$。而在末尾删除元素和访问元素则都仍然是 $O(1)$ 的开销。
+因此，只要对 `vector` 的尺寸估计得当并善用 `reserve()` 和 `shrink_to_fit()` 函数（ C++ 11 ），就能使得 `vector` 的效率与定长数组不会有太大差距。
### `vector<bool>`
## `array`
+`std::array` 是 STL 提供的**内存连续的**、**固定长度**的数组数据结构。
+
+### 为什么要用 `array`
+
+`array` 实际上是 STL 对数组的封装。它相比 `vector` 牺牲了动态扩容的特性，但是换来了与原生数组几乎一致的性能（在开满优化的前提下）。因此如果能使用 C++ 11 特性的情况下，能够使用原生数组的地方几乎都可以直接把定长数组都换成 `array`，而动态分配的数组可以替换为 `vector`。
+
+### `array` 的使用方法
+
+`array` 的使用方法与 `vector` 高度相似，仅有声明方式与 `vector` 不同，以及没有动态扩容的功能（如 `push_back` ）。这里只给出一段例子。
+
+```cpp
+// 1. 创建空array，长度为3; 常数复杂度
+std::array<int, 3> v0;
+// 2. 用指定常数创建array; 常数复杂度
+std::array<int, 3> v1 {1, 2, 3};
+
+v0.fill(1); // 填充数组
+
+// 访问数组
+for ( int i = 0; i != arr.size() ; ++i )
+ cout << arr[i] << " ";
+```
+
## `deque`
## `list`
OSDN Git Service
