std::shared_ptr 异常安全

2021-12-31 00:00:00 memory-leaks c++ c++11 shared-ptr

我刚刚意识到阅读这个页面，std::shared_ptr 带有单个指针参数不是 noexcept.

I just realised reading this page that the constructor of std::shared_ptr with a single pointer argument is not noexcept.

因此以下代码可能存在内存泄漏:

Hence the following code contains a possible memory leak:

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

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

The reasonning is that two allocations could occure:

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

这里有两个问题:

如果第二次分配抛出异常，第一次的内存泄漏是真的吗?

如果答案是肯定的:

使用 std::shared_ptr 的正确习语是什么?

  • 使用 make_shared
  • 将第一次分配的所有权赋予 std::unique_ptr，然后转让所有权
  • 其他想法?

推荐答案

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

[util.smartptr.shared.const]/6 抛出:bad_alloc，或者当资源不是无法获得内存.
[util.smartptr.shared.const]/7 异常安全:如果抛出异常，则调用delete p.

[util.smartptr.shared.const]/6 Throws: bad_alloc, or an implementation-defined exception when a resource other than memory could not be obtained.
[util.smartptr.shared.const]/7 Exception safety: If an exception is thrown, delete p is called.

所以不，没有内存泄漏.

So no, no memory leak.

相关文章