C++ 高效编程必知：STL 容器大小与容量的深度解析

Lion 莱恩呀

于 2025-02-14 09:00:00 发布

阅读量1.5k

点赞数 51

分类专栏： C/C++技术干货文章标签： c++ 开发语言 c++11 stl size capacity

本文链接：https://blog.csdn.net/Long_xu/article/details/144775445

版权

C/C++技术干货专栏收录该内容

116 篇文章

订阅专栏

STL容器的大小与容量详解

一、简介
二、定义大小与容量
三、管理大小（size)
- 3.1、获取大小信息
- 3.2、修改大小
四、管理容量（capacity）
五、容量策略
六、总结

一、简介

虽然大小（Size）和容量（Capacity）这两个术语看起来非常相似，但混淆它们可能会导致程序效率低下甚至错误。本文深入探讨标准模板库（STL）容器的大小（Size）和容量（Capacity），并阐明两者的区别。
在这里插入图片描述

二、定义大小与容量

大小（Size）：指容器当前持有的元素数量，即从开始到结束迭代时所遇到的元素总数。这是一个容器基本属性的重要组成部分。
容量（Capacity）：指容器在不重新分配内存的情况下可以容纳的最大元素数。虽然有些容器允许通过接口访问容量，但这更多涉及到实现细节，和优化内存管理与时间复杂度相关。

当向容器中添加元素超过其容量时，容器会分配新的内存。例如，std::vector 在这种情况下会将所有元素移动到新分配的内存位置（在C++11中，如果移动构造函数是noexcept，元素是移动而不是复制，但仍然涉及内存的分配和释放）。

了解了定义后，让我们继续探讨如何管理STL容器的大小和容量。

三、管理大小（size)

3.1、获取大小信息

所有标准容器都提供一个size()方法，用于获取容器当前包含的元素数量。要注意到std::string有一个length()方法，其功能与size()相同，但名称更符合。
容器还提供一个empty()方法，返回一个布尔值来指示容器是否为空。

在C++11之前，某些容器（如std::list）的size()方法可能不是常数时间操作。因此，检查容器是否为空时，使用.empty()方法更为高效。C++11之后，empty()和比较size()是否为0的效率相似，但vector::empty()由于一些复杂的原因会比直接比较大小更高效。
max_size()方法返回容器能容纳的最大元素数，这与平台有关，不是静态方法，因为不同的分配器可能影响最大容量。
如果你有两个迭代器定义的范围，可以通过std::distance计算其大小。

3.2、修改大小

构造函数可以接受元素数量来初始化容器大小。例如：

vector<char> v(15); // 初始化大小为15的向量，默认值初始化
vector<char> v(15, 'a'); // 初始化大小为15的向量，所有元素初始化为'a'

resize方法可以改变容器的大小：

void resize( size_type count );
void resize( size_type count, const value_type& value );

如果新大小比旧大小大，添加新元素到末尾，如果没有指定值，则新元素值初始化。
如果新大小比旧大小小，则删除多余元素。
如果新大小等于旧大小，resize不产生任何效果。

四、管理容量（capacity）

4.1、获取容量

并非所有容器都关心容量，如std::list，其容量始终等于大小。vector、deque和string定义了容量概念。
容量主要对vector和string有用。想象一下，当你往一个已经装满的盒子（容器）里再塞东西（元素）时，盒子就会爆开，需要换一个更大的盒子来装。这个“换盒子”的过程，就是容器在需要更大容量时，会把所有东西（元素）搬到一个新的、更大的空间里。对于vector和string来说，这个过程意味着所有元素都要被移动到新的内存位置。
capacity()方法可以获取容器的当前容量（deque除外）。deque（双端队列）就有点特别了，它不像向量和字符串那样一次性搬家，它会像搭积木一样，逐步增加它的空间，这样就不需要把所有已有的数据都搬来搬去。所以deque没有此方法。

4.2、增加容量

在实际应用中，需要控制容量的大小，这样可以避免频繁的重新分配内存，减少移动数据的次数。通过预先规划好需要的空间，可以让程序运行得更流畅，避免不必要的性能消耗。

如果你知道容器将存储的元素数量，可以提前分配足够的容量以避免多次重新分配：

std::vector<int> v;
v.reserve(1000); // 预分配1000个元素的空间

但是，滥用reserve()可能会导致性能下降。

4.3、减少容量

STL容器的容量和大小不匹配问题：有一个储物箱，一开始塞满了许多东西，但后来你把大部分东西都拿走了。现在，储物箱虽然变空了，但它依然保持着原来的大尺寸，占据着不少空间。你希望它能“瘦身”，把多余的空间收起来，节省空间。

reserve() 方法就像给储物箱增加空间，只能让它变大，不能让它变小。那么如何让它“瘦身”呢？

C++11及以后的版本提供了一个方便的 shrink_to_fit() 方法，就像一个“压缩”按钮，它会尝试将储物箱的尺寸调整到刚好能容纳当前物品的大小。直接调用 v.shrink_to_fit() 即可。

在C++11之前，没有 shrink_to_fit() 方法，需要“交换技巧”的方案。它就像把物品先转移到一个刚好合适的新的储物箱，然后把旧的大储物箱替换掉。代码如下：

std::vector<int> v = ...; // 你的“大”储物箱，里面装了一些东西
// ...  你拿走了许多东西，现在储物箱空了很多，但尺寸依然很大

std::vector<int>(v.begin(), v.end()).swap(v); // 交换技巧！

这段代码做了什么？它先创建了一个新的、大小刚刚合适的vector，只包含 v 中当前剩余的元素（使用范围构造函数 std::vector<int>(v.begin(), v.end())，只复制元素，不复制多余的容量）。然后，它巧妙地利用了 swap() 方法交换了这两个向量的内存空间，旧的大向量被新的、小向量替换，原先的大向量被销毁，释放了多余的内存。 swap() 非常高效，因为它只交换了指向内存的指针，而不是复制数据。

你可能担心范围构造函数的实现细节，它会不会也复制多余的容量？在大多数标准实现中，不会。但为了确保万无一失，这个技巧始终是可靠的。

这个“交换技巧”也可以封装成一个函数，以便更方便地使用：

template <typename T>
void shrink_to_fit(std::vector<T>& v) {
  std::vector<T>(v.begin(), v.end()).swap(v);
}

这样，在C++11之前的代码中，你就可以像使用 shrink_to_fit() 一样方便地使用这个函数了。

无论是 shrink_to_fit() 还是“交换技巧”，都不能保证容器的容量会精确地缩减到大小。 STL的具体实现可能会保留一部分额外的空间，以应对未来可能的元素添加。但无论如何，它们都能有效地减少内存占用，释放那些不再需要的内存。所以，尽管不能做到“完美瘦身”，但已经足够好了。

五、容量策略

标准模板库 (STL) 中的 std::vector 高效地管理动态内存分配，保证其 push_back() 操作具有摊销常数时间复杂度 O(1)。这看似简单，背后却隐藏着精妙的内存分配策略。让我们深入探讨其背后的原理。

std::vector 维护两个关键属性：size 和 capacity。size 表示当前向量中已存储元素的数量，而 capacity 则表示向量当前已分配内存所能容纳的最大元素数量。当调用 push_back() 添加新元素时，如果 size 小于 capacity，则直接在现有内存空间中添加元素，时间复杂度为 O(1)。然而，当 size 达到 capacity 时，需要重新分配更大的内存块，并将现有元素复制到新的内存块中。这正是保证 O(n) 复杂度的关键所在。

简单的线性增长内存分配策略（例如每次增加一个固定数量的内存）是不可行的。假设每次增加 k 个元素的容量，那么当插入 n 个元素时，元素复制的次数近似为： k + 2k + 3k + … + ⌊n/k⌋k ≈ (n²/2k) 。这显然是 O(n²) 的复杂度，无法满足摊销常数时间的需求。

为了达到 O(n) 的复制复杂度，STL 实现通常采用指数级增长策略，最常见的是容量翻倍。当 capacity 达到上限时，新的 capacity 会变成原来的两倍。这种策略的巧妙之处在于，它将元素复制的总次数限制在一个线性级别。

具体分析如下：假设我们通过 n 次 push_back() 操作将向量填充至 n 个元素。在容量翻倍的策略下，元素复制只发生在容量达到 1, 2, 4, 8, …, 2^k 时（其中 2^k ≥ n）。每次重新分配内存时，大约有一半的元素需要复制。因此，总的复制次数近似为： n/2 + n/4 + n/8 + … ≤ n。这证明了总的复制次数是 O(n) 的，从而保证了 push_back() 操作的摊销常数时间复杂度。

虽然容量翻倍是最常见的策略，但实际的 STL 实现可能采用略微不同的增长因子，通常在 1.5 ~ 2之间。这些调整是为了在内存利用率和性能之间取得平衡。增长因子过大可能导致内存浪费，而增长因子过小则可能增加重新分配内存的频率，降低性能。

std::vector 的高效性并非源于简单的内存分配，而是基于精心设计的指数级增长策略，巧妙地平衡了内存使用和时间复杂度，确保 push_back() 操作在大多数情况下都能以接近 O(1) 的效率完成。理解这种策略对于深入掌握 std::vector 的运作机制至关重要。

六、总结

在 C++ 标准模板库（STL）中，理解容器的大小（Size）和容量（Capacity）是高效编程的关键。大小指容器当前持有的元素数量，而容量则是容器在不重新分配内存的情况下可以容纳的最大元素数。

两个概念虽然相似，但混淆可能导致性能下降和内存管理不当。管理大小可以通过 size()、empty()、max_size() 等方法进行，且可以利用 resize() 修改容器的元素数量。容量则主要对 std::vector 和 std::string 相关，获取容量使用 capacity()，并可以通过 reserve() 预分配空间以提高性能。为了释放不再使用的内存，C++11 引入了 shrink_to_fit() 方法，提供了一种简便方式来调整容器的容量。
在这里插入图片描述