std::vector在多数场景下是正确答案,仅在底层教学、嵌入式受限环境或需精确控制内存时才手写动态数组;须严格区分resize与reserve、正确处理移动语义和异常安全、预留allocator接口。

为什么不能直接用 std::vector?
多数场景下,std::vector 就是正确答案——它已高度优化、异常安全、支持移动语义。但如果你在写底层容器教学代码、嵌入式受限环境(禁用 STL)、或需要精确控制内存布局和扩容策略,才需要手写动态数组模板。硬套 std::vector 接口却不用它,反而容易漏掉 allocator、move、exception safety 等关键细节。
resize 和 reserve 的行为差异必须分清
这是最容易混淆的两个操作:resize(n) 改变逻辑大小(size()),会构造/析构元素;reserve(n) 只调整容量(capacity()),不碰已有元素,也不改变 size()。手写时若把两者混为一谈,比如在 push_back 里只调 resize,会导致重复构造或未初始化内存访问。
-
push_back前必须检查size() == capacity(),触发扩容时只调reserve(new_capacity),而非resize - 扩容后需用
std::uninitialized_copy或placement new构造旧元素,不能直接memcpy(非 POD 类型会崩溃) - 旧内存释放前,必须对每个存活元素显式调用析构函数,否则资源泄漏
模板参数里要不要加 Allocator
加。哪怕初期只用 std::allocator,也应预留接口。否则后期想支持自定义分配器(如内存池、对齐分配)时,要大改接口和所有调用点。STL 容器都带这个参数,不是摆设。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 声明模板:
template<typename t typename allocator="std::allocator<T">></typename> - 成员变量用
Allocator alloc_;,所有内存操作走alloc_.allocate/alloc_.deallocate - 构造/拷贝/移动函数都要接收并传递
Allocator参数,尤其注意拷贝构造中两个对象可能用不同 allocator
移动语义和异常安全怎么落地
没实现移动构造/赋值,就等于放弃现代 C++ 性能;没处理异常安全(比如 new 抛异常),push_back 就可能让容器处于无效状态。这两点必须一起考虑。
- 移动构造函数中,把
data_、size_、capacity_全部“偷”过来,然后把源对象置为nullptr/0,避免析构时 double-free -
push_back扩容路径:先分配新内存 → 再逐个移动构造元素 → 最后释放旧内存。如果移动构造抛异常,新内存已分配但未完成构造,必须立即deallocate并 rethrow - 用
noexcept标记移动操作(当T的移动构造/赋值是noexcept时),否则std::vector在扩容时可能退化为拷贝
真正难的不是写完一个能跑的版本,而是让 size()、capacity()、data()、迭代器、异常强保证、allocator 传播全部对齐标准容器的行为——差一点,下游代码就可能踩坑。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










