std::unique_ptr可以通过数组特化版本std::unique_ptr<t[]>安全管理动态数组，自动调用delete[]释放内存；2. 必须使用t[]作为模板参数，否则使用std::unique_ptr<t>管理数组会导致未定义行为；3. 该特化版本支持operator[]访问元素，但不支持自定义删除器、动态扩容或直接获取大小；4. 尽管可用，但大多数场景应优先使用std::vector或std::array以获得更完整的容器功能和安全性。
智能指针能否管理数组？可以，但方式有限。C++标准库中的
std::unique_ptr和
std::shared_ptr都能管理动态数组，但
std::unique_ptr提供了专门的数组特化版本，使用更安全、更高效。
我们重点来看
std::unique_ptr的数组特化用法。
1. unique_ptr
的数组特化版本
std::unique_ptr有两种模板形式：
std::unique_ptr<T>
：用于单个对象std::unique_ptr<T[]>
：用于数组，这是特化版本
当你使用
T[]作为模板参数时，
unique_ptr会启用数组特化，自动使用
delete[]释放内存，而不是
delete，避免内存泄漏或未定义行为。
基本用法示例：
#include <memory>
#include <iostream>
int main() {
// 创建一个管理10个int的unique_ptr数组
std::unique_ptr<int[]> arr(new int[10]);
// 赋值
for (int i = 0; i < 10; ++i) {
arr[i] = i * i;
}
// 访问元素
for (int i = 0; i < 10; ++i) {
std::cout << arr[i] << " ";
}
std::cout << std::endl;
// 离开作用域时自动调用 delete[]
return 0;
}注意：
- 使用
new[]
分配数组 - 模板参数是
int[]
，不是int
- 可以使用
operator[]
访问元素 - 析构时自动调用
delete[]
2. 为什么需要数组特化？
如果不使用数组特化，比如写成：
std::unique_ptr<int> p(new int[10]); // 错误！
这会导致：
delete
被调用，而不是delete[]
- 对数组使用
delete
是未定义行为（undefined behavior） - 可能导致内存泄漏、崩溃或资源未释放
而
std::unique_ptr<int[]>特化版本确保调用
delete[]，是类型安全的。
3. unique_ptr
数组的限制
虽然
unique_ptr<T[]>可以管理数组，但它有一些限制：
-
不支持自定义删除器（不像
shared_ptr
那样灵活） - 不能动态调整大小（本质仍是裸数组）
-
没有
std::size()
或范围 for 的直接支持（但可以用std::begin
/std::end
辅助）
不过，它仍然比裸指针安全得多。
4. 推荐：优先使用 std::vector
或 std::array
虽然
unique_ptr<T[]>可以用，但在大多数场景下，更推荐使用标准容器：
std::vector<T>
：动态数组，支持扩容、拷贝、移动、范围 forstd::array<T, N>
：固定大小数组，栈上分配，零开销
例如：
std::vector<int> arr(10); // 更现代、更安全
只有在以下情况才考虑
unique_ptr<T[]>：
- 需要手动控制生命周期，但又不想用
vector
- 接收第三方 API 返回的
new[]
数组 - 性能敏感且不能使用容器（极少数情况）
总结要点
std::unique_ptr<T[]>
是专为数组设计的特化版本- 它自动使用
delete[]
，避免资源泄漏 - 支持
operator[]
访问元素 - 不要对数组使用
std::unique_ptr<T>
- 多数情况下，优先选择
std::vector
或std::array
基本上就这些。用对了特化版本，
unique_ptr管理数组是安全且简洁的。
