c++ - new 和 make_shared 用于共享指针

Question

我遇到了 this @kerek SB 状态的帖子和答案之一

std::shared_ptr<Object> p1 = std::make_shared<Object>("foo");
std::shared_ptr<Object> p2(new Object("foo"));

In your code, the second variable is just a naked pointer, not a shared pointer at all.

Now on the meat. make_shared is (in practice) more efficient, because it allocates the reference control block together with the actual object in one single dynamic allocation. By contrast, the constructor for shared_ptr that takes a naked object pointer must allocate another dynamic variable for the reference count. The trade-off is that make_shared (or its cousin allocate_shared) does not allow you to specify a custom deleter, since the allocation is performed by the allocator.

(This does not affect the construction of the object itself. From Object's perspective there is no difference between the two versions. What's more efficient is the shared pointer itself, not the managed object.)

现在我有两个关于这篇文章的问题，如果有人能澄清一下，我将不胜感激

1. 为什么第二个不是共享指针？这不会增加引用计数吗

2. make_shared 如何只进行一次内存分配，而 new 如何进行两次内存分配 让 make_shared 更高效？

如果能对此做出一点澄清，我们将不胜感激。

Answer 1

在那个问题中，“第二个变量”指的是这一行:

auto ptr_res2(new Object("new")); // this creates an Object*

不是这个:

std::shared_ptr<Object> p2(new Object("foo")); // this creates a shared_ptr<Object>

为什么最好的解释make_shared一种分配更有效的方法是比较图像。这是std_shared_ptr<Object>(new Object)看起来像:

shared_ptr有一个 Widget* ，但它与 ref 计数器不在同一个内存块中，因为它们是单独分配的。 Widget*被传入，引用计数 block 在内部分配，这就是为什么 Widget是在一个单独的内存空间。

另一方面，这是一个分配的样子:

(我盗用了 Herb Sutter 的两张照片)。我们还需要一个 Widget和一个引用计数 block ，而是在对 new 的一次调用中获取整个内存块。/malloc , 刚好足够大，所以 Widget和 ref 计数 block 最终在内存中是连续的。