make_unique和完美的转发

为什么std::make_unique标准C ++ 11库中没有功能模板？我发现

std::unique_ptr<SomeUserDefinedType> p(new SomeUserDefinedType(1, 2, 3));

有点冗长。以下内容会更好吗？

auto p = std::make_unique<SomeUserDefinedType>(1, 2, 3);

这new很好地隐藏了，只提及了一次类型。

无论如何，这是我尝试实现的make_unique：

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

我花了很std::forward长时间才可以编译这些东西，但是我不确定它是否正确。是吗？到底是什么std::forward<Args>(args)...意思？编译器如何处理？

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

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)...);
}

这可以在他的Core C ++ 6视频中看到。

STL的make_unique版本的更新版本现在可以作为N3656获得。该版本被 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表达式可提供异常安全性，例如，在调用function的情况下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的实现启发，我认为拥有一个支持数组范围的make_unique可能很好，它位于github上，我很乐意对此发表评论。它允许您执行以下操作：

// 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);