std::unique_ptr通过模板特化支持数组管理,需使用T[]语法确保析构时调用delete[];声明如std::unique_ptr<int[]> ptr(new int[10]),C++14起可用std::make_unique<int>(10)创建,默认初始化且不支持列表初始化;正确特化避免未定义行为,支持下标访问与指针算术,是安全高效的动态数组管理方式。

在C++中,使用智能指针管理动态分配的数组时,std::unique_ptr 提供了对数组的特化支持,可以安全地管理数组资源,避免内存泄漏。虽然
std::unique_ptr默认用于管理单个对象,但它也支持数组类型,通过模板特化来正确调用
delete[]而不是
delete。
unique_ptr数组的声明与初始化
要让
std::unique_ptr正确管理数组,必须在模板参数中指定数组形式,即使用
T[]语法。
std::unique_ptr<int[]> ptr(new int[10]);
—— 管理一个包含10个int的数组std::unique_ptr<double[]> dptr = std::make_unique<double[]>(5);
—— 使用C++14以后的std::make_unique
创建数组
注意:如果不写
[],比如
std::unique_ptr<int>指向数组,析构时会调用错误的
delete而不是
delete[],导致未定义行为。
访问数组元素
数组特化的
unique_ptr支持使用下标操作符访问元素。
立即学习“C++免费学习笔记(深入)”;
ptr[0] = 42;
—— 设置第一个元素int val = ptr[5];
—— 获取第六个元素
它也支持指针算术,因为底层是指向数组首元素的指针。
为什么需要数组特化?
C++区分单个对象和数组的内存释放方式:
- 普通对象用
delete
- 数组对象必须用
delete[]
std::unique_ptr<T[]>的析构函数会自动调用
delete[],确保正确释放数组内存。这是类型系统帮助我们避免常见错误的关键机制。
make_unique 创建数组(C++14起)
C++14 起,
std::make_unique支持数组:
auto arr = std::make_unique<int[]>(10); // 创建10个int的数组
auto zero_arr = std::make_unique<int[]>(0); // 也可以创建0大小数组
注意:不能用
make_unique初始化列表方式初始化数组元素(如
{1,2,3}),它只支持默认初始化或值初始化。
基本上就这些。使用
std::unique_ptr<T[]>是管理动态数组最安全的方式之一,确保自动释放、防止泄漏,且语法接近原生数组。只要记得加上
[]模板参数,就能正确启用数组特化。不复杂但容易忽略。










