为什么 C++ 需要 std::make_unique 而不是转发的 unique_ptr 构造函数？

Question

我不会new operator像这里那样问。请仔细阅读问题。

我想知道为什么我们需要特殊函数make_unique而不是 unique_ptr 的特殊构造函数。

unique_ptr可以使用这样的构造函数来使make_unique不必要的：

template<typename T, typename ...TArgs>
unique_ptr::unique_ptr(TArgs&&... args)
        : inner_ptr(new T(std::forward(args)...))
{}

Answer 1

这有几个原因。

第一个与 C++ 的历史有关。在 C++17 之前，构造函数没有异常安全性，因此请执行以下操作：

some_func(std::unique_ptr<T1>(), std::unique_ptr<T2>())

如果 T1 的构造函数抛出异常，则会泄漏内存，因为 C++ 标准不要求（在本例中第一个 unique_ptr）应该释放其内存。自 C++17 以来，情况不再如此

其次，它允许“从不使用new”的更一般规则，如果没有，make_unique则“从不使用，new除非使用unique_ptr或shared_ptr”

此外，还有一个额外的好处，即没有多余的类型，就像您必须执行的构造函数一样：

auto p = std::unique_ptr<T>(new T());

列出T两次，这在长类型名称的情况下尤其难看。这样make_unique缩短到

auto p = std::make_unique<T>();