1.9 再论shared_ptr 的线程安全
虽然我们借shared_ptr 来实现线程安全的对象释放，但是shared_ptr 本身不是100% 线程安全的。它的引用计数本身是安全且无锁的，但对象的读写则不是，因为shared_ptr 有两个数据成员，读写操作不能原子化。根据文档11，shared_ptr 的线程安全级别和内建类型、标准库容器、std::string 一样，即：
一个shared_ptr 对象实体可被多个线程同时读取；
两个shared_ptr 对象实体可以被两个线程同时写入，“析构”算写操作；
如果要从多个线程读写同一个shared_ptr 对象，那么需要加锁。
请注意，以上是shared_ptr 对象本身的线程安全级别，不是它管理的对象的线程安全级别。
要在多个线程中同时访问同一个shared_ptr，正确的做法是用mutex 保护：
- MutexLock mutex; // No need for ReaderWriterLock
- shared_ptr<Foo> globalPtr;
- // 我们的任务是把globalPtr 安全地传给doit()
- void doit(const shared_ptr<Foo>& pFoo);
globalPtr 能被多个线程看到，那么它的读写需要加锁。注意我们不必用读写锁，而只用最简单的互斥锁，这是为了性能考虑。因为临界区非常小，用互斥锁也不会阻塞并发读。
为了拷贝globalPtr，需要在读取它的时候加锁，即：
- void read()
- {
- shared_ptr<Foo> localPtr;
- {
- MutexLockGuard lock(mutex);
- localPtr = globalPtr; // read globalPtr
- }
- // use localPtr since here，读写localPtr 也无须加锁
- doit(localPtr);
- }
写入的时候也要加锁：
- void write()
- {
- shared_ptr<Foo> newPtr(new Foo); // 注意，对象的创建在临界区之外
- {
- MutexLockGuard lock(mutex);
- globalPtr = newPtr; // write to globalPtr
- }
- // use newPtr since here，读写newPtr 无须加锁
- doit(newPtr);
- }
注意到上面的read() 和write() 在临界区之外都没有再访问globalPtr，而是用了一个指向同一Foo 对象的栈上shared_ptr local copy。下面会谈到，只要有这样的local copy 存在，shared_ptr 作为函数参数传递时不必复制，用reference to const 作为参数类型即可。另外注意到上面的new Foo 是在临界区之外执行的，这种写法通常比在临界区内写globalPtr.reset(new Foo) 要好，因为缩短了临界区长度。如果要销毁对象，我们固然可以在临界区内执行globalPtr.reset()，但是这样往往会让对象析构发生在临界区以内，增加了临界区的长度。一种改进办法是像上面一样定义一个localPtr，用它在临界区内与globalPtr 交换（swap()），这样能保证把对象的销毁推迟到临界区之外。练习：在write() 函数中，globalPtr = newPtr; 这一句有可能会在临界区内销毁原来globalPtr 指向的Foo 对象，设法将销毁行为移出临界区。