shared_ptr的引用计数原理

指向相同资源的所有 shared_ptr 共享“引用计数管理区域”，并采用原子操作保证该区域中的引用计数值被互斥地访问。“引用计数管理区域”是指通过 new 创建的 sp_counted_impl_p<D> 或 sp_counted_impl_pd<D> 对象，在创建成功后立即由其基类指针指向它，而该基类指针被 shared_ptr 间接持有。类之间的关系为：

class A{};

int main(){

shared_ptr<A> sp1(new A());    //1

      {

           shared_ptr<A> sp2(sp1);   //2

           sp2.reset();  //3

       }

}

1 通过 new 创建一个 A 对象，并将该对象交付给 shared_ptr 进行管理。sp1 在构造过程中，通过 new 创建了“引用计数管理区域”，对应下图中的 M 对象（M 指的是 sp_counted_impl_p<D> 或 sp_counted_impl_pd<D>）。M 对象中的数据成员 use_count_:int 正是对象 A 被引用的次数，即引用计数值。通过原子操作std::atomic_int保证 use_count_ 被互斥地访问。

 
2 以 sp1 作为参数构造一个类型为 shared_ptr<A> 的对象 sp2，sp1 和 sp2 都指向了相同的资源（即对象 A）。sp2 中 sp_counted_base * 类型的数据成员 pn 被拥有与 sp1 中的 pn 相同的值，这意味着 sp2 没有另外新建一个“引用计数管理区域”，而是和 sp1 共享同一个。相应地，“引用计数管理区域”只是把 use_count_ 增1。

3.1 Sp2 调用 reset，导致 Sp2 不再引用对象 A（下图中 Sp2 和 A 连线为虚线，表示它们之间的引用-被引用关系断绝）。同时，Sp2 也不再同 Sp1 共享“引用计数管理区域”（Sp2 的 sp_counted_base * 类型的数据成员 pn 的值为 0，不指向任何实际存在的对象）。

3.2 Sp2 在此处析构，Sp2 被销毁（Sp2 的边框设为虚线，表示对象已被销毁）。

 

3.3 sp1 在此处析构，sp1 被销毁（M 也跟着一起被销毁）。同时，由于 sp1 是最后一个引用对象 A 的 shared_ptr，所以 A 也被销毁。注意：M 的销毁时机发生在最后一个引用对象 A 的 shared_ptr 销毁时。在本例中，Sp1 只是恰巧作为最后一个引用对象 A 的 shared_ptr 罢了。