允许和使用std::unique_ptr<T[]>的另一个原因是，到目前为止还没有在响应中提到:它允许向前声明数组元素类型。

当您希望最小化头文件中的链式#include语句(以优化构建性能)时，这非常有用。

例如:

myclass.h:

class ALargeAndComplicatedClassWithLotsOfDependencies;

class MyClass {
   ...
private:
   std::unique_ptr<ALargeAndComplicatedClassWithLotsOfDependencies[]> m_InternalArray;
};

myclass.cpp:

#include "myclass.h"
#include "ALargeAndComplicatedClassWithLotsOfDependencies.h"

// MyClass implementation goes here

使用上面的代码结构，任何人都可以#include " MyClass .h"并使用MyClass，而不必包括MyClass::m_InternalArray所要求的内部实现依赖。

如果m_InternalArray被声明为std::array< alargeandcomplatedclasswithlotsofdependencies >，或者std::vector<…> -结果将尝试使用不完整的类型，这是一个编译时错误。

为了回答人们认为你“必须”使用vector而不是unique_ptr，我在GPU上的CUDA编程中有一个案例，当你在Device中分配内存时，你必须使用一个指针数组(使用cudaMalloc)。 然后，当在Host中检索该数据时，必须再次寻找指针，unique_ptr可以很容易地处理指针。 将double*转换为vector<double>的额外成本是不必要的，并且会导致性能损失。

当你只能通过一个现有的API(窗口消息或线程相关的回调参数)插入一个指针时，它们可能是正确的答案，这些指针在被“捕捉”到另一边后具有一定的生命周期，但与调用代码无关:

unique_ptr<byte[]> data = get_some_data();

threadpool->post_work([](void* param) { do_a_thing(unique_ptr<byte[]>((byte*)param)); },
                      data.release());

我们都希望事情对自己有利。c++是其他时候用的。

Scott Meyers在《Effective Modern c++》中这样说

对于数组来说，是否存在std::unique_ptr应该只对你的智力感兴趣，因为std::array， Std::vector, Std::string实际上总是比原始数组更好的数据结构选择。关于我能想到的唯一情况，当std::unique_ptr<T[]>有意义时，当你使用一个类似c的API，返回一个原始指针指向你假定拥有的堆数组时。

我认为Charles Salvia的答案是相关的:std::unique_ptr<T[]>是初始化一个在编译时不知道大小的空数组的唯一方法。对于使用std::unique_ptr<T[]>的动机，Scott Meyers会说些什么呢?

这里有权衡，您可以选择与您想要的匹配的解决方案。我能想到的是:

初始大小

vector和unique_ptr<T[]>允许在运行时指定大小 数组只允许在编译时指定大小

调整

array和unique_ptr<T[]>不允许调整大小 向量是

存储

vector和unique_ptr<T[]>将数据存储在对象之外(通常在堆上) 数组将数据直接存储在对象中

复制

数组和向量允许复制 unique_ptr<T[]>不允许复制

交换/移动

vector和unique_ptr<T[]>有O(1)次交换和移动操作 数组有O(n)次交换和移动操作，其中n是数组中元素的数量

指针/引用/迭代器失效

array ensures pointers, references and iterators will never be invalidated while the object is live, even on swap() unique_ptr<T[]> has no iterators; pointers and references are only invalidated by swap() while the object is live. (After swapping, pointers point into to the array that you swapped with, so they're still "valid" in that sense.) vector may invalidate pointers, references and iterators on any reallocation (and provides some guarantees that reallocation can only happen on certain operations).

概念和算法的兼容性

array和vector都是容器 unique_ptr<T[]>不是容器

我不得不承认，对于基于策略的设计来说，这似乎是一个重构的机会。

与std::vector和std::array相反，std::unique_ptr可以拥有一个NULL指针。 这在使用期望数组或NULL的C api时非常方便:

void legacy_func(const int *array_or_null);

void some_func() {    
    std::unique_ptr<int[]> ptr;
    if (some_condition) {
        ptr.reset(new int[10]);
    }

    legacy_func(ptr.get());
}