使用std::unique_ptr<T[]>可安全管理动态数组,避免内存泄漏。它自动调用delete[],支持下标访问与移动语义,不支持拷贝和指针算术,需配合make_unique使用,适用于轻量级数组管理场景。

在C++中,std::unique_ptr 是用于管理动态分配对象的智能指针,提供独占所有权语义。当需要管理数组时,std::unique_ptr 提供了对数组类型的特化支持,使得它可以安全地管理动态分配的数组,并在析构时正确调用 delete[] 而不是 delete。
为什么要使用 unique_ptr 管理数组?
使用裸指针分配数组(如 int* arr = new int[10])容易导致内存泄漏,尤其是在异常发生或忘记调用 delete[] 时。std::unique_ptr 数组特化解决了这个问题:
- 自动调用 delete[] 释放数组内存
- 防止拷贝,避免重复释放
- 支持移动语义,资源转移安全
如何声明和使用 unique_ptr 数组?
必须显式指定数组类型和大小(或使用空括号表示未知边界),才能触发数组特化。
基本语法:
立即学习“C++免费学习笔记(深入)”;
std::unique_ptr<T[]> ptr;示例:
arr[0] = 10;
arr[1] = 20;
// 自动调用 delete[],无需手动释放
注意:std::make_unique 是 C++14 起支持数组的。
数组特化的行为特点
std::unique_ptr<T[]> 与普通指针行为类似,但更安全:
- 支持下标访问(operator[])
- 不支持指针算术(如 ++、--)除非显式获取原始指针
- 析构时自动调用 delete[]
- 不能用于动态大小数组的“运行时长度”声明(但可通过 new 表达式指定大小)
常见用法示例
#include <memory>#include <iostream>
int main() {
auto arr = std::make_unique<double[]>(3);
arr[0] = 1.1;
arr[1] = 2.2;
arr[2] = 3.3;
for (int i = 0; i < 3; ++i) {
std::cout << arr[i] << " ";
}
// 离开作用域,自动释放内存
return 0;
}
与 vector 的选择建议
虽然 unique_ptr<T[]> 可以管理数组,但在大多数情况下,std::vector 是更好的选择:
- 提供大小信息(size())
- 支持迭代器、拷贝、赋值
- 更丰富的接口
unique_ptr<T[]> 更适合在需要轻量级、低开销的动态数组管理,且不需要额外功能的场景。
基本上就这些。使用 std::unique_ptr<T[]> 是管理动态数组的安全方式,避免内存泄漏,同时保持接近原生数组的性能。关键是记得使用 [] 语法触发特化,并优先考虑 make_unique 创建对象。









