std :: shared_ptr例外安全

Question

我刚刚意识到阅读这个页面,std :: shared_ptr的构造函数与单个指针参数不是noexcept.

因此,以下代码包含可能的内存泄漏:

std::shared_ptr<int> p3 (new int);

原因是可能发生两次分配:

• 在调用构造函数之前的第一个
• shared_ptr构造函数中的第二个(例如VS 2012中发生的情况)

这里有两个问题:

如果第二个分配抛出异常,第一个分配的内存泄漏,这是真的吗？

如果答案是肯定的:

使用std :: shared_ptr的正确习惯用法是什么？

• 使用make_shared
• 将第一个分配的所有权赋予std :: unique_ptr然后转移所有权
• 其他想法 ？

Answer 1

template<class Y> explicit shared_ptr(Y* p);

[util.smartptr.shared.const]/6 当无法获取内存以外的资源时,抛出:bad_alloc或实现定义的异常.
[util.smartptr.shared.const]/7 异常安全:如果抛出异常,delete p则调用.

所以不,没有内存泄漏.

Answer 2

迟到的答案,但最好make_shared()用于异常安全,如 GotW#102中所述:以下代码不是异常安全的:

 f( std::shared_ptr<T1>{ new T1 }, std::shared_ptr<T2>{ new T2 } );

以下是:

f( std::make_shared<T1>(), std::make_shared<T2>() );