为什么标准c++ 11库中没有std::make_unique函数模板?我发现
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给出的完全相同的实现。
Edit: std::make_unique现在是c++ 14的一部分。
其他回答
c++标准化委员会主席Herb Sutter在他的博客上写道:
c++ 11没有包含make_unique在一定程度上是一个疏忽，将来几乎肯定会添加。
他还给出了一个与OP给出的完全相同的实现。
Edit: std::make_unique现在是c++ 14的一部分。
受到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);
在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)
我认为后者是不正确的。
另外，参数包不能传递给未展开的函数。我不确定一个模板参数包。
虽然没有什么可以阻止您编写自己的helper，但我认为在库中提供make_shared<T>的主要原因是，它实际上创建了与shared_ptr<T>(new T)不同的内部共享指针类型，而shared_ptr<T>(new T)是不同的分配方式，如果没有专用的helper，就无法实现这一点。
Your make_unique wrapper on the other hand is mere syntactic sugar around a new expression, so while it might look pleasing to the eye, it doesn't bring anything new to the table. Correction: this isn't in fact true: Having a function call to wrap the new expression provides exception safety, for example in the case where you call a function void f(std::unique_ptr<A> &&, std::unique_ptr<B> &&). Having two raw news that are unsequenced with respect to one another means that if one new expression fails with an exception, the other may leak resources. As for why there's no make_unique in the standard: It was just forgotten. (This happens occasionally. There's also no global std::cbegin in the standard even though there should be one.)
还要注意unique_ptr接受第二个模板形参，您应该以某种方式允许它;这与shared_ptr不同，后者使用类型擦除来存储自定义删除器，而不使它们成为类型的一部分。
很好，但是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草案中。
