std::shared_ptr<Object> p1 = std::make_shared<Object>("foo");
std::shared_ptr<Object> p2(new Object("foo"));
许多谷歌和stackoverflow的帖子都在这里,但我不明白为什么make_shared比直接使用shared_ptr更有效。
有人能一步一步地向我解释创建的对象序列和两者所做的操作,这样我就能理解make_shared是如何高效的。我在上面举了一个例子供大家参考。
std::shared_ptr<Object> p1 = std::make_shared<Object>("foo");
std::shared_ptr<Object> p2(new Object("foo"));
许多谷歌和stackoverflow的帖子都在这里,但我不明白为什么make_shared比直接使用shared_ptr更有效。
有人能一步一步地向我解释创建的对象序列和两者所做的操作,这样我就能理解make_shared是如何高效的。我在上面举了一个例子供大家参考。
当前回答
我认为mpark先生的回答中的异常安全部分仍然是一个合理的担忧。当像这样创建shared_ptr: shared_ptr< T >(新T)时,新T可能会成功,而shared_ptr分配控制块可能会失败。在这种情况下,新分配的T会泄漏,因为shared_ptr无法知道它是就地创建的,删除它是安全的。还是我遗漏了什么?我不认为更严格的函数参数计算规则在这里有任何帮助…
其他回答
我发现std::make_shared有一个问题,它不支持私有/受保护的构造函数
std::shared_ptr(new T(args…))如果在可访问的上下文中执行,可能会调用T的非公共构造函数,而std::make_shared需要对所选构造函数进行公共访问。
https://en.cppreference.com/w/cpp/memory/shared_ptr/make_shared#Notes
关于效率和花费在分配上的时间,我做了下面这个简单的测试,我通过这两种方法创建了许多实例(一次一个):
for (int k = 0 ; k < 30000000; ++k)
{
// took more time than using new
std::shared_ptr<int> foo = std::make_shared<int> (10);
// was faster than using make_shared
std::shared_ptr<int> foo2 = std::shared_ptr<int>(new int(10));
}
问题是,使用make_shared比使用new花费了两倍的时间。因此,使用new会有两个堆分配,而不是使用make_shared分配一个。也许这是一个愚蠢的测试,但它不是表明使用make_shared比使用new花费更多的时间吗?当然,我说的是只用的时间。
共享指针既管理对象本身,也管理包含引用计数和其他管理数据的小对象。Make_shared可以分配一个内存块来存储这两个对象;从指向已分配对象的指针构造共享指针需要分配第二个块来存储引用计数。
除了这种效率之外,使用make_shared意味着你根本不需要处理新的和原始的指针,从而提供了更好的异常安全性——不可能在分配对象之后,但在将其分配给智能指针之前抛出异常。
如果你需要shared_ptr控制的对象上的特殊内存对齐,你不能依赖make_shared,但我认为这是不使用它的唯一一个好理由。
Shared_ptr:执行两个堆分配
控制块(引用计数) 正在管理的对象
Make_shared:只执行一次堆分配
控制块和对象数据。