std::shared_ptr初始化: make_shared<Foo>() vs shared_ptr<T>(新Foo)

Question

这两者有什么不同：

std::shared_ptr<int> p = std::shared_ptr<int>( new int );

和

std::shared_ptr<int> p = std::make_shared< int >();

我应该选择哪一个?为什么？

另外，我很确定这个问题肯定已经回答了，但我找不到类似的问题。

Answer 1

这两个示例都比必要的冗长：

std::shared_ptr<int> p(new int);  // or '=shared_ptr<int>(new int)' if you insist
auto p = std::make_shared<int>(); // or 'std::shared_ptr<int> p' if you insist

有什么区别？

主要区别在于，第一种方法需要两个内存分配:一个用于托管对象(new int)，另一个用于引用计数。make_shared应该分配一个内存块，并在其中创建两个内存块。

我应该选择哪一个?为什么？

你通常应该使用make_shared，因为它更有效。正如在另一个答案中指出的，它还避免了任何内存泄漏的可能性，因为您永远不会有指向托管对象的原始指针。

然而，正如评论中所指出的，它有一个潜在的缺点，即如果仍然存在阻止删除共享计数的弱指针，则当对象被销毁时，内存将不会被释放。

编辑2020/03/06:

official Microsoft documentation还提供了进一步的建议和相关的示例。将焦点放在Example 1片段上：

首次创建内存资源时，请尽可能使用make_shared函数来创建shared_ptr。make_shared是异常安全的。它使用相同的调用为控制块和资源分配内存，从而减少了构造开销。如果不使用make_shared，那么在将对象传递给shared_ptr构造函数之前，必须使用显式的new表达式来创建对象。下面的示例显示了声明和初始化shared_ptr以及新对象的各种方法。

Answer 2

来自en.cppreference.com

相反，声明std::shared_ptr<T> p(new T(Args...)) 至少执行两次内存分配，这可能会产生不必要的开销。

此外，如果g抛出异常，f(shared_ptr<int>(new int(42)), g()) 可能会导致内存泄漏。如果使用make_shared，则不存在此问题。

因此，如果可能的话，我推荐使用make_shared方法。

Answer 3

请注意，make_shared限制您只能使用默认的分配/释放功能，因此，如果您想要有更多的控制，make_shared不是一个选项。换句话说，像这样的东西

std::shared_ptr<uint8_t>(p, [](uint8_t *p){ /*user code */}); 

使用make_shared是不可能的。可以改用allocate_shared，但只能指定分配器，不能指定删除器。有时需要控制包装类的分配和删除。