Shared_ptr的引用计数原理

引用计数原理

shared_ptr的实现是这样的: shared_ptr模板类有一个__shared_count类型的成员_M_refcount来处理引用计数的问题。__shared_count也是一个模板类，它的内部有一个指向Sp_counted_base_impl类型的指针_M_pi。所有引用同一个对象的shared_ptr都共用一个_M_pi指针。

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

下面通过一个示例直观地说明引用计数是如何工作的。

示例代码解释

第 15 行代码：通过 new 创建一个 A 对象，并将该对象交付给 shared_ptr 进行管理。Sp1 在构造过程中，通过 new 创建了“引用计数管理区域”，对应下图中的 M 对象（M 指的是 sp_counted_impl_p 或 sp_counted_impl_pd，为了方便，后面均称为 M）。M 对象中的数据成员 use_count_:int 正是对象 A 被引用的次数，即引用计数值。通过原子操作保证 use_count_ 被互斥地访问。

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

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

第 19 行代码：Sp2 在此处析构，Sp2 被销毁（Sp2 的边框设为虚线，表示对象已被销毁）。

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