C++ vector capacity和size区别 C++ 容器容量与大小概念辨析【内存】

size()返回逻辑长度即当前元素个数,capacity()返回物理容量即底层分配的内存可容纳元素数;capacity()恒≥size(),且仅在push_back触发扩容时按倍增策略增长。

capacity 和 size 的本质区别

size() 返回当前存了多少个元素,是逻辑长度;capacity() 返回底层分配的内存能容纳多少个元素,是物理容量。两者数值可以相等,但 capacity() 永远 ≥ size()

常见误解是认为 capacity() 是“预留空间”,其实它只是 vector 内部 new 出来的连续内存块总大小——哪怕你只 push_back 一个元素,capacity() 也可能已经是 16 或 32。

什么时候 capacity 会突然变大

每次 push_back 导致 size() == capacity() 时,vector 必须重新分配内存。主流实现(如 libstdc++、libc++)采用倍增策

略:新 capacity 通常是旧值的 1.5 倍或 2 倍。

  • 这意味着反复 push_back 小量元素可能触发多次 realloc,伴随数据拷贝开销
  • 如果提前知道最终规模,用 reserve(n) 预留空间,可避免中间扩容
  • resize(n) 只影响 size()(并默认构造/析构元素),不改变 capacity();而 reserve(n) 只影响 capacity(),不改变 size()

capacity 为 0 的 vector 是合法的

vectorsize()capacity() 都可以是 0,这不代表它没分配内存——某些标准库实现会在首次插入时才分配,也有实现初始就分配小块(如 1 个元素空间)。

判断是否真正“未分配”不能只看 capacity() == 0,更可靠的是:empty() && data() == nullptr(C++11 起 data() 对空 vector 返回 nullptr)。

注意:shrink_to_fit() 是请求缩减容量,但不保证成功;调用后 capacity() 可能仍大于 size(),甚至不变。

调试时怎么快速验证 capacity 变化

在关键路径加日志输出,比如:

std::vector v;
v.push_back(1);
std::cout << "size=" << v.size() << ", capacity=" << v.capacity() << "\n";

容易踩的坑:

  • operator[] 访问 size() 之外的位置不会检查 capacity(),行为未定义(不是越界异常,而是静默错误)
  • clear() 只清空元素(size() 变 0),不释放内存(capacity() 不变)
  • 移动赋值后,源 vectorcapacity() 可能为 0(取决于实现),不要假设它和移动前一致

实际内存占用要看 capacity() × sizeof(T),而不是 size() —— 这点在内存敏感场景(嵌入式、高频交易缓存)里常被忽略。