c++oding="utf-8" ?>
std::vector自动扩容是在size()等于capacity()时触发,分配更大内存、拷贝或移动旧元素、释放旧内存;主流实现采用1.5倍或2倍乘性增长策略以保证摊还o(1)时间复杂度。

std::vector 是怎么自动扩容的
它不是“动态数组”的手动实现,而是标准库封装好的容器,底层用指针 + 容量管理实现扩容逻辑。关键行为是:插入时若 size() == capacity(),就分配新内存、拷贝旧数据、释放旧内存。
典型扩容策略是「乘性增长」,主流实现(如 libstdc++、libc++)通常按 1.5 倍或 2 倍扩大容量,不是每次 +1——这是为了摊还时间复杂度控制在 O(1)。
-
push_back()触发扩容时,新容量 =max(2, floor(capacity * 1.5))(GCC 实际用 1.5,Clang 用 2) - 不提供自动缩容,
pop_back()只减size,不释放内存;需显式调用shrink_to_fit()请求缩容(但不保证执行) - 移动语义启用后,扩容时若元素可移动(
noexcept move constructor),会优先移动而非拷贝,提升性能
手动实现扩容时别直接用 new[]/delete[]
裸 new[] 分配原始内存,无法自动调用构造函数;delete[] 也不能保证析构所有有效元素。必须配合 std::allocator 或 placement new 才安全。
- 分配新内存用
std::allocator<t>.allocate(n)</t>,而非new T[n] - 构造对象必须用 placement new:
new (ptr) T(args...) - 销毁对象要逐个调用析构函数:
ptr[i].~T(),再用deallocate() - 否则遇到 string、vector 等含资源的类型,必然 double-free 或泄漏
shrink_to_fit 不等于立即缩容
它只是向容器发出“建议”,是否释放内存由实现决定。libstdc++ 在空闲内存足够大时才真正缩;libc++ 则可能直接忽略。
- 想强制缩容?只能手动 swap:
vector<t>(v).swap(v)</t>,利用临时对象生命周期结束释放内存 - 但注意:这会引发一次完整拷贝,且原
v的迭代器全部失效 - 频繁缩容反而损害性能——内存分配器对小块反复申请/释放效率低,还可能加剧碎片
自定义扩容策略要小心异常安全
如果在扩容中途(比如拷贝第 5 个元素时)抛异常,必须保证原数组不被破坏、已构造对象正确析构。
- 推荐用「两阶段」:先分配+构造新空间,成功后再销毁旧空间;失败则清理新空间,原状态不变
- 避免在循环中混合 new 和 throw——没 catch 就直接栈展开,容易漏掉析构
- 更稳妥的做法是使用
std::vector自带的reserve()预分配,或用std::unique_ptr<t></t>管理原始内存,配合 RAII
真正需要手写动态数组的场景极少,多数时候 std::vector 已覆盖需求;真要自己搞,重点不是“怎么扩”,而是“扩失败了怎么办”和“对象生命周期怎么兜底”。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











