当析构函数遇到多线程 ── C++ 中线程安全的对象回调

╰半夏微凉° 2022-07-12 14:08 210阅读 0赞

陈硕 (giantchen\_AT\_gmail)

本文 PDF 下载： [http://www.cppblog.com/Files/Solstice/dtor\_meets\_mt.pdf][http_www.cppblog.com_Files_Solstice_dtor_meets_mt.pdf]

摘要

编写线程安全的类不是难事，用同步原语保护内部状态即可。但是对象的生与死不能由对象自身拥有的互斥器来保护。如何保证即将析构对象 x 的时候，不会有另一个线程正在调用 x 的成员函数？或者说，如何保证在执行 x 的成员函数期间，对象 x 不会在另一个线程被析构？如何避免这种竞态条件是 C++ 多线程编程面临的基本问题，可以借助 boost 的 shared\_ptr 和 weak\_ptr 完美解决。这也是实现线程安全的 Observer 模式的必备技术。

本文源自我在 2009 年 12 月上海 C++ 技术大会的一场演讲《当析构函数遇到多线程》，内容略有增删。原始 PPT 可从 http://download.csdn.net/source/1982430 下载。

本文读者应具有 C++ 多线程编程经验，熟悉互斥器、竞态条件等概念，了解智能指针，知道 Observer 设计模式。

[1 多线程下的对象生命期管理................................................................................... 2][1 _................................................................................... 2]

[线程安全的定义................................................................................................. 3][................................................................................................. 3]

[Mutex 与 MutexLock.......................................................................................... 3][Mutex _ MutexLock.......................................................................................... 3]

[一个线程安全的 Counter 示例............................................................................ 3][Counter _............................................................................ 3]

[2 对象的创建很简单................................................................................................. 4][2 _................................................................................................. 4]

[3 销毁太难............................................................................................................... 5][3 _............................................................................................................... 5]

[Mutex 不是办法................................................................................................. 5][Mutex _................................................................................................. 5]

[作为数据成员的 Mutex....................................................................................... 6][Mutex....................................................................................... 6]

[4 线程安全的 Observer 有多难？.............................................................................. 6][4 _ Observer _.............................................................................. 6]

[5 一些启发............................................................................................................... 8][5 _............................................................................................................... 8]

[原始指针有何不妥？.......................................................................................... 8][.......................................................................................... 8]

[一个“解决办法”.............................................................................................. 8][.............................................................................................. 8]

[一个更好的解决办法.......................................................................................... 9][.......................................................................................... 9]

[一个万能的解决方案.......................................................................................... 9][.......................................................................................... 9 1]

[6 神器 shared\_ptr/weak\_ptr........................................................................................ 9][6 _ shared_ptr_weak_ptr........................................................................................ 9]

[7 插曲：系统地避免各种指针错误........................................................................... 10][7 _........................................................................... 10]

[8 应用到 Observer 上.............................................................................................. 11][8 _ Observer _.............................................................................................. 11]

[解决了吗？....................................................................................................... 11][....................................................................................................... 11]

[9 再论 shared\_ptr 的线程安全................................................................................. 12][9 _ shared_ptr _................................................................................. 12]

[10 shared\_ptr 技术与陷阱......................................................................................... 13][10 shared_ptr _......................................................................................... 13]

[对象池.............................................................................................................. 15][.............................................................................................................. 15]

[enable\_shared\_from\_this..................................................................................... 16][enable_shared_from_this..................................................................................... 16]

[弱回调.............................................................................................................. 17][.............................................................................................................. 17]

[11 替代方案？........................................................................................................ 19][11 _........................................................................................................ 19]

[其他语言怎么办................................................................................................ 19][................................................................................................ 19]

[12 心得与总结........................................................................................................ 20][12 _........................................................................................................ 20]

[总结................................................................................................................. 20][................................................................................................................. 20]

[13 附录：Observer 之谬.......................................................................................... 21][13 _Observer _.......................................................................................... 21]

[14 后记................................................................................................................... 21][14 _................................................................................................................... 21]

####  ####

与其他面向对象语言不同，C++ 要求程序员自己管理对象的生命期，这在多线程环境下显得尤为困难。当一个对象能被多个线程同时看到，那么对象的销毁时机就会变得模糊不清，可能出现多种竞态条件：

*  在即将析构一个对象时，从何而知是否有另外的线程正在执行该对象的成员函数？
 *  如何保证在执行成员函数期间，对象不会在另一个线程被析构？
 *  在调用某个对象的成员函数之前，如何得知这个对象还活着？它的析构函数会不会刚执行到一半？

解决这些 race condition 是 C++ 多线程编程面临的基本问题。本文试图以 shared\_ptr 一劳永逸地解决这些问题，减轻 C++ 多线程编程的精神负担。

#####  #####

依据《Java 并发编程实践》/《Java Concurrency in Practice》一书，一个线程安全的 class 应当满足三个条件：

*  从多个线程访问时，其表现出正确的行为
 *  无论操作系统如何调度这些线程，无论这些线程的执行顺序如何交织
 *  调用端代码无需额外的同步或其他协调动作

依据这个定义，C++ 标准库里的大多数类都不是线程安全的，无论 std::string 还是 std::vector 或 std::map，因为这些类通常需要在外部加锁。

##### 与 MutexLock #####

为了便于后文讨论，先约定两个工具类。我相信每个写C++ 多线程程序的人都实现过或使用过类似功能的类，代码从略。

Mutex 封装临界区（Critical secion），这是一个简单的资源类，用 RAII 手法 \[CCS:13\]封装互斥器的创建与销毁。临界区在 Windows 上是 CRITICAL\_SECTION，是可重入的；在 Linux 下是 pthread\_mutex\_t，默认是不可重入的。Mutex 一般是别的 class 的数据成员。

MutexLock 封装临界区的进入和退出，即加锁和解锁。MutexLock 一般是个栈上对象，它的作用域刚好等于临界区域。它的构造函数原型如下。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">explicit</span></strong></code> <code>MutexLock::MutexLock(Mutex&amp; m);&nbsp;</code></td> 
  </tr> 
 </tbody> 
</table>

这两个类都不允许拷贝构造和赋值。

##### 示例 #####

编写单个的线程安全的 class 不算太难，只需用同步原语保护其内部状态。例如下面这个简单的计数器类 Counter：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Counter : boost::noncopyable </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// copy-ctor and assignment should be private by default for a class. </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">public</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>Counter(): value_(0) {} </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>int64_t value() </code><code><strong><span style="color: #006699;">const</span></strong></code><code>; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>int64_t increase(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>int64_t decrease(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>int64_t value_; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">mutable</span></strong></code> <code>Mutex mutex_; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>int64_t Counter::value() </code><code><strong><span style="color: #006699;">const</span></strong></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>17</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">return</span></strong></code> <code>value_; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>19</code></td> 
   <td><code>int64_t Counter::increase()&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>21</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>22</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>int64_t ret = value_++; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>23</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">return</span></strong></code> <code>ret; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>25</code></td> 
   <td><code><span style="color: #008200;">// In a real world, atomic operations are perferred.&nbsp; </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>26</code></td> 
   <td><code><span style="color: #008200;">// 当然在实际项目中，这个 class 用原子操作更合理，这里用锁仅仅为了举例。</span></code></td> 
  </tr> 
 </tbody> 
</table>

这个 class 很直白，一看就明白，也容易验证它是线程安全的。注意到它的 mutex\_ 成员是 mutable 的，意味着 const 成员函数如 Counter::value() 也能直接使用 non-const 的 mutex\_。

尽管这个 Counter 本身毫无疑问是线程安全的，但如果 Counter 是动态创建的并透过指针来访问，前面提到的对象销毁的 race condition 仍然存在。

####  ####

对象构造要做到线程安全，惟一的要求是在构造期间不要泄露 this 指针，即

*  不要在构造函数中注册任何回调
 *  也不要在构造函数中把 this 传给跨线程的对象
 *  即便在构造函数的最后一行也不行

之所以这样规定，是因为在构造函数执行期间对象还没有完成初始化，如果 this 被泄露 (escape) 给了其他对象（其自身创建的子对象除外），那么别的线程有可能访问这个半成品对象，这会造成难以预料的后果。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><span style="color: #008200;">// 不要这么做 Don't do this. </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>02</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Foo : </code><code><strong><span style="color: #006699;">public</span></strong></code> <code>Observer </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code><strong><span style="color: #006699;">public</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>Foo(Observable* s) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>s-&gt;</code><code><strong><span style="color: #006699;">register</span></strong></code><code>(</code><code><strong><span style="color: #006699;">this</span></strong></code><code>);&nbsp; </code><code><span style="color: #008200;">// 错误 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code><strong><span style="color: #006699;">void</span></strong></code> <code>update(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Foo : </code><code><strong><span style="color: #006699;">public</span></strong></code> <code>Observer </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>15</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>observe(Observable* s) {&nbsp; </code><code><span style="color: #008200;">// 另外定义一个函数，在构造之后执行 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>s-&gt;</code><code><strong><span style="color: #006699;">register</span></strong></code><code>(</code><code><strong><span style="color: #006699;">this</span></strong></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>20</code></td> 
   <td><code>Observable* s = getIt(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>21</code></td> 
   <td><code>pFoo-&gt;observe(s);&nbsp; </code><code><span style="color: #008200;">// 二段式构造</span></code></td> 
  </tr> 
 </tbody> 
</table>

这也说明，二段式构造——即构造函数+initialize()——有时会是好办法，这虽然不符合 C++ 教条，但是多线程下别无选择。另外，既然允许二段式构造，那么构造函数不必主动抛异常，调用端靠 initialize() 的返回值来判断对象是否构造成功，这能简化错误处理。

即使构造函数的最后一行也不要泄露 this，因为 Foo 有可能是个基类，基类先于派生类构造，执行完 Foo::Foo() 的最后一行代码会继续执行派生类的构造函数，这时 most-derived class 的对象还处于构造中，仍然不安全。

相对来说，对象的构造做到线程安全还是比较容易的，毕竟曝光少，回头率为 0。而析构的线程安全就不那么简单，这也是本文关注的焦点。

####  ####

对象析构，这在单线程里不会成为问题，最多需要注意避免空悬指针（和野指针）。而在多线程程序中，存在了太多的竞态条件。对一般成员函数而言，做到线程安全的办法是让它们顺次执行，而不要并发执行，也就是让每个函数的临界区不重叠。这是显而易见的，不过有一个隐含条件或许不是每个人都能立刻想到：函数用来保护临界区的互斥器本身必须是有效的。而析构函数破坏了这一假设，它会把互斥器销毁掉。悲剧啊！

##### 不是办法 #####

Mutex 只能保证函数一个接一个地执行，考虑下面的代码，它试图用互斥锁来保护析构函数：

<table> 
 <tbody> 
  <tr> 
   <td> <p>Foo::~Foo() </p> <p>{ </p> <p>&nbsp; MutexLock lock(mutex_); </p> <p>&nbsp; // free internal state <strong>(1)</strong> </p> <p>}</p> </td> 
   <td> <p>void Foo::update() </p> <p>{ </p> <p>&nbsp; MutexLock lock(mutex_); // <strong>(2)</strong> </p> <p>&nbsp; // make use of internal state </p> <p>}</p> </td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td> <p>extern Foo* x; // visible by all threads</p> </td> 
  </tr> 
  <tr> 
   <td> <p>// thread A </p> <p>delete x; </p> <p>x = NULL; // helpless</p> </td> 
   <td> <p>// thread B </p> <p>if (x) { </p> <p>&nbsp; x-&gt;update(); </p> <p>}</p> </td> 
  </tr> 
 </tbody> 
</table>

有 A 和 B 两个线程，线程 A 即将销毁对象 x，而线程 B 正准备调用 x->update()。尽管线程 A 在销毁对象之后把指针置为了 NULL，尽管线程 B 在调用 x 的成员函数之前检查了指针 x 的值，还是无法避免一种 race condition：

1. 线程 A 执行到了析构函数的 (1)处，已经持有了互斥锁，即将继续往下执行

2. 线程 B 通过了 if (x) 检测，阻塞在 (2) 处

接下来会发生什么，只有天晓得。因为析构函数会把 mutex\_ 销毁，那么 (2) 处有可能永远阻塞下去，有可能进入“临界区”然后 core dump，或者发生其他更糟糕的情况。

这个例子至少说明 delete 对象之后把指针置为 NULL 根本没用，如果一个程序要靠这个来防止二次释放，说明代码逻辑出了问题。

#####  #####

前面的例子说明，作为 class 数据成员的 Mutex 只能用于同步本 class 的其他数据成员的读和写，它不能保护安全地析构。因为成员 mutex 的生命期最多与对象一样长，而析构动作可说是发生在对象身故之后（或者身亡之时）。另外，对于基类对象，那么调用到基类析构函数的时候，派生类对象的那部分已经析构了，那么基类对象拥有的 mutex 不能保护整个析构过程。再说，析构过程本来也不需要保护，因为只有别的线程都访问不到这个对象时，析构才是安全的，否则会有第 1 节谈到的竞态条件发生。

另外如果要同时读写本 class 的两个对象，有潜在的死锁可能，见 PPT 第 12 页的 swap() 和 operator=()。

#### 有多难？ ####

一个动态创建的对象是否还活着，光看指针（引用也一样）是看不出来的。指针就是指向了一块内存，这块内存上的对象如果已经销毁，那么就根本不能访问 \[CCS:99\]（就像 free 之后的地址不能访问一样），既然不能访问又如何知道对象的状态呢？换句话说，判断一个指针是不是野指针没有高效的办法。（万一原址又创建了一个新的对象呢？再万一这个新的对象的类型异于老的对象呢？）

在面向对象程序设计中，对象的关系主要有三种：composition, aggregation 和 association。Composition（组合/复合）关系在多线程里不会遇到什么麻烦，因为对象 x 的生命期由其惟一的拥有者 owner 控制，owner 析构的时候会把 x 也析构掉。从形式上看，x 是 owner 的直接数据成员，或者 scoped\_ptr 成员，或者 owner 持有的容器的元素。

后两种关系在 C++ 里比较难办，处理不好就会造成内存泄漏或重复释放。Association（关联/联系）是一种很宽泛的关系，它表示一个对象 a 用到了另一个对象 b，调用了后者的成员函数。从代码形式上看，a 持有 b 的指针（或引用），但是 b 的生命期不由 a 单独控制。Aggregation（聚合）关系从形式上看与 association 相同，除了 a 和 b 有逻辑上的整体与部分关系。如果 b 是动态创建的并在整个程序结束前有可能被释放，那么就会出现第 1 节谈到的竞态条件。

那么似乎一个简单的解决办法是：只创建不销毁。程序使用一个对象池来暂存用过的对象，下次申请新对象时，如果对象池里有存货，就重复利用现有的对象，否则就新建一个。对象用完了，不是直接释放掉，而是放回池子里。这个办法当然有其自身的很多缺点，但至少能避免访问失效对象的情况发生。

这种山寨办法的问题有：

*  对象池的线程安全，如何安全地完整地把对象放回池子里，不会出现“部分放回”的竞态？（线程 A 认为对象 x 已经放回了，线程 B 认为对象 x 还活着）
 *  thread contention，这个集中化的对象池会不会把多线程并发的操作串行化？
 *  如果共享对象的类型不止一种，那么是重复实现对象池还是使用类模板？
 *  会不会造成内存泄露与分片？因为对象池占用的内存只增不减，而且多个对象池不能共享内存（想想为何）。

回到正题上来，如果对象 x 注册了任何非静态成员函数回调，那么必然在某处持有了指向 x 的指针，这就暴露在了 race condition 之下。

一个典型的场景是 Observer 模式。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Observer </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">public</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code>~Observer() { } </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code><strong><span style="color: #006699;">void</span></strong></code> <code>update() = 0; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Observable </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">public</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code><strong><span style="color: #006699;">register</span></strong></code><code>(Observer* x); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>13</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>unregister(Observer* x); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>15</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>notifyObservers() { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>foreach Observer* x {&nbsp; </code><code><span style="color: #008200;">// 这行是伪代码 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>17</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>x-&gt;update(); </code><code><span style="color: #008200;">// (3) </span></code></td> 
  </tr> 
 </tbody> 
</table>

当 Observable 通知每一个 Observer 时 (3)，它从何得知 Observer 对象 x 还活着？

要不在 Observer 的析构函数里解注册 (unregister)？恐难奏效。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">struct</span></strong></code> <code>Observer </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code>~Observer() { } </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code><strong><span style="color: #006699;">void</span></strong></code> <code>update() = 0; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>observe(Observable* s) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>s-&gt;</code><code><strong><span style="color: #006699;">register</span></strong></code><code>(</code><code><strong><span style="color: #006699;">this</span></strong></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>subject_ = s; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">virtual</span></strong></code> <code>~Observer() { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>13</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>subject_-&gt;unregister(</code><code><strong><span style="color: #006699;">this</span></strong></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>15</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>Observable* subject_; </code></td> 
  </tr> 
 </tbody> 
</table>

我们试着让 Observer 的析构函数去 unregister(this)，这里有两个 race conditions。其一：(4)处如何得知 subject\_ 还活着？其二：就算 subject\_ 指向某个永久存在的对象，那么还是险象环生：

1.  线程 A 执行到 (4)处，还没有来得及 unregister 本对象
2.  线程 B 执行到 (3) 处，x 正好指向是 (4)处正在析构的对象

那么悲剧又发生了，既然 x 所指的 Observer 对象正在析构，调用它的任何非静态成员函数都是不安全的，何况是虚函数（C++ 标准对在构造函数和析构函数中调用虚函数的行为有明确的规定，但是没有考虑并发调用的情况）。更糟糕的是，Observer 是个基类，执行到 (4)处时，派生类对象已经析构掉了，这时候整个对象处于将死未死的状态，core dump 恐怕是最幸运的结果。

这些 race condition 似乎可以通过加锁来解决，但在哪儿加锁，谁持有这些互斥锁，又似乎不是那么显而易见的。要是有什么活着的对象能帮帮我们就好了，它提供一个 isAlive() 之类的程序函数，告诉我们那个对象还在不在。可惜指针和引用都不是对象，它们是内建类型。

####  ####

指向对象的原始指针 (raw pointer) 是坏的，尤其当暴露给别的线程时。Observable 应当保存的不是原始的 Observer\*，而是别的什么东西，能分别 Observer 对象是否存活。类似地，如果 Observer 要在析构函数里解注册（这虽然不能解决前面提到的 race condition，但是在析构函数里打扫战场还是应该的），那么 subject\_ 的类型也不能是原始的 Observable\*。

有经验的 C++ 程序员或许会想到用智能指针，没错，这是正道，但也没那么简单，有些关窍需要注意。这两处直接使用 shared\_ptr 是不行的，会形成循环引用，直接造成资源泄漏。别着急，后文会一一讲到。

#####  #####

有两个指针 p1 和 p2，指向堆上的同一个对象 Object，p1 和 p2 位于不同的线程中（左图）。假设线程 A 透过 p1 指针将对象销毁了（尽管把 p1 置为了 NULL），那么 p2 就成了空悬指针（右图）。这是一种典型的 C/C++ 内存错误。

[![clip\_image004][clip_image004]][clip_image004_clip_image004] [![clip\_image006][clip_image006]][clip_image006_clip_image006]

要想安全地销毁对象，最好让在别人（线程）都看不到的情况下，偷偷地做。

#####  #####

一个解决空悬指针的办法是，引入一层间接性，让 p1 和 p2 所指的对象永久有效。比如下图的 proxy 对象，这个对象，持有一个指向 Object 的指针。（从 C 语言的角度，p1 和 p2 都是二级指针。）

[![clip\_image008][clip_image008]][clip_image008_clip_image008] [![clip\_image010][clip_image010]][clip_image010_clip_image010]

当销毁 Object 之后，proxy 对象继续存在，其值变为 0。而 p2 也没有变成空悬指针，它可以通过查看 proxy 的内容来判断 Object 是否还活着。要线程安全地释放 Object 也不是那么容易，race condition 依旧存在。比如 p2 看第一眼的时候 proxy 不是零，正准备去调用 Object 的成员函数，期间对象已经被 p1 给销毁了。

问题在于，何时释放 proxy 指针呢？

#####  #####

为了安全地释放 proxy，我们可以引入引用计数，再把 p1 和 p2 都从指针变成对象 sp1 和 sp2。proxy 现在有两个成员，指针和计数器。

1. 一开始，有两个引用，计数值为 2，

[![clip\_image012][clip_image012]][clip_image012_clip_image012]

2. sp1 析构了，引用计数的值减为 1，

[![clip\_image014][clip_image014]][clip_image014_clip_image014]

3. sp2 也析构了，引用计数的值为 0，可以安全地销毁 proxy 和 Object 了。

[![clip\_image016][clip_image016]][clip_image016_clip_image016]

慢着！这不就是引用计数型智能指针吗？

#####  #####

引入另外一层间接性，another layer of indirection，用对象来管理共享资源（如果把 Object 看作资源的话），亦即 handle/body 手法 (idiom)。当然，编写线程安全、高效的引用计数 handle 的难度非凡，作为一名谦卑的程序员，用现成的库就行。

万幸，C++ 的 tr1 标准库里提供了一对神兵利器，可助我们完美解决这个头疼的问题。

####  ####

shared\_ptr 是引用计数型智能指针，在 boost 和 std::tr1 里都有提供，现代主流的 C++ 编译器都能很好地支持。shared\_ptr<T> 是一个类模板 (class template)，它只有一个类型参数，使用起来很方便。引用计数的是自动化资源管理的常用手法，当引用计数降为 0 时，对象（资源）即被销毁。weak\_ptr 也是一个引用计数型智能指针，但是它不增加引用次数，即弱 (weak) 引用。

shared\_ptr 的基本用法和语意请参考手册或教程，本文从略，这里谈几个关键点。

*  shared\_ptr 控制对象的生命期。shared\_ptr 是强引用（想象成用铁丝绑住堆上的对象），只要有一个指向 x 对象的 shared\_ptr 存在，该 x 对象就不会析构。当指向对象 x 的最后一个 shared\_ptr 析构或 reset 的时候，x 保证会被销毁。
 *  weak\_ptr 不控制对象的生命期，但是它知道对象是否还活着（想象成用棉线轻轻拴住堆上的对象）。如果对象还活着，那么它可以提升 (promote) 为有效的 shared\_ptr；如果对象已经死了，提升会失败，返回一个空的 shared\_ptr。“提升”行为是线程安全的。
 *  shared\_ptr/weak\_ptr 的“计数”在主流平台上是原子操作，没有用锁，性能不俗。
 *  shared\_ptr/weak\_ptr 的线程安全级别与 string 等 STL 容器一样，后面还会讲。

####  ####

我同意孟岩说的“大部分用 C 写的上规模的软件都存在一些内存方面的错误，需要花费大量的精力和时间把产品稳定下来。”内存方面的问题在 C++ 里很容易解决，我第一次也是最后一次见到别人的代码里有内存泄漏是在 2004 年实习那会儿，自己写的C++ 程序从来没有出现过内存方面的问题。

C++ 里可能出现的内存问题大致有这么几个方面：

1.  缓冲区溢出
2.  空悬指针/野指针
3.  重复释放
4.  内存泄漏
5.  不配对的 new\[\]/delete
6.  内存碎片

正确使用智能指针能很轻易地解决前面 5 个问题，解决第 6 个问题需要别的思路，我会另文探讨。

1.  缓冲区溢出 ⇒ 用 vector/string 或自己编写 Buffer 类来管理缓冲区，自动记住用缓冲区的长度，并通过成员函数而不是裸指针来修改缓冲区。
2.  空悬指针/野指针 ⇒ 用 shared\_ptr/weak\_ptr，这正是本文的主题
3.  重复释放 ⇒ 用 scoped\_ptr，只在对象析构的时候释放一次
4.  内存泄漏 ⇒ 用 scoped\_ptr，对象析构的时候自动释放内存
5.  不配对的 new\[\]/delete ⇒ 把 new\[\] 统统替换为 vector/scoped\_array

正确使用上面提到的这几种智能指针并不难，其难度大概比学习使用 vector/list 这些标准库组件还要小，与 string 差不多，只要花一周的时间去适应它，就能信手拈来。我认为，在现代的 C++ 程序中一般不会出现 delete 语句，资源（包括复杂对象本身）都是通过对象（智能指针或容器）来管理的，不需要程序员还为此操心。

需要注意一点：scoped\_ptr/shared\_ptr/weak\_ptr 都是值语意，要么是栈上对象，或是其他对象的直接数据成员，或是标准库容器里的元素。几乎不会有下面这种用法：

shared\_ptr<Foo>\* pFoo = new shared\_ptr<Foo>(new Foo); // WRONG semantic

还要注意，如果这几种智能指针是对象 x 的数据成员，而它的模板参数 T 是个 incomplete 类型，那么 x 的析构函数不能是默认的或内联的，必须在 .cpp 文件里边显式定义，否则会有编译错或运行错。（原因请见 boost::checked\_delete）

#### 上 ####

既然透过 weak\_ptr 能探查对象的生死，那么 Observer 模式的竞态条件就很容易解决，只要让 Observable 保存 weak\_ptr<Observer> 即可：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Observable&nbsp; </code><code><span style="color: #008200;">// not 100% thread safe! </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code><strong><span style="color: #006699;">register</span></strong></code><code>(weak_ptr&lt;Observer&gt; x); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>unregister(weak_ptr&lt;Observer&gt; x);&nbsp; </code><code><span style="color: #008200;">// 可用 std::remove/vector::erase 实现 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>notifyObservers() </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Iterator it = observers_.begin(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">while</span></strong></code> <code>(it != observers_.end()) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Observer&gt; obj(it-&gt;lock());&nbsp; </code><code><span style="color: #008200;">// 尝试提升，这一步是线程安全的 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code><span style="color: #008200;">// 提升成功，现在引用计数值至少为 2 （想想为什么？） </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>15</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>obj-&gt;update();&nbsp; </code><code><span style="color: #008200;">// 没有竞态条件，因为 obj 在栈上，对象不可能在本作用域内销毁 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>18</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code><span style="color: #008200;">// 对象已经销毁，从容器中拿掉 weak_ptr </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>19</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>it = observers_.erase(it); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>24</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>25</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>std::vector&lt;weak_ptr&lt;Observer&gt; &gt; observers_;&nbsp; </code><code><span style="color: #008200;">// (5) </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>26</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">mutable</span></strong></code> <code>Mutex mutex_; </code></td> 
  </tr> 
 </tbody> 
</table>

就这么简单。前文代码 (3) 处的竞态条件已经弥补了。

#####  #####

把 Observer\* 替换为 weak\_ptr<Observer> 部分解决了 Observer 模式的线程安全，但还有几个疑点：

**不灵活**，强制要求 Observer 必须以 shared\_ptr 来管理；

**不是完全线程安全**，Observer 的析构函数会调用 subject\_->unregister(this)，万一 subject\_ 已经不复存在了呢？为了解决它，又要求 Observable 本身是用 shared\_ptr 管理的，并且 subject\_ 是个 weak\_ptr<Observable>；

**线程争用** (thread contention)，即 Observable 的三个成员函数都用了互斥器来同步，这会造成 register 和 unregister 等待 notifyObservers，而后者的执行时间是无上限的，因为它同步回调了用户提供的 update() 函数。我们希望 register 和 unregister 的执行时间不会超过某个固定的上限，以免即便殃及无辜群众。

**死锁**，万一 update() 虚函数中调用了 (un)register 呢？如果 mutex\_ 是不可重入的，那么会死锁；如果 mutex\_ 是可重入的，程序会面临迭代器失效（core dump 是最好的结果），因为 vector observers\_ 在遍历期间被无意识地修改了。这个问题乍看起来似乎没有解决办法，除非在文档里做要求。（一个办法是：用可重入的 mutex\_，把容器换为 std::list，并把 ++it 往前挪一行。）

这些问题留到本文附录中去探讨，每个问题都是能解决的。

我个人倾向于使用不可重入的 Mutex，例如 pthreads 默认提供的那个，因为“要求 Mutex 可重入”本身往往意味着设计上出了问题。Java 的 intrinsic lock 是可重入的，因为要允许 synchronized 方法相互调用，我觉得这也是无奈之举。

思考：如果把 (5) 处改为 vector<shared\_ptr<Observer> > observers\_;，会有什么后果？

#### 的线程安全 ####

虽然我们借 shared\_ptr 来实现线程安全的对象释放，但是 shared\_ptr 本身不是 100% 线程安全的。它的引用计数本身是安全且无锁的，但对象的读写则不是，因为 shared\_ptr 有两个数据成员，读写操作不能原子化。

根据文档，shared\_ptr 的线程安全级别和内建类型、标准库容器、string 一样，即：

*  一个 shared\_ptr 实体可被多个线程同时读取；
 *  两个的 shared\_ptr 实体可以被两个线程同时写入，“析构”算写操作；
 *  如果要从多个线程读写同一个 shared\_ptr 对象，那么需要加锁。

请注意，这是 shared\_ptr 对象本身的线程安全级别，不是它管理的对象的线程安全级别。

要在多个线程中同时访问同一个 shared\_ptr，正确的做法是：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code>shared_ptr&lt;Foo&gt; globalPtr;&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>2</code></td> 
   <td><code>Mutex mutex; </code><code><span style="color: #008200;">// No need for ReaderWriterLock&nbsp; </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>3</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>doit(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>shared_ptr&lt;Foo&gt;&amp; pFoo);</code></td> 
  </tr> 
 </tbody> 
</table>

globalPtr 能被多个线程看到，那么它的读写需要加锁。注意我们不必用读写锁，而只用最简单的互斥锁，这是为了性能考虑，因为临界区非常小，用互斥锁也不会阻塞并发读。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Foo&gt; ptr; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>ptr = globalPtr;&nbsp; </code><code><span style="color: #008200;">// read globalPtr </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// use ptr since here </span></code></td> 
  </tr> 
 </tbody> 
</table>

写入的时候也要加锁：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>write() </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Foo&gt; newptr(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Foo); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>globalPtr = newptr;&nbsp; </code><code><span style="color: #008200;">// write to globalPtr </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// use newptr since here </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>doit(newptr); </code></td> 
  </tr> 
 </tbody> 
</table>

注意到 read() 和 write() 在临界区之外都没有再访问 globalPtr，而是用了一个指向同一 Foo 对象的栈上 shared\_ptr local copy。下面会谈到，只要有这样的 local copy 存在，shared\_ptr 作为函数参数传递时不必复制，用 reference to const 即可。

#### 技术与陷阱 ####

**意外延长对象的生命期**。shared\_ptr 是强引用（铁丝绑的），只要有一个指向 x 对象的 shared\_ptr 存在，该对象就不会析构。而 shared\_ptr 又是允许拷贝构造和赋值的（否则引用计数就无意义了），如果不小心遗留了一个拷贝，那么对象就永世长存了。例如前面提到如果把 (5) 处 observers\_ 的类型改为 vector<shared\_ptr<Observer> >，那么除非手动调用 unregister，否则 Observer 对象永远不会析构。即便它的析构函数会调用 unregister，但是不去 unregister 就不会调用析构函数，这变成了鸡与蛋的问题。这也是 Java 内存泄露的常见原因。

另外一个出错的可能是 boost::bind，因为 boost::bind 会把参数拷贝一份，如果参数是个 shared\_ptr，那么对象的生命期就不会短于 boost::function 对象：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>Foo&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>6</code></td> 
   <td><code>boost::function&lt;</code><code><strong><span style="color: #006699;">void</span></strong></code><code>()&gt; func;&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>7</code></td> 
   <td><code>shared_ptr&lt;Foo&gt; pFoo(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Foo);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

这里 func 对象持有了 shared\_ptr<Foo> 的一份拷贝，有可能会不经意间延长倒数第二行创建的 Foo 对象的生命期。

**函数参数**。因为要修改引用计数（而且拷贝的时候通常要加锁），shared\_ptr 的拷贝开销比拷贝原始指针要高，但是需要拷贝的时候并不多。多数情况下它可以以 reference to const 方式传递，一个线程只需要在最外层函数有一个实体对象，之后都可以用 reference to const 来使用这个 shared\_ptr。例如有几个个函数都要用到 Foo 对象：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>save(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>shared_ptr&lt;Foo&gt;&amp; pFoo);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>2</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>validateAccount(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>Foo&amp; foo);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>3</code></td> 
   <td><code><strong><span style="color: #808080;">bool</span></strong></code> <code>validate(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>shared_ptr&lt;Foo&gt;&amp; pFoo)&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>6</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>validateAccount(*pFoo);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

那么在通常情况下，

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>onMessage(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>string&amp; buf)&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>3</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Foo&gt; pFoo(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Foo(buf)); </code><code><span style="color: #008200;">// 只要在最外层持有一个实体，安全不成问题&nbsp; </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>4</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(validate(pFoo)) {&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

遵照这个规则，基本上不会遇到反复拷贝 shared\_ptr 导致的性能问题。另外由于 pFoo 是栈上对象，不可能被别的线程看到，那么读取始终是线程安全的。

**析构动作在创建时被捕获**。这是一个非常有用的特性，这意味着：

*  虚析构不再是必须的。
 *  shared\_ptr<void> 可以持有任何对象，而且能安全地释放
 *  shared\_ptr 对象可以安全地跨越模块边界，比如从 DLL 里返回，而不会造成从模块 A 分配的内存在模块 B 里被释放这种错误。
 *  二进制兼容性，即便 Foo 对象的大小变了，那么旧的客户代码任然可以使用新的动态库，而无需重新编译（这要求 Foo 的头文件中不出现访问对象的成员的 inline函数）。
 *  析构动作可以定制。

这个特性的实现比较巧妙，因为 shared\_ptr<T> 只有一个模板参数，而“析构行为”可以是函数指针，仿函数 (functor) 或者其他什么东西。这是泛型编程和面向对象编程的一次完美结合。有兴趣的同学可以参考 Scott Meyers 的文章。

这个技术在后面的对象池中还会用到。

**析构所在的线程**。对象的析构是同步的，当最后一个指向 x 的 shared\_ptr 离开其作用域的时候，x 会同时在同一个线程析构。这个线程不一定是对象诞生的线程。这个特性是把双刃剑：如果对象的析构比较耗时，那么可能会拖慢关键线程的速度（如果最后一个 shared\_ptr 引发的析构发生在关键线程）；同时，我们可以用一个单独的线程来专门做析构，通过一个 BlockingQueue<shared\_ptr<void> > 把对象的析构都转移到那个专用线程，从而解放关键线程。

**现成的 RAII handle**。我认为 RAII （资源获取即初始化）是 C++ 语言区别与其他所有编程语言的最重要的手法，一个不懂 RAII 的 C++ 程序员不是一个合格的 C++ 程序员。原来的 C++ 教条是“new 和 delete 要配对，new 了之后要记着 delete”，如果使用 RAII，要改成“每一个明确的资源配置动作（例如 new）都应该在单一语句中执行，并在该语句中立刻将配置获得的资源交给 handle 对象（如 shared\_ptr），程序中一般不出现 delete”（出处见脚注 1）。shared\_ptr 是管理共享资源的利器，需要注意避免循环引用，通常的做法是 owner 持有指向 A 的 shared\_ptr，A 持有指向 owner 的 weak\_ptr。

#####  #####

假设有 Stock 类，代表一只股票的价格。每一只股票有一个惟一的字符串标识，比如 Google 的 key 是 "NASDAQ:GOOG"，IBM 是 "NYSE:IBM"。Stock 对象是个主动对象，它能不断获取新价格。为了节省系统资源，同一个程序里边每一只出现的股票只有一个 Stock 对象，如果多处用到同一只股票，那么 Stock 对象应该被共享。如果某一只股票没有再在任何地方用到，其对应的 Stock 对象应该析构，以释放资源，这隐含了“引用计数”。

为了达到上述要求，我们可以设计一个对象池 StockFactory。它的接口很简单，根据 key 返回 Stock 对象。我们已经知道，在多线程程序中，既然对象可能被销毁，那么返回 shared\_ptr 是合理的。自然地，我们写出如下代码。（可惜是错的）

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>StockFactory : boost::noncopyable&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>{ </code><code><span style="color: #008200;">// questionable code&nbsp; </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">public</span></strong></code><code>:&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; get(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>string&amp; key);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>:&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>std::map&lt;string, shared_ptr&lt;Stock&gt; &gt; stocks_;&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">mutable</span></strong></code> <code>Mutex mutex_;&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

get() 的逻辑很简单，如果在 stocks\_ 里找到了 key，就返回 stocks\_\[key\]；否则新建一个 Stock，并存入 stocks\_\[key\]。

细心的读者或许已经发现这里有一个问题，Stock 对象永远不会被销毁，因为 map 里存的是 shared\_ptr，始终有铁丝绑着。那么或许应该仿照前面 Observable 那样存一个 weak\_ptr？比如

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; get(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>string&amp; key) </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; pStock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>weak_ptr&lt;Stock&gt;&amp; wkStock = stocks_[key];&nbsp; </code><code><span style="color: #008200;">// 如果 key 不存在，会默认构造一个 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>pStock = wkStock.lock();&nbsp; </code><code><span style="color: #008200;">// 尝试把棉线提升为铁丝 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(!pStock) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>pStock.reset(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Stock(key)); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>wkStock = pStock;&nbsp; </code><code><span style="color: #008200;">// 这里更新了 stocks_[key]，注意 wkStock 是个引用 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">return</span></strong></code> <code>pStock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>17</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>18</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>std::map&lt;string, weak_ptr&lt;Stock&gt; &gt; stocks_; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>19</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">mutable</span></strong></code> <code>Mutex mutex_; </code></td> 
  </tr> 
 </tbody> 
</table>

这么做固然 Stock 对象是销毁了，但是程序里却出现了轻微的内存泄漏，为什么？

因为 stocks\_ 的大小只增不减，stocks\_.size() 是曾经存活过的 Stock 对象的总数，即便活的 Stock 对象数目降为 0。或许有人认为这不算泄漏，因为内存并不是彻底遗失不能访问了，而是被某个标准库容器占用了。我认为这也算内存泄漏，毕竟是战场没有打扫干净。

其实，考虑到世界上的股票数目是有限的，这个内存不会一直泄漏下去，大不了把每只股票的对象都创建一遍，估计泄漏的内存也只有几兆。如果这是一个其他类型的对象池，对象的 key 的集合不是封闭的，内存会一直泄漏下去。

解决的办法是，利用 shared\_ptr 的定制析构功能。shared\_ptr 的构造函数可以有一个额外的模板类型参数，传入一个函数指针或仿函数 d，在析构对象时执行 d(p)。shared\_ptr 这么设计并不是多余的，因为反正要在创建对象时捕获释放动作，始终需要一个 bridge。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">template</span></strong></code><code>&lt;</code><code><strong><span style="color: #006699;">class</span></strong></code> <code>Y, </code><code><strong><span style="color: #006699;">class</span></strong></code> <code>D&gt; shared_ptr::shared_ptr(Y* p, D d);&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>3</code></td> 
   <td><code><strong><span style="color: #006699;">template</span></strong></code><code>&lt;</code><code><strong><span style="color: #006699;">class</span></strong></code> <code>Y, </code><code><strong><span style="color: #006699;">class</span></strong></code> <code>D&gt; </code><code><strong><span style="color: #006699;">void</span></strong></code> <code>shared_ptr::reset(Y* p, D d);</code></td> 
  </tr> 
 </tbody> 
</table>

那么我们可以利用这一点，在析构 Stock 对象的同时清理 stocks\_。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// in get(), change&nbsp; </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// pStock.reset(new Stock(key)); </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// pStock.reset(new Stock(key), </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">//&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; boost::bind(&amp;StockFactory::deleteStock, this, _1));&nbsp; (6) </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>deleteStock(Stock* stock) </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(stock) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>13</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>stocks_.erase(stock-&gt;key()); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">delete</span></strong></code> <code>stock;&nbsp; </code><code><span style="color: #008200;">// sorry, I lied </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>18</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// assuming FooCache lives longer than all Foo's ... </span></code></td> 
  </tr> 
 </tbody> 
</table>

这里我们向 shared\_ptr<Stock>::reset() 传递了第二个参数，一个 boost::function，让它在析构 Stock\* p 时调用本 StockFactory 对象的 deleteStock 成员函数。

警惕的读者可能已经发现问题，那就是我们把一个原始的 StockFactory this 指针保存在了 boost::function 里 (6)，这会有线程安全问题。如果这个 StockFactory 先于 Stock 对象析构，那么会 core dump。正如 Observer 在析构函数里去调用 Observable::unregister()，而那时 Observable 对象可能已经不存在了。

当然这也是能解决的，用到下一节的技术。

#####  #####

StockFactory::get() 把原始指针 this 保存到了 boost::function 中 (6)，如果 StockFactory 的生命期比 Stock 短，那么 Stock 析构时去回调 StockFactory::deleteStock 就会 core dump。似乎我们应该祭出惯用的 shared\_ptr 大法来解决对象生命期问题，但是 StockFactory::get() 本身是个成员函数，如何获得一个 shared\_ptr<StockFactory> 对象呢？

有办法，用 enable\_shared\_from\_this。这是一个模板基类，继承它，this 就能变身为 shared\_ptr。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>StockFactory : </code><code><strong><span style="color: #006699;">public</span></strong></code> <code>boost::enable_shared_from_this&lt;StockFactory&gt;,&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>2</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>boost::noncopyable&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

为了使用 shared\_from\_this()，要求 StockFactory 对象必须保存在 shared\_ptr 里。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>1</code></td> 
   <td><code>shared_ptr&lt;StockFactory&gt; stockFactory(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>StockFactory);</code></td> 
  </tr> 
 </tbody> 
</table>

万事俱备，可以让 this 摇身一变，化为 shared\_ptr<StockFactory> 了。

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code>shared_ptr&lt;Stock&gt; StockFactory::get(</code><code><strong><span style="color: #006699;">const</span></strong></code> <code>string&amp; key) </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// change </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>04</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// pStock.reset(new Stock(key), </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">//&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; boost::bind(&amp;StockFactory::deleteStock, this, _1)); </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>pStock.reset(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Stock(key), </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>boost::bind(&amp;StockFactory::deleteStock, </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_from_this(), </code></td> 
  </tr> 
 </tbody> 
</table>

这样一来，boost::function 里保存了一份 shared\_ptr<StockFactory>，可以保证调用 StockFactory::deleteStock 的时候那个 StockFactory 对象还活着。

注意一点，shared\_from\_this() 不能在构造函数里调用，因为在构造 StockFactory 的时候，它还没有被交给 shared\_ptr 接管。

最后一个问题，StockFactory 的生命期似乎被意外延长了。

#####  #####

把 shared\_ptr 绑 (boost::bind) 到 boost:function 里，那么回调的时候 StockFactory 对象始终存在，是安全的。这同时也延长了对象的生命期，使之不短于绑得的 boost:function 对象。

有时候我们需要“如果对象还活着，就调用它的成员函数，否则忽略之”的语意，就像 Observable::notifyObservers() 那样，我称之为“弱回调”。这也是可以实现的，利用 weak\_ptr，我们可以把 weak\_ptr 绑到 boost::function 里，这样对象的生命期就不会被延长。然后在回调的时候先尝试提升为 shared\_ptr，如果提升成功，说明接受回调的对象还健在，那么就执行回调；如果提升失败，就不必劳神了。

使用这一技术的完整 StockFactory 代码如下：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">class</span></strong></code> <code>StockFactory : </code><code><strong><span style="color: #006699;">public</span></strong></code> <code>boost::enable_shared_from_this&lt;StockFactory&gt;, </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>02</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>boost::noncopyable </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; pStock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>09</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>weak_ptr&lt;Stock&gt;&amp; wkStock = stocks_[key]; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>pStock = wkStock.lock(); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>11</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(!pStock) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>pStock.reset(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>Stock(key), </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>13</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>boost::bind(&amp;StockFactory::weakDeleteCallback, </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>boost::weak_ptr&lt;StockFactory&gt;(shared_from_this()), </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code><span style="color: #008200;">// 上面必须强制把 shared_from_this() 转型为 weak_ptr，才不会延长生命期 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>17</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>wkStock = pStock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>19</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">return</span></strong></code> <code>pStock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>22</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>23</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">static</span></strong></code> <code><strong><span style="color: #006699;">void</span></strong></code> <code>weakDeleteCallback(boost::weak_ptr&lt;StockFactory&gt; wkFactory, </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>24</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>Stock* stock) </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>26</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;StockFactory&gt; factory(wkFactory.lock());&nbsp; </code><code><span style="color: #008200;">// 尝试提升 </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>27</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(factory) {&nbsp; </code><code><span style="color: #008200;">// 如果 factory 还在，那就清理 stocks_ </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>28</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>factory-&gt;removeStock(stock); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>30</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">delete</span></strong></code> <code>stock;&nbsp; </code><code><span style="color: #008200;">// sorry, I lied </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>33</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">void</span></strong></code> <code>removeStock(Stock* stock)&nbsp; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>35</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">if</span></strong></code> <code>(stock) { </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>36</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>MutexLock lock(mutex_); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>37</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code><code>stocks_.erase(stock-&gt;key()); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>41</code></td> 
   <td><code>&nbsp;</code><code><strong><span style="color: #006699;">private</span></strong></code><code>: </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>42</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>std::map&lt;string, weak_ptr&lt;Stock&gt; &gt; stocks_; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>43</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><strong><span style="color: #006699;">mutable</span></strong></code> <code>Mutex mutex_; </code></td> 
  </tr> 
 </tbody> 
</table>

两个简单的测试：

[view source][]

[print][] [?][Link 1]

<table> 
 <tbody> 
  <tr> 
   <td><code>01</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>testLongLifeFactory() </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>03</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;StockFactory&gt; factory(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>StockFactory); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>05</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; stock = factory-&gt;get(</code><code><span style="color: #0000ff;">"NYSE:IBM"</span></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>06</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; stock2 = factory-&gt;get(</code><code><span style="color: #0000ff;">"NYSE:IBM"</span></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>07</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #ff1493;">assert</span></strong></code><code>(stock == stock2); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>08</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><span style="color: #008200;">// stock destructs here </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>10</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// factory destructs here </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>12</code></td> 
   <td><code><strong><span style="color: #006699;">void</span></strong></code> <code>testShortLifeFactory() </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>14</code></td> 
   <td><code>&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; stock; </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>16</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;StockFactory&gt; factory(</code><code><strong><span style="color: #006699;">new</span></strong></code> <code>StockFactory); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>17</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>stock = factory-&gt;get(</code><code><span style="color: #0000ff;">"NYSE:IBM"</span></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>18</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>shared_ptr&lt;Stock&gt; stock2 = factory-&gt;get(</code><code><span style="color: #0000ff;">"NYSE:IBM"</span></code><code>); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>19</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><strong><span style="color: #ff1493;">assert</span></strong></code><code>(stock == stock2); </code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>20</code></td> 
   <td><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code><span style="color: #008200;">// factory destructs here </span></code></td> 
  </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
  <tr> 
   <td><code>22</code></td> 
   <td><code>&nbsp;&nbsp;</code><code><span style="color: #008200;">// stock destructs here </span></code></td> 
  </tr> 
 </tbody> 
</table>

这下完美了，无论 Stock 和 StockFactory 谁先挂掉都不会影响程序的正确运行。

当然，通常 Factory 对象是个 singleton，在程序正常运行期间不会销毁，这里只是为了展示弱回调技术，这个技术在事件通知中非常有用。

####  ####

除了使用 shared\_ptr/weak\_ptr，要想在 C++ 里做到线程安全的对象回调与析构，可能的办法有：

1.  用一个全局的 facade 来代理 Foo 类型对象访问，所有的 Foo 对象回调和析构都通过这个 facade 来做，也就是把指针替换为 objId/handle。这样理论上能避免 race condition，但是代价很大。因为要想把这个 facade 做成线程安全，那么必然要用互斥锁。这样一来，从两个线程访问两个不同的 Foo 对象也会用到同一个锁，让本来能够并行执行的函数变成了串行执行，没能发挥多核的优势。当然，可以像 Java 的 ConcurrentHashMap 那样用多个 buckets，每个 bucket 分别加锁，以降低 contention。
2.  第 4 节提到的“只创建不销毁”手法，实属无奈之举。
3.  自己编写引用计数的智能指针。本质上是重新发明轮子，把 shared\_ptr 实现一遍。正确实现线程安全的引用计数智能指针不是一件容易的事情，而高效的实现就更加困难。既然 shared\_ptr 已经提供了完整的解决方案，那么似乎没有理由抗拒它。
4.  将来在 C++ 0x 里有 unique\_ptr，能避免引用计数的开销，或许能在某些场合替换shared\_ptr。

#####  #####

有垃圾回收就好办。Google 的 Go 语言教程明确指出，没有垃圾回收的并发编程是困难的（Concurrency is hard without garbage collection）。但是由于指针算术的存在，在 C/C++里实现全自动垃圾回收更加困难。而那些天生具备垃圾回收的语言在并发编程方面具有明显的优势，Java 是目前支持并发编程最好的主流语言，它的 util.concurrent 库和内存模型是 C++ 0x 效仿的对象。

####  ####

学习多线程程序设计远远不是看看教程了解 API 怎么用那么简单，这最多“主要是为了读懂别人的代码，如果自己要写这类代码，必须专门花时间严肃认真系统地学习，严禁半桶水上阵”（孟岩）。一般的多线程教程上都会提到要让加锁的区域足够小，这没错，问题是如何找出这样的区域并加锁，本文第 9 节举的安全读写 shared\_ptr 可算是一个例子。

据我所知，目前 C++ 没有好的多线程领域专著，C 语言有，Java 语言也有。《Java Concurrency in Practice》是我读过的写得最好的书，内容足够新，可读性和可操作性俱佳。C++ 程序员反过来要向 Java 学习，多少有些讽刺。除了编程书，操作系统教材也是必读的，至少要完整地学习一本经典教材的相关章节，可从《操作系统设计与实现》、《现代操作系统》、《操作系统概念》任选一本，了解各种同步原语、临界区、竞态条件、死锁、典型的 IPC 问题等等，防止闭门造车。

分析可能出现的 race condition 不仅是多线程编程基本功，也是设计分布式系统的基本功，需要反复历练，形成一定的思考范式，并积累一些经验教训，才能少犯错误。这是一个快速发展的领域，要不断吸收新知识，才不会落伍。单 CPU 时代的多线程编程经验到了多 CPU 时代不一定有效，因为多 CPU 能做到真正的并发执行，每个 CPU 看到的事件发生顺序不一定完全相同。正如狭义相对论所说的每个观察者都有自己的时钟，在不违反因果律的前提下，可能发生十分违反直觉的事情。

尽管本文通篇在讲如何安全地使用（包括析构）跨线程的对象，但我建议尽量减少使用跨线程的对象，我赞同缙大师说的“用流水线，生产者-消费者，任务队列这些有规律的机制，最低限度地共享数据。这是我所知最好的多线程编程的建议了。”

不用跨线程的对象，自然不会遇到本文描述的各种险态。如果迫不得已要用，我希望本文能对您有帮助。

#####  #####

*  原始指针暴露给多个线程往往会造成 race condition 或额外的簿记负担；
 *  统一用 shared\_ptr/scoped\_ptr 来管理对象的生命期，在多线程中尤其重要；
 *  shared\_ptr 是值语意，当心意外延长对象的生命期。例如 boost::bind 和容器；
 *  weak\_ptr 是 shared\_ptr 的好搭档，可以用作弱回调、对象池等；
 *  认真阅读一遍 boost::shared\_ptr 的文档，能学到很多东西： [http://www.boost.org/doc/libs/release/libs/smart\_ptr/shared\_ptr.htm][http_www.boost.org_doc_libs_release_libs_smart_ptr_shared_ptr.htm]
 *  保持开放心态，留意更好的解决办法，比如 unique\_ptr。忘掉已被废弃的 auto\_ptr。

shared\_ptr 是 tr1 的一部分，即 C++ 标准库的一部分，值得花一点时间去学习掌握，对编写现代的 C++ 程序有莫大的帮助。我个人的经验是，一周左右就能基本掌握各种用法与常见陷阱，比学 STL 还快。网络上有一些对 shared\_ptr 的批评，那可以算作故意误用的例子，就好比故意访问失效的迭代器来证明 vector 不安全一样。

正确使用标准库（含 shared\_ptr）作为自动化的内存/资源管理器，解放大脑，从此告别内存错误。

#### 之谬 ####

本文第 8 节把 shared\_ptr/weak\_ptr 应用到 Observer 模式中，部分解决了其线程安全问题。我用 Observer 举例，因为这是一个广为人知的设计模式，但是它有本质的问题。

Observer 模式的本质问题在于其面向对象的设计。换句话说，我认为正是面向对象 (OO) 本身造成了 Observer 的缺点。Observer 是基类，这带来了非常强的耦合，强度仅次于友元。这种耦合不仅限制了成员函数的名字、参数、返回值，还限制了成员函数所属的类型（必须是 Observer 的派生类）。

Observer 是基类，这意味着如果 Foo 想要观察两个类型的事件（比如时钟和温度），需要使用多继承。这还不是最糟糕的，如果要重复观察同一类型的事件（比如 1 秒钟一次的心跳和 30 秒钟一次的自检），就要用到一些伎俩来 work around，因为不能从一个 Base class 继承两次。

现在的语言一般可以绕过 Observer 模式的限制，比如 Java 可以用匿名内部类，Java 7 用 Closure，C\# 用 delegate，C++ 用 boost::function/ boost::bind，我在另外一篇博客《以 boost::function 和 boost:bind 取代虚函数》里有更多的讲解。

在 C++ 里为了替换 Observer，可以用 Signal/Slots，我指的不是 QT 那种靠语言扩展的实现，而是完全靠标准库实现的 thread safe、race condition free、thread contention free 的 Signal/Slots，并且不强制要求 shared\_ptr 来管理对象，也就是说完全解决了第 8 节列出的 Observer 遗留问题。不过这篇文章已经够长了，留作下次吧。有兴趣的同学可以先预习一下《借 shared\_ptr 实现线程安全的 copy-on-write》。

####  ####

《C++ 沉思录》/《Runminations on C++》中文版的附录是王曦和孟岩对作者夫妇二人的采访，在被问到“请给我们三个你们认为最重要的建议”时，Koenig 和 Moo 的第一个建议是“避免使用指针”。我 2003 年读到这段时，理解不深，觉得固然使用指针容易造成内存方面的问题，但是完全不用也是做不到的，毕竟 C++ 的多态要透过指针或引用来起效。6 年之后重新拾起来，发现大师的观点何其深刻，不免掩卷长叹。

这本书详细地介绍了 handle/body idiom，这是编写大型 C++ 程序的必备技术，也是实现物理隔离的法宝，值得细读。

目前来看，用 shared\_ptr 来管理资源在国内 C++ 界似乎并不是一种主流做法，很多人排斥智能指针，视其为洪水猛兽（这或许受了 auto\_ptr 的垃圾设计的影响）。据我所知，很多 C++ 项目还是手动管理内存和资源，因此我觉得有必要把我认为好的做法分享出来，让更多的人尝试并采纳。我觉得 shared\_ptr 对于编写线程安全的 C++ 程序是至关重要的，不然就得土法炼钢，自己重新发明轮子。这让我想起了 2001 年前后 STL 刚刚传入国内，大家也是很犹豫，觉得它性能不高，使用不便，还不如自己造的容器类。近十年过去了，现在 STL 已经是主流，大家也适应了迭代器、容器、算法、适配器、仿函数这些“新”名词“新”技术，开始在项目中普遍使用（至少用 vector 代替数组嘛）。我希望，几年之后人们回头看这篇文章，觉得“怎么讲的都是常识”，那我这篇文章的目的也就达到了。

.全文完 2010/Jan/22初稿 Jan 27 修订.

--------------------

《C++ 编程规范》/《C++ Coding Standards》, by Herb Sutter and Andrei Alexandrescu, 2005. 条款 13.

下载网址见封面

同 1, 条款 99.

这正是垃圾回收的原理，所有人都用不到的东西一定是垃圾。

http://www.boost.org/doc/libs/1\_41\_0/libs/smart\_ptr/shared\_ptr.htm

http://www.artima.com/cppsource/top\_cpp\_aha\_moments.html

要是我在文章的一开始就谈垃圾回收的好处，估计很多人直接就不看了。

Erlang 算非主流吧。

孟岩《快速掌握一个语言最常用的 50%》博客，这篇博客的其他文字也很有趣味：“粗粗看看语法，就撸起袖子开干，边查 Google 边学习”这种路子也有问题，在对于这种语言的脾气秉性还没有了解的情况下大刀阔斧地拼凑代码，写出来的东西肯定不入流。说穿新鞋走老路，新瓶装旧酒，那都是小问题，真正严重的是这样的程序员可以在短时间内堆积大量充满缺陷的垃圾代码。由于通常开发阶段的测试完备程度有限，这些垃圾代码往往能通过这个阶段，从而潜伏下来，在后期成为整个项目的毒瘤，反反复复让后来的维护者陷入西西弗斯困境。……其实真正写程序不怕完全不会，最怕一知半解的去攒解决方案。因为你完全不会，就自然会去认真查书学习，如果学习能力好的话，写出来的代码质量不会差。而一知半解，自己动手土法炼钢，那搞出来的基本上都是废铜烂铁。

http://blog.csdn.net/Solstice/archive/2008/10/13/3066268.aspx

http://blog.csdn.net/Solstice/archive/2008/11/22/3351751.aspx

[http_www.cppblog.com_Files_Solstice_dtor_meets_mt.pdf]: http://www.cppblog.com/Files/Solstice/dtor_meets_mt.pdf
[1 _................................................................................... 2]: http://writeblog.csdn.net/#_Toc8041
[................................................................................................. 3]: http://writeblog.csdn.net/#_Toc10159
[Mutex _ MutexLock.......................................................................................... 3]: http://writeblog.csdn.net/#_Toc8477
[Counter _............................................................................ 3]: http://writeblog.csdn.net/#_Toc15554
[2 _................................................................................................. 4]: http://writeblog.csdn.net/#_Toc22002
[3 _............................................................................................................... 5]: http://writeblog.csdn.net/#_Toc31284
[Mutex _................................................................................................. 5]: http://writeblog.csdn.net/#_Toc24937
[Mutex....................................................................................... 6]: http://writeblog.csdn.net/#_Toc1420
[4 _ Observer _.............................................................................. 6]: http://writeblog.csdn.net/#_Toc19146
[5 _............................................................................................................... 8]: http://writeblog.csdn.net/#_Toc26957
[.......................................................................................... 8]: http://writeblog.csdn.net/#_Toc31107
[.............................................................................................. 8]: http://writeblog.csdn.net/#_Toc8787
[.......................................................................................... 9]: http://writeblog.csdn.net/#_Toc1405
[.......................................................................................... 9 1]: http://writeblog.csdn.net/#_Toc17758
[6 _ shared_ptr_weak_ptr........................................................................................ 9]: http://writeblog.csdn.net/#_Toc780
[7 _........................................................................... 10]: http://writeblog.csdn.net/#_Toc26046
[8 _ Observer _.............................................................................................. 11]: http://writeblog.csdn.net/#_Toc28517
[....................................................................................................... 11]: http://writeblog.csdn.net/#_Toc28272
[9 _ shared_ptr _................................................................................. 12]: http://writeblog.csdn.net/#_Toc18876
[10 shared_ptr _......................................................................................... 13]: http://writeblog.csdn.net/#_Toc26939
[.............................................................................................................. 15]: http://writeblog.csdn.net/#_Toc1669
[enable_shared_from_this..................................................................................... 16]: http://writeblog.csdn.net/#_Toc19332
[.............................................................................................................. 17]: http://writeblog.csdn.net/#_Toc13663
[11 _........................................................................................................ 19]: http://writeblog.csdn.net/#_Toc24308
[................................................................................................ 19]: http://writeblog.csdn.net/#_Toc14261
[12 _........................................................................................................ 20]: http://writeblog.csdn.net/#_Toc19495
[................................................................................................................. 20]: http://writeblog.csdn.net/#_Toc5406
[13 _Observer _.......................................................................................... 21]: http://writeblog.csdn.net/#_Toc16383
[14 _................................................................................................................... 21]: http://writeblog.csdn.net/#_Toc9216
[view source]: http://writeblog.csdn.net/#viewSource
[print]: http://writeblog.csdn.net/#printSource
[Link 1]: http://writeblog.csdn.net/#about
[clip_image004]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image004_thumb.gif
[clip_image004_clip_image004]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image004_2.gif
[clip_image006]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image006_thumb.gif
[clip_image006_clip_image006]: /images/20220709/b3d19de18ecc43a29833d2ed5dd0d991.png
[clip_image008]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image008_thumb.gif
[clip_image008_clip_image008]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image008_2.gif
[clip_image010]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image010_thumb.gif
[clip_image010_clip_image010]: /images/20220709/15567db0ddd1459cb93cd5de3e22ab37.png
[clip_image012]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image012_thumb.gif
[clip_image012_clip_image012]: /images/20220709/538e8c4d9cb04ff789dea8bbc9d9b361.png
[clip_image014]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image014_thumb.gif
[clip_image014_clip_image014]: /images/20220709/8c2c91b9e11e4aca85efca2a74d2fd30.png
[clip_image016]: http://images.cnblogs.com/cnblogs_com/Solstice/WindowsLiveWriter/C_708F/clip_image016_thumb.gif
[clip_image016_clip_image016]: /images/20220709/0b3887ad80da41a29ab66ec1f128ce4c.png
[http_www.boost.org_doc_libs_release_libs_smart_ptr_shared_ptr.htm]: http://www.boost.org/doc/libs/release/libs/smart_ptr/shared_ptr.htm