重新分配智能指针

Reassigning Smart Pointers

本文关键字:智能 指针 分配 新分配      更新时间:2023-10-16

一般来说,像std::unique_ptr Glib::RefPtr这样的智能指针在重新分配指向另一个对象时会删除它们的对象吗,因为它们是唯一持有给定对象的指针(在std::unique_ptr的情况下显然是暗示的(?

对于unique_ptr::reset,[unique.ptr.single.modifiers]/4:

效果:将p赋值给存储的指针,然后如果存储的指针的旧值 old_p 不等于 nullptr ,则调用 get_deleter()(old_p) .

或者移动赋值运算符,operator=(unique_ptr&& u) [unique.ptr.single.asgn]/2 中:

将所有权从u转移到*this,就像通过调用一样 reset(u.release())紧随其后的是get_deleter() = std::forward<D>(u.get_deleter())

(等效于其他分配运算符模板(


对于shared_ptr来说,重新分配有点不同。 shared_ptr永远不会销毁引用的对象,当它不是最后一个拥有它的对象时,所以让我们假设它是给定的。
shared_ptr::reset(Y*) 在 [util.smartptr.shared.mod]/3 中指定:

效果:相当于shared_ptr(p).swap(*this)

但很明显,临时在函数调用结束时被销毁,破坏了保留对象(如果适用(。
这与operator=(shared_ptr<> const&)的行为相同,[util.smartptr.shared.assign]/1 和 4:

效果:相当于shared_ptr(r).swap(*this)

。移动分配运算符(模板(,r shared_ptr<>&&

效果:相当于shared_ptr(std::move(r)).swap(*this)

如果*this是最后一个拥有该物体的人,那么现在临时的是 - 它将在内部被摧毁。


对于Glib::RefPtr,场景类似于shared_ptr:复制赋值运算符(和赋值运算符模板(使用相同的语义定义。如果将当前RefPtr分配给其他内容,则当前保留对象引用计数器将递减,并在生成的计数器值为零时销毁该计数器。

对于unique_ptr来说,答案是肯定的:

当以下任一情况下,对象将被销毁并释放其内存 发生以下情况:

  • 销毁unique_ptr管理对象
  • 管理对象unique_ptr通过 operator= 或 reset(( 分配另一个指针。

使用可能由用户提供的删除程序销毁对象 调用删除器(ptr(。删除程序调用对象的析构函数 并分配内存。