使用 std::make_unique 优于 new 运算符的优势 [重复]

Question

与new 运算符相比，使用std::make_unique 初始化std::unique_ptr 有哪些优势？

换句话说，为什么是

std::unique_ptr<SomeObject> a = std::make_unique(SomeObject(...))

比做更好

std::unique_ptr<SomeObject> a = new SomeObject(...)

我尝试在网上查了很多资料，我知道在现代 C++ 中避免使用运算符 new 是一个很好的经验法则，但我不确定在这种确切情况下有什么优势。它是否可以防止任何可能发生的内存泄漏？使用std::make_unique 是否比使用new 更快？

Answer 1

优势

• make_unique 教导用户“永远不要说 new/delete 和 new[]/delete[]" 没有免责声明。

• make_unique 与make_shared 有两个优点（不包括第三个优点，提高效率）。首先unique_ptr<LongTypeName> up(new LongTypeName(args))必须提到LongTypeName两次，而auto up = make_unique<LongTypeName>(args)提到一次。

• make_unique 防止未指定的评估顺序 由foo(unique_ptr<X>(new X), unique_ptr<Y>(new Y)) 等表达式触发的泄漏。 （遵循“永远不要说new”的建议比 “永远不要说new，除非你立即把它交给一个名为unique_ptr”。）

• make_unique 为异常安全而精心实现，建议直接调用 unique_ptr 构造函数。

什么时候不使用make_unique

• 如果您需要自定义删除器或采用来自其他地方的原始指针，请不要使用 make_unique。

来源

1. Proposal of std::make_unique。
2. Herb Sutter's GotW #89 Solution: Smart Pointers

Answer 2

区别在于std::make_unique返回一个std::unique_ptr类型的对象，而new返回一个指向创建对象的指针。对于内存分配失败，它们都会抛出。 等等，没那么简单。进一步阅读。

考虑下面这样一个函数：

void func(ClassA* a, ClassB* b){
     ......
}

当您拨打func(new A(), new B()) 之类的电话时；编译器可以选择从左到右或以它希望的任何顺序评估函数参数。让我们假设从左到右求值：当第一个 new 表达式成功但第二个 new 表达式抛出时会发生什么？

真正的危险是当你捕捉到这样的异常时；是的，你可能已经捕捉到new B() 抛出的异常，并恢复正常执行，但是new A() 已经成功，它的内存会被无声泄漏。没人来清理它... * 呜咽...

但是使用make_unique，您不会有泄漏，因为会发生堆栈展开（并且先前创建的对象的析构函数将运行）。因此，偏爱make_unique 会限制您使用exception safety。在这种情况下，std::make_unique 提供了一个"Basic Exception Safety"，它分配的内存和由new 创建的对象无论如何都不会成为孤立对象。甚至到时间的尽头... :-)

你应该阅读Herb Sutter GoTW102