c++ - std::make_unique_for_overwrite() 相对于 std::make_unique() 有何作用？

Question

看来在 C++20 中，我们为智能指针提供了一些额外的实用函数，包括:

template<class T> unique_ptr<T> make_unique_for_overwrite();
template<class T> unique_ptr<T> make_unique_for_overwrite(size_t n);

对于 std::make_shared 和 std::shared_ptr 也是如此。为什么现有的功能没有:

template<class T, class... Args> unique_ptr<T> make_unique(Args&&... args); // with empty Args
template<class T> unique_ptr<T> make_unique(size_t n);

够了吗？现有的不使用对象的默认构造函数吗？

注意:在这些函数的早​​期提案中，名称为 make_unique_default_init()。

Answer 1

这些新功能有不同:

• 原始 make_XYZ:始终初始化指向的值(“显式初始化”，请参阅 standard 中的 § class.expl.init)。
• 新make_XYZ_for_overwrite:执行指向值的“默认初始化”(参见standard中的§ dcl.init，第7段)；在典型的机器上，这意味着对于非类、非数组类型实际上没有初始化。 (是的，这个术语有点令人困惑；请阅读链接中的段落。)

这是普通指针的一个功能，智能指针实用函数不提供该功能:使用常规指针，您可以只进行分配，而无需实际初始化指向的值:

new int

对于唯一/共享指针，您只能通过包装现有指针来实现此目的，如下所示:

std::unique_ptr<int[]>(new int[n])

现在我们有一个包装函数。

_{注意:请参阅相关的 ISO C++ WG21 proposal以及this SO answer}