vector是C++标准库中最常用的序列容器之一，它在底层使用一块连续内存来存储元素，因此既能支持随机访问，又能在尾部高效插入。不过很多开发者对vector的内存管理细节并不清楚：为什么vector有时会突然搬移所有元素？为什么size返回10，capacity却可能是16甚至更大？这两个指标分别代表了什么？搞懂它们才能真正理解vector的性能特征，也才能避免一些隐蔽的迭代器失效问题。
一、size与capacity：两个容易混淆的边界
vector有两个非常核心的查询接口：size()返回当前容器中实际存储的元素个数，capacity()返回当前已经分配的内存空间最多可以容纳的元素个数。二者并不总是一致的。一个刚默认构造的vector，size为0，capacity通常也为0；当插入第一个元素时，vector会申请一块能够容纳若干个元素的内存，比如一次容纳2个或4个元素，此时size为1，capacity可能为2或4。之后继续插入元素，只要size没有超过capacity，vector就只是在新位置构造元素，不会重新分配内存；一旦size要超过capacity，就要重新分配一块更大的内存，把原有元素搬移过去，然后释放旧内存。
可以用一个简单的示例来观察这种变化。代码中不断调用push_back，并打印size和capacity，能看到capacity并不是每次插入都线性增长，而是呈现出跳跃式增长。
#include <vector>
#include <iostream>
int main() {
std::vector<int> v;
for (int i = 0; i < 10; ++i) {
v.push_back(i);
std::cout << "size=" << v.size()
<< " capacity=" << v.capacity() << std::endl;
}
return 0;
}
这段代码在常见实现下会输出类似的结果：插入第1个元素后capacity变成1，插入第2个元素时capacity变成2，第3个元素时变成4，第5个元素时变成8，第9个元素时变成16。可以看到，capacity总是大于或等于size，并且一旦需要扩容，新容量通常会比旧容量大很多。这样做的原因很简单：如果每次插入都精确分配一个元素的空间，那么每插入一个元素都要进行内存分配、元素拷贝、旧内存释放，代价非常高；而一次性多分配一些空间，可以让后续若干次插入都直接使用预留好的位置，从而大幅降低平均成本。
还需要注意，capacity()并不等于vector当前占用的堆内存字节数，它只是元素个数的上限。实际占用内存等于capacity() * sizeof(T)再加上一些管理开销。另外，vector还提供了empty()判断是否为空，以及max_size()返回理论上能容纳的最大元素数，但后者与内存分配策略关系不大。
二、内存增长策略：为什么不是按需分配
如果vector在每次插入时都按精确大小重新分配内存，那么连续插入n个元素的总复制次数会达到1+2+3+...+n，也就是O(n²)级别。对于一个包含10万个元素的vector来说，这意味着数十亿次元素移动，完全无法接受。为了避免这种复杂度灾难，标准库实现采用指数增长策略，即每次扩容时将容量乘以一个固定倍数。常见倍数为2或1.5。例如GCC的libstdc++通常使用2倍增长，MSVC使用1.5倍增长，Clang的libc++在不同版本中也有变化，但基本在1.5到2倍之间。
2倍增长的优点是实现简单，在大量插入时重新分配次数更少，因为容量增长得更快；缺点是可能导致内存浪费，假设当前capacity为1024，插入第1025个元素时直接翻到2048，可能只用了1025个元素空间，将近一半内存空闲。1.5倍增长在内存利用率上略有优势，但重新分配次数稍多。实际上，这两种策略的摊销时间复杂度都是O(1)，因为无论倍数是多少，只要大于1，插入n个元素时的总复制次数都与n成正比。具体来说，每次扩容后需要把旧的k个元素复制到新空间，这些复制成本累计起来大约是2n或1.5n乘以某个常数，所以仍然在线性范围内。
可以用以下代码模拟扩容过程，观察容量变化路径。
#include <vector>
#include <iostream>
int main() {
std::vector<int> v;
std::cout << "Initial capacity: " << v.capacity() << std::endl;
for (int i = 0; i < 33; ++i) {
v.push_back(i);
}
std::cout << "After 33 elements, size=" << v.size()
<< ", capacity=" << v.capacity() << std::endl;
return 0;
}
在采用2倍增长的实现中，这个vector的capacity会经历1、2、4、8、16、32、64的变化。当插入第33个元素时，capacity从32跳到64，而size只有33，说明多出了31个元素的未使用空间。如果一开始就能预判元素数量，通过reserve提前分配，可以避免这些过程中的反复分配和复制。
需要注意的是，标准并没有规定vector必须使用哪种增长倍数，所以不同标准库、不同编译选项下结果可能不同。编写依赖具体capacity数值的代码是不可移植的。正确的做法是依赖vector的接口语义，而不是其内部容量变化规律。
三、重新分配的影响：迭代器失效与元素移动
当vector发生重新分配时，旧内存被释放，所有元素被复制或移动到新的内存地址。这意味着之前获取的指向vector元素的指针、引用和迭代器全部失效，因为它们仍然指向已经被释放的旧地址。如果继续使用这些失效的迭代器，就会导致未定义行为，轻则读到垃圾数据，重则程序崩溃。这一点在使用vector存储大对象或高频插入时尤其需要注意。
#include <vector>
#include <iostream>
int main() {
std::vector<int> v;
v.push_back(1);
int* ptr = &v[0];
std::cout << "Before reallocation: " << *ptr << std::endl;
for (int i = 0; i < 100; ++i) {
v.push_back(i);
}
// ptr 已经失效，访问它属于未定义行为
// std::cout << *ptr << std::endl;
return 0;
}
在上面的代码中，ptr在第一次插入后指向vector的第一个元素。随后循环插入100个元素，远远超过初始capacity，vector必然发生多次重新分配，旧内存被释放，ptr变成悬空指针。如果取消注释那行输出，程序很可能直接崩溃。因此，任何可能触发扩容的操作之后，都应当假设之前的迭代器和指针失效，重新获取它们。
重新分配时元素的搬运方式也值得关注。如果vector的元素类型支持移动构造且移动构造函数被声明为noexcept，标准库会优先使用移动语义来转移元素，成本通常远低于拷贝。但如果移动构造函数可能抛出异常，标准库为了保证异常安全，会退化为拷贝构造，因为一旦移动过程中抛出异常，旧内存已经被部分修改，无法恢复原状；而拷贝构造抛出异常时，旧元素仍然完好，可以安全销毁新内存并重新抛出异常。这一规则保证了vector在扩容失败或元素构造失败时不会泄漏资源，也让vector具备强异常安全保证。
四、reserve与shrink_to_fit：主动管理容量
reserve(n)是vector中非常实用的接口。它请求将capacity至少提高到n，但不改变size，也不会构造任何元素。如果当前capacity已经大于等于n，reserve通常什么都不做。这个接口适合在已知元素数量上界的情况下预先分配内存，从而消除后续插入时的反复重新分配。例如，需要读取1000条记录并存入vector，可以先reserve(1000)，然后逐条push_back，这样整个过程中最多只需要一次内存分配，复制次数也降到最低。
#include <vector>
#include <iostream>
int main() {
std::vector<int> numbers;
numbers.reserve(100);
std::cout << "After reserve(100): size=" << numbers.size()
<< ", capacity=" << numbers.capacity() << std::endl;
for (int i = 0; i < 50; ++i) {
numbers.push_back(i);
}
std::cout << "After push 50: size=" << numbers.size()
<< ", capacity=" << numbers.capacity() << std::endl;
numbers.shrink_to_fit();
std::cout << "After shrink_to_fit: size=" << numbers.size()
<< ", capacity=" << numbers.capacity() << std::endl;
return 0;
}
与reserve相对的是shrink_to_fit。当vector曾经扩容到很大，之后又删除了大量元素，此时capacity远大于size，大量内存被闲置。shrink_to_fit可以请求将capacity缩减到与size接近，但标准规定这是一个非强制性请求，实现可以选择忽略。实际使用中，主流标准库通常会响应这个请求，但为了可移植性，不能假设调用后capacity一定等于size。如果确实需要严格释放内存，可以使用经典的swap惯用法：std::vector<int>(v).swap(v);，这个方法会构造一个临时vector，其capacity等于原vector的size，然后交换内部指针，临时vector析构时释放旧内存。
很多开发者容易混淆reserve和resize。前者只改变capacity，不改变元素数量；后者改变size，会实际创建或销毁元素。另一个常见误区是认为调用clear()会释放所有内存，实际上clear()只销毁元素并将size置0，capacity保持不变。因此如果vector曾经容量很大，清空后内存仍然被占用，需要主动使用shrink_to_fit或swap惯用法来回收内存。在性能敏感场景中，合理地使用reserve和shrink_to_fit能够显著减少内存分配次数，提升程序运行效率。
C++ vectorcapacitysize修改时间：2026-09-28 02:57:29