本文共 3685 字，大约阅读时间需要 12 分钟。
容器是C++标准库中一个重要的组成部分，用于存储和操作一系列元素。容器可以根据不同的需求和场景分为几大类。本文将从基础到高级逐一介绍这些容器的特点、实现方式以及使用场景。
vector是C++标准库中最常用的连续线性容器。它的主要特点是支持动态扩展空间，能够在元素添加时自动分配更大的内存空间。与array不同，vector的空间分配更加灵活，能够以元素为单位动态扩展和收缩。
vector与array的唯一区别在于空间的管理方式。array是静态分配的，一旦确定了容器大小，内存空间就无法再改变。而vector则采用动态分配机制，能够根据实际需求灵活配置内存空间。这使得vector在处理大量元素时更加高效。
vector的迭代器非常简单，因为它内部的数据是以连续的线性数组的形式存储的。因此，不论是哪种类型的元素，vector的迭代器都可以使用普通指针来实现。vector的迭代器支持以下操作：
operator*：用于获取当前元素的值。operator+：用于获取迭代器之间的距离。operator++：用于递增到下一个元素。operator--：用于递减到前一个元素。这种设计使得vector的迭代器实现简单且高效。
vector的内部实现主要包括以下几个部分：
std::allocator，但可以自定义。vector的数据结构可以用图示表示为一个动态扩展的数组。每当新元素加入时，vector会根据当前空间是否已满，决定是否需要重新分配内存空间。
vector支持以下操作：
push_back：在尾部添加一个元素。pop_back：从尾部移除一个元素。erase：移除指定位置的元素。clear：清空整个容器。需要注意的是，当vector的空间已满时，push_back操作可能会触发内存重新分配。这一过程中需要确保操作的原子性，防止在拷贝数据时出现异常。
list是另一种常用的连续线性容器，但与vector相比，它的空间管理方式更加复杂。list的主要特点是支持高效的插入和删除操作，但其内部结构较为复杂，空间利用较为精准。
list的内部采用双向链表结构，每个节点包含指向前后节点的指针。这种结构使得list能够在O(1)时间内完成插入和删除操作，但同时也增加了空间分配和管理的复杂度。
list的迭代器称为双向迭代器（Bidirectional Iterators），它不仅支持递增和递减操作，还可以取出当前节点的值。此外，list的迭代器支持随机访问操作。
由于list是双向链表，迭代器可以从任意节点开始遍历，直到末尾或头部。这使得list的迭代器比vector的迭代器功能更为强大。
list的实现包括以下几个关键部分：
与vector不同，list的空间利用更加精准，每次插入或删除操作只会分配或释放一个节点。这使得list在处理大量数据时更加节省空间。
list支持以下操作：
push_back：在尾部添加一个元素。pop_back：从尾部移除一个元素。erase：移除指定位置的元素。clear：清空整个容器。与vector不同，list的插入和删除操作不会使前面的迭代器失效。这大大简化了元素操作的安全性。
deque（双端队列）是一种既支持头尾插入和删除操作，又具备连续线性空间的容器。它的实现方式与vector类似，但其空间分配方式更加灵活。
deque的内部结构由多个固定大小的段组成，这些段以指针形式链接起来，从而构成一个假象的连续线性空间。这种设计使得deque能够在常数时间内完成头尾元素的插入和删除操作。
deque的迭代器与vector的迭代器类似，因为它们都基于连续线性数组的存储方式。因此，deque的迭代器也可以使用普通指针来实现。然而，由于deque的实现方式复杂，其迭代器的效率比vector低一些。
deque的主要优点在于其支持常数时间的头尾操作，这在某些场景下非常有用。然而，由于其实现方式的复杂性，deque通常不会被直接使用，而是以vector为基础进行扩展。
stack（栈）是一种后进先出的数据结构，通常用于存储一系列操作的上下文。stack可以基于deque或list实现，通过封闭头端开口来创建一个后进先出的容器。
stack的主要特点是支持快速的push和pop操作，同时可以通过top访问栈顶元素。与queue不同，stack的空间利用更加高效，因为它不会因为元素的插入和删除而频繁分配或释放内存。
stack的实现通常基于deque，通过管理栈顶和栈底的指针来实现。这种设计使得stack能够高效地支持push和pop操作。
stack不提供迭代器支持，因为其主要目标是快速的元素插入和移除操作，而不是遍历数据。
stack的pop操作与vector的pop操作不同。由于stack的元素是后进先出的，pop操作会将栈顶元素移除并返回该元素的值。为了提高效率，stack的pop操作不会返回元素的引用，而是直接构造一个新的对象，这样可以避免在构造函数中出现异常时导致栈顶元素无法还原。
queue（队列）是一种先进先出的数据结构，通常用于任务调度或事件处理。queue可以基于deque或list实现，通过封闭头端开口来创建一个先进先出的容器。
queue的主要特点是支持常数时间的进队和出队操作。与stack不同，queue的出队操作不会修改其他元素的位置，因此可以在O(1)时间内完成。
queue的实现通常基于deque，通过管理队列头和尾的指针来实现。这种设计使得queue能够高效地支持进队和出队操作。
queue不提供迭代器支持，因为其主要目标是快速的元素插入和移除操作，而不是遍历数据。
heap（堆）并不是C++标准库中容器的一部分，而是一个由priority queue调用来管理的数据结构。heap的主要特点是支持O(1)时间的最大或最小元素获取操作，同时具备动态调整优先级的能力。
heap的内部实现通常基于vector，通过堆排序的方式实现优先级队列的功能。heap的主要用途是实现优先级队列的操作，比如任务调度、事件处理等。
heap的实现包括以下几个关键部分：
heap的迭代器不支持随机访问操作，因为heap的元素存储方式具有特定的结构。
priority queue（优先队列）是一个带有权值观念的队列，其内部元素按照特定规则（如最大值或最小值）进行排列。priority queue默认以max-heap实现，但也可以根据需求配置为min-heap。
priority queue的实现通常基于vector，内部通过heap排序策略来维护元素的优先级。与heap不同，priority queue本身是一个容器，直接支持容器操作，如push、pop、sort等。
priority queue的实现包括以下几个关键部分：
priority queue的迭代器不支持随机访问操作，因为其元素存储方式具有特定的结构。
slist（单向列表）是C++标准库中一个非标准容器。与list类似，slist是一种单向链表结构，但其迭代器只支持单向遍历操作。此外，slist不在标准规格内，因此在实际应用中较少使用。
slist的主要特点是支持高效的插入和删除操作，同时具备较低的空间利用率。与list不同，slist的迭代器只支持递增操作，不支持递减操作。
slist的实现包括以下几个关键部分：
slist的主要用途是实现需要单向操作的场景，但其非标准性使得其在实际应用中相对较少。
通过以上介绍可以看出，C++标准库中的容器可以根据不同的需求和场景分为多种类型。从简单的vector到复杂的priority queue，每种容器都有其独特的特点和适用场景。在实际开发中，选择合适的容器能够显著提高代码的效率和可维护性。
转载地址：http://wydq.baihongyu.com/