make_unique 和完美的转发

C++ 标准化委员会主席 Herb Sutter 在他的 blog 中写道：

C++11 不包含 make_unique 部分是疏忽，而且几乎肯定会在未来添加。

他还提供了一个与 OP 给出的实现相同的实现。

编辑： std::make_unique 现在是 C++14 的一部分。

很好，但 Stephan T. Lavavej（更广为人知的 STL）对 make_unique 有更好的解决方案，它适用于数组版本。

#include <memory>
#include <type_traits>
#include <utility>

template <typename T, typename... Args>
std::unique_ptr<T> make_unique_helper(std::false_type, Args&&... args) {
  return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

template <typename T, typename... Args>
std::unique_ptr<T> make_unique_helper(std::true_type, Args&&... args) {
   static_assert(std::extent<T>::value == 0,
       "make_unique<T[N]>() is forbidden, please use make_unique<T[]>().");

   typedef typename std::remove_extent<T>::type U;
   return std::unique_ptr<T>(new U[sizeof...(Args)]{std::forward<Args>(args)...});
}

template <typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
   return make_unique_helper<T>(std::is_array<T>(), std::forward<Args>(args)...);
}

这可以在 his Core C++ 6 video 上看到。

STL 的 make_unique 版本的更新版本现已作为 N3656 提供。此版本 got adopted 为 C++14 草案。

std::make_shared 不仅仅是 std::shared_ptr<Type> ptr(new Type(...)); 的简写。它做了一些你不能没有它做的事情。

为了完成它的工作，std::shared_ptr 除了为实际指针保存存储空间外，还必须分配一个跟踪块。但是，由于 std::make_shared 分配的是实际对象，因此 std::make_shared 可能会在同一内存块中同时分配对象 和 跟踪块。

因此，虽然 std::shared_ptr<Type> ptr = new Type(...); 将分配两个内存（一个用于 new，一个用于 std::shared_ptr 跟踪块），但 std::make_shared<Type>(...) 将分配 一个 内存块。

这对于 std::shared_ptr 的许多潜在用户来说很重要。 std::make_unique 唯一能做的就是稍微方便一些。仅此而已。

虽然没有什么能阻止您编写自己的帮助程序，但我认为在库中提供 make_shared<T> 的主要原因是它实际上创建了与 shared_ptr<T>(new T) 不同的内部共享指针类型，它的分配方式不同，而且没有办法无需专门的助手即可实现这一目标。

另一方面，您的 make_unique 包装器只是围绕 new 表达式的句法糖，因此虽然它看起来令人赏心悦目，但它并没有将任何 new 带到桌面上。 更正：事实上并非如此：使用函数调用来包装 new 表达式可提供异常安全性，例如在调用函数 void f(std::unique_ptr<A> &&, std::unique_ptr<B> &&) 的情况下。拥有两个彼此未排序的原始 new 意味着如果一个新表达式因异常而失败，另一个可能会泄漏资源。至于为什么标准中没有make_unique：只是忘记了。 （这种情况偶尔会发生。标准中也没有全局 std::cbegin，即使应该有一个。）

另请注意，unique_ptr 采用您应该以某种方式允许的第二个模板参数；这与 shared_ptr 不同，后者使用类型擦除来存储自定义删除器，而不使它们成为类型的一部分。

在 C++11 中，... 也用于“包扩展”（在模板代码中）。

要求是您将其用作包含未扩展参数包的表达式的后缀，并且它将简单地将表达式应用于包的每个元素。

例如，以您的示例为基础：

std::forward<Args>(args)... -> std::forward<int>(1), std::forward<int>(2),
                                                     std::forward<int>(3)

std::forward<Args...>(args...) -> std::forward<int, int, int>(1,2,3)

我认为后者是不正确的。

此外，参数包可能不会传递给未扩展的函数。我不确定一组模板参数。

受到 Stephan T. Lavavej 实现的启发，我认为拥有一个支持数组范围 it's on github 的 make_unique 可能会很好，我很想得到关于它的评论。它允许您这样做：

// create unique_ptr to an array of 100 integers
auto a = make_unique<int[100]>();

// create a unique_ptr to an array of 100 integers and
// set the first three elements to 1,2,3
auto b = make_unique<int[100]>(1,2,3);