C++ std::unique_ptr数组特化版的管理动态数组

管理原始动态数组需要成对使用 new[] 和 delete[]，稍有疏忽极易导致内存泄漏或未定义行为。std::unique_ptr 的数组特化版 std::unique_ptr<T[]> 提供了一种零开销、自动管理内存的机制，能够在指针离开作用域时自动调用正确的删除器释放数组内存。

1. 创建动态数组

使用 std::make_unique（推荐 C++14 及以上标准）或直接 构造 std::unique_ptr 对象来创建数组。这是最安全、最现代的初始化方式，能够避免直接使用 new 关键字。

// 方式 A: 使用 make_unique (C++14 推荐)
// 创建一个包含 10 个 int 元素的数组，并初始化为 0
auto arr1 = std::make_unique<int[]>(10); 

// 方式 B: 使用 new 构造 (C++11 兼容)
// 创建一个包含 5 个 double 元素的数组
std::unique_ptr<double[]> arr2(new double[5]);

注意：不要使用标量版本的 unique_ptr 接收数组指针。错误的写法如 std::unique_ptr<int> p(new int[10]) 会导致调用 delete 而非 delete[]，引发内存崩溃。

2. 访问与修改数组元素

利用 重载的下标运算符 operator[] 来访问数组中的元素。其行为与原生数组完全一致，支持随机读写。

// 为数组的第 0 个和第 1 个元素赋值
arr1[0] = 100;
arr1[1] = 200;

// 读取元素的值
int val = arr1[0]; // val 为 100

切记：std::unique_ptr<T[]> 不支持 解引用操作符（*）和箭头操作符（->），因为这些操作仅针对单个对象设计，对数组没有意义。

3. 传递数组给函数

当需要将 unique_ptr 管理的数组传递给接受原生指针的 C 风格函数时，调用 .get() 方法获取底层的裸指针。

void process_array(int* p, size_t size) {
    // 处理数组逻辑
}

// 调用函数
process_array(arr1.get(), 10);

避免 将 unique_ptr 的所有权传递给函数参数，除非函数设计为接收 std::unique_ptr 参数以接管所有权。通常建议仅传递裸指针 .get() 进行只读或读写操作，保持所有权清晰。

4. 核心差异对比：unique_ptr<T[]> 与 std::vector

虽然两者都能管理动态数组，但在实际工程中需根据场景选择。下表总结了关键差异：

5. 决策逻辑：何时使用数组特化版

为了快速判断在特定场景下该使用哪种容器，遵循 下图所示的决策流程：

6. 重置与释放内存

调用 .reset() 方法可以提前释放数组占用的内存，或将指针指向一个新的数组。

// 释放当前 arr1 管理的内存，并将其置空
arr1.reset(); 

// 重新分配一个大小为 20 的新数组
arr1.reset(new int[20]); 

注意：在调用 .reset() 之后，原先的内存被立即销毁，原本指向的指针变得无效。切勿 在调用后继续访问旧的指针。

7. 自定义删除器（高级用法）

如果数组内存分配方式特殊（例如使用 malloc 或特定内存池），需 定义 自定义删除器。默认情况下，unique_ptr<T[]> 使用 delete[]。

// 定义一个使用 free 释放内存的删除器结构体
struct free_deleter {
    void operator()(void* p) const {
        free(p); // 注意：这里演示 free，实际数组应慎用，仅作语法示例
    }
};

// 使用自定义删除器管理特定分配的内存（此处仅为语法演示）
// std::unique_ptr<int, free_deleter> arr_special((int*)malloc(sizeof(int) * 10));

对于绝大多数常规 C++ 开发，默认删除器已足够。仅在与第三方库交互或涉及特殊内存管理机制时才需引入自定义删除器。