在c++中，std::vector 是最常用的动态数组容器之一。它的核心特性是支持随机访问的同时还能自动管理内存大小。当元素数量超过当前容量时，vector会自动扩容。这个过程涉及内存分配、元素迁移和旧内存释放，理解其背后的机制有助于写出更高效的代码。
动态扩容的基本原理
vector内部维护三个关键指针（或等价的size_t变量）：
- start：指向数据起始位置
- finish：指向已使用空间的末尾（即 size）
- end_of_storage：指向整个分配空间的末尾（即 capacity）
当插入新元素而空间不足时（size == capacity），vector必须进行扩容。具体步骤如下：
- 申请一块更大的连续内存空间
- 将原有元素拷贝或移动到新空间
- 析构并释放旧内存
- 更新内部指针指向新内存
内存增长策略：几何级数 vs 等差增长
不同STL实现采用不同的扩容倍数，常见的是1.5倍或2倍增长。例如：
立即学习“C++免费学习笔记（深入）”；
- GCC（libstdc++）通常使用2倍增长
- MSVC 和 Clang（libc++）倾向于使用1.5倍增长
假设当前容量为 n，插入导致溢出时，新容量一般为：
new_capacity = old_capacity * growth_factor
选择增长因子的关键在于平衡：
- 太小（如1.1倍）：频繁realloc，性能下降
- 太大（如3倍）：内存浪费严重
- 1.5~2之间：多数实现在时间与空间效率间取得较好折衷
扩容带来的性能影响与优化建议
每次扩容都会触发一次完整的元素复制/移动操作，复杂度为 O(n)。如果连续插入大量元素，可能引发多次扩容，影响整体性能。
可以通过以下方式避免不必要的扩容开销：
- 预先调用 reserve(n) 设置预期容量，避免中间多次realloc
- 若知道大致元素数量，直接 reserve 减少内存重分配次数
- 使用 emplace_back 替代 push_back 可减少临时对象构造开销
示例：
std::vector
vec.reserve(1000); // 预分配空间
for (int i = 0; i vec.push_back(i); // 不再触发扩容
}
异常安全与强保证
vector在扩容过程中需保证异常安全性。如果在拷贝构造新元素时抛出异常，原数据不能丢失。因此：
- 使用拷贝构造而非移动来确保强异常安全保证
- 只有当所有元素成功复制后，才会释放旧内存
- 若分配失败或构造异常，原vector保持不变
这也意味着自定义类型应提供强异常安全的拷贝构造函数。
基本上就这些。vector的动态扩容机制在大多数场景下表现良好，了解其实现细节能帮助我们更好地控制内存使用和程序性能。