为什么 libc++ 的 shared_ptr 实现使用 unique_ptr 来保存原始指针构造函数中的原始指针？答案

【问题标题】：Why does libc++'s implementation of shared_ptr use a unique_ptr to hold the raw pointer in the raw-pointer constructor?为什么 libc++ 的 shared_ptr 实现使用 unique_ptr 来保存原始指针构造函数中的原始指针？
【发布时间】：2021-07-15 04:45:35
【问题描述】：

在the raw-pointer constructor of shared_ptr中，一个unique_ptr__hold用来持有参数__p然后不访问就释放了？它有什么用？

template<class _Yp, class = _EnableIf< /*...*/ > >
explicit shared_ptr(_Yp* __p) : __ptr_(__p) {
    unique_ptr<_Yp> __hold(__p); // <--- created
    typedef typename __shared_ptr_default_allocator<_Yp>::type _AllocT;
    typedef __shared_ptr_pointer<_Yp*, __shared_ptr_default_delete<_Tp, _Yp>, _AllocT > _CntrlBlk;
    __cntrl_ = new _CntrlBlk(__p, __shared_ptr_default_delete<_Tp, _Yp>(), _AllocT());
    __hold.release();  // <--- released
    __enable_weak_this(__p, __p);
}

【问题讨论】：

如果在到达__hold.release()之前抛出异常会发生什么？
正如this answer 所说，如果抛出异常，它可以防止内存泄漏。

标签： c++ c++11 llvm clang++ libc++

【解决方案1】：

为什么 libc++ 的 shared_ptr 实现使用一个 unique_ptr 来保存原始指针构造函数中的原始指针？

unique_ptr 用于通常使用唯一指针的目的：当指针超出范围时将其删除。在这种情况下，唯一指针总是在构造函数正常返回之前被释放，在这种情况下它不会删除指针。但是当抛出异常时，这不会发生。在那种情况下，唯一指针仍将拥有该指针，并将在异常传播到调用者之前在其析构函数中将其删除。

【讨论】：