这个需求源于 C++ 的类型衰变规则和编译时选择删除器的必要性。当将数组类型传递给模板时，它会衰变为指针，去掉了可以区分标量 (delete) 和数组 (delete[]) 释放的信息。std::unique_ptr 通过部分模板特化来解决这个问题：主要模板 std::unique_ptr<T> 使用 std::default_delete<T> 调用标量 delete，而 std::unique_ptr<T[]> 实例化 std::default_delete<T[]>，调用 delete[]。这种显式语法确保编译器生成正确的销毁代码，而无需运行时类型识别或开销。
背景： 一个低延迟音频处理引擎从一个硬件驱动程序 API 接收 PCM 样本缓冲区，这些缓冲区通过 new float[buffer_size] 分配的 float*。这些缓冲区必须经过一系列数字信号处理滤波器，同时保持严格的实时约束和异常安全性。
问题： 团队需要一种智能指针解决方案，为这些 C 风格数组提供 RAII 安全性，而不引入 std::vector 的大小/容量跟踪开销，这会违反 SIMD 操作的缓存行对齐要求。至关重要的是，在数组分配的内存上使用标量 delete 会损坏堆并崩溃音频管道。
手动删除的原始指针。 这种方法利用裸 float* 指针和在每个退出路径中的显式 delete[] 调用。优点：零抽象开销和直接的硬件 API 兼容性。缺点：异常不安全；如果在处理期间发生过滤器抛出，则缓冲区泄漏，并在二十个不同的过滤器阶段中维护正确的删除逻辑变得不可维护。由于在生产中存在可靠性风险而被拒绝。
std::vector<float> 容器。 用 std::vector 封装缓冲区提供了自动内存管理和大小跟踪。优点：异常安全和边界检查可用性。缺点： std::vector 隐式存储容量指针（通常 24 字节开销），这破坏了与音频硬件的固定大小 DMA 对齐合同。此外，std::vector 假设可变所有权和潜在重新分配，这与驱动程序的固定缓冲池相冲突。
std::unique_ptr<float[]> 特化。 该解决方案采用 std::unique_ptr<float[]>，自动实例化 std::default_delete<float[]>。优点：零开销（大小等于一个指针），确保 delete[] 被调用，具有可移动语义以实现高效的滤波器链转移，并编译时防止复制。缺点：失去运行时大小信息，需要平行跟踪，且 std::make_unique<float[]>(size) 为元素值初始化，而这对 POD 类型来说可能是多余的。
决策和结果。 我们选择了 std::unique_ptr<float[]> 结合轻量级的类似视图用于大小跟踪。这提供了异常安全性，而不违反硬件对齐约束。系统运行了几个月的音频流而没有内存泄漏，显式数组特化在编译期间捕获了一个关键错误，即开发人员试图将 std::unique_ptr<float> 与数组分配结合使用，从而在运行时强制正确的语法。
为什么 std::unique_ptr<Base[]> 拒绝从 new Derived[N] 初始化，而 std::unique_ptr<Derived> 可以转换为 std::unique_ptr<Base>？
数组类型表现出非协变的行为，这与单指针不同。虽然 Derived* 通过指针调整隐式转换为 Base*，但 Derived[] 不能转换为 Base[]，因为数组索引运算依赖于静态类型大小；在 Base[] 的 Derived[] 视图中访问元素 i 会计算出不正确的字节偏移。因此，std::unique_ptr 的数组特化显式删除不同数组类型之间的转换构造函数，以防止访问不对齐的内存，而标量版本允许转换（需要虚拟析构函数以确保安全）。
如何通过 std::make_unique<T[]>(n) 初始化元素与 std::make_unique<T>(args...) 相比，以及这如何限制其适用性？
数组重载 std::make_unique<T[]>(n) 对所有 n 个元素执行值初始化，这会将标量零初始化或默认构造对象。这与标量形式不同，后者将参数转发到 T 的构造函数。这个区别阻止了使用 std::make_unique 用于非默认可构造类型的数组，因为你不能为单个元素传递构造函数参数。候选人们常常试图使用 std::make_unique<NonDefaultConstructible[]>(5, args)，这将失败编译，迫使使用手动循环或 std::vector 进行放置。
当 std::unique_ptr<T (标量) 管理来自 new T[N] 的内存时，会产生什么未定义行为，以及编译器为何保持沉默？
标量 std::unique_ptr 使用 std::default_delete<T>，调用 delete（标量删除）。当应用于从 new T[N] 分配的数组内存时，这构成不匹配，导致未定义行为——通常只释放第一个元素的内存或破坏堆分配器的元数据。编译器不警告是因为模板参数 T 衰变；new T[N] 返回 T*，并且在 std::unique_ptr 构造时类型系统失去了数组的区分。这种静默失败模式正是 std::unique_ptr<T[]> 作为一种不同的类型安全替代品存在的原因。