应优先使用 std::vector 而非裸 new/delete 数组,因其自动内存管理、安全扩容与统一接口;需注意越界访问应使用 at() 而非 operator[],预分配用 reserve(),无默认构造类型须用 emplace_back;自定义扩容需封装或定制 Allocator,禁止继承 vector;裸数组仅限底层场景,务必配 unique_ptr 或显式传长;vector::data() 指针仅临时有效,不可缓存。

std::vector 是 C++ 里最常用也最安全的动态数组实现
直接用 std::vector,别手写裸 new/delete 数组。它自动管理内存、支持拷贝/移动、能随需扩容,且接口统一(push_back、size、operator[])。手动管理 new[]/delete[] 极易出错——比如忘了扩容时深拷贝、异常路径下内存泄漏、或越界访问没检查。
常见错误现象:std::vector 初始化后直接用 operator[] 访问未分配索引(如 v[5] 而 v.size() == 0),不会抛异常但行为未定义;应改用 v.at(5) 触发边界检查。
-
std::vector<int> v(10);</int>—— 创建含 10 个默认初始化int的容器 -
std::vector<:string> v; v.reserve(100);</:string>—— 预分配容量但不构造对象,避免多次 realloc - 若元素类型无默认构造函数,必须用
emplace_back或带参数的push_back,不能依赖默认构造
需要自定义扩容策略时,得重载 allocator 或封装 wrapper
标准 std::vector 扩容通常是 1.5 倍或 2 倍增长(具体由实现决定),但某些嵌入式或性能敏感场景要求固定步长扩容(如每次 +64)、或使用内存池。这时不能改 std::vector 本身,而是封装一层或定制 Allocator。
使用场景:频繁小对象插入(如日志条目),避免频繁 malloc;或在已知最大尺寸的实时系统中,禁止不可预测的内存分配。
立即学习“C++免费学习笔记(深入)”;
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 自定义
Allocator必须满足Allocator概念(含allocate/deallocate/construct/destroy等),且注意状态是否可拷贝 - 简单 wrapper 示例:
class FixedStepVector { std::vector<t> data_; size_t step_ = 64; void grow_if_needed() { if (data_.size() >= data_.capacity()) data_.reserve(data_.capacity() + step_); } };</t> - 别试图通过继承
std::vector来“增强”它——它没有虚析构函数,也不设计为基类
用 raw pointer + new[] 实现动态数组是高危操作,仅限极少数情况
除非你正在写底层库、兼容 C ABI、或调试内存布局,否则不要用 int* arr = new int[n];。它绕过 RAII,无法自动释放,且不提供 size 信息——sizeof(arr) 是指针大小,不是数组长度。
常见错误现象:delete arr;(漏掉 [])导致未定义行为;或把裸指针传给函数后,调用方和被调用方对谁负责 delete 模糊不清。
- 若必须用,至少用
std::unique_ptr<int></int>包裹:auto arr = std::make_unique<int>(n);</int>,保证自动释放 - 传递裸数组时,必须显式传长度:
void process(int* data, size_t len);,不能只传指针 - 跨 DLL 边界传递裸数组?确保两边编译器、STL 版本、ABI 完全一致,否则
new/delete可能不匹配
std::vector 和 C 风格数组互操作要注意 lifetime 和 ownership
想把 std::vector 数据传给 C 函数(如 memcpy、OpenGL 的 glBufferData),可以用 data() 获取首地址,但它只是临时视图——vector 被移动、销毁或重新分配后,该指针立即失效。
性能影响:调用 data() 零开销,但若后续有 push_back 导致扩容,旧指针即悬垂。不能缓存 data() 结果长期使用。
-
glBufferData(GL_ARRAY_BUFFER, v.size() * sizeof(float), v.data(), GL_STATIC_DRAW);—— 正确,v 在调用期间有效 - 错误写法:
float* ptr = v.data(); v.push_back(42); use(ptr);——ptr可能已失效 - C 接口要求所有权转移?用
std::vector构造后调用std::vector::data()+std::vector::size(),再用std::vector的移动语义交出控制权(如转成std::unique_ptr管理的裸数组)
C++ 动态数组的核心不是“怎么分配”,而是“谁负责释放”和“何时失效”。std::vector 把这个问题收束到单一对象生命周期里;一旦跳出这个模型,所有复杂度都会指数级上升。

















