在没有值初始化的情况下制作数组类型的 std::unique_ptr 的推荐方法？

Question

我有一些 C++ 代码，如下所示：

#include <memory>

void do_memory()
{
  std::unique_ptr<int[]> ptr = std::make_unique<int[]>(50);

  int* ptr2 = new int[50];
  delete[] ptr2;
}

在第一种情况下，我正在创建一个指向 int 数组的唯一指针，而在第二种情况下，我正在分配一个原始 int 数组。 到作用域剩余时，两个数组都会被清除。 玩弄这段代码（例如https://godbolt.org/g/c3gEfV ），我看到这两组指令的优化程序集是不同的，因为make_unique执行值初始化（具体来说，它似乎设置了分配的数组为 0）。 所以make_unique引入了一些不必要的开销。

在没有自动值初始化的情况下将unique_ptr分配给数组（如上所示）的推荐方法是什么？ 我已经尝试过例如

std::unique_ptr<int[]> ptr = std::unique_ptr<int[]>(new int[50]);

但是在我的应用程序中，我也有一个限制，即我在编译时不知道数组的大小，所以我不想分配任何具有（编译时）常量大小的数组。

Answer 1

如果确实需要，只需编写自己的函数：

template <typename T>
std::unique_ptr<T> make_unique_uninitialized(const std::size_t size) {
    return unique_ptr<T>(new typename std::remove_extent<T>::type[size]);
}

避免直接创建unique_ptr的诱惑：

std::unique_ptr<T[]>(new T[size])  // BAD

因为这通常不是异常安全的（出于所有通常的原因，您首先使用make_unique考虑带有多个参数和引发异常的函数调用）。

Answer 2

C++20 更新

C++20 引入了std::make_unique_for_overwrite ，其工作方式与std::make_unique ，不同之处在于它执行默认初始化而不是值初始化。