# 共享资源的智能指针——shared_ptr
shared_ptr被用来表示共享的拥有权。也就是说,当两段代码都需要访问一些数据,而它们又都没有独占该数据的所有权(从某种意义上来说就是该段代码负责销毁该对象)。这是我们就需要shared_ptr。shared_ptr是一种计数指针。当引用计数变为0时,shared_ptr所指向的对象就会被删除。下面我们用一段代码来说明这点。
```
void test()
{
shared_ptr p1(new int); // 计数是1
{
shared_ptr p2(p1); //计数是2
{
shared_ptr p3(p1); // 计数是3
} //计数变为2
} //计数变为1
} // 在此,计数变为0。同时int对象被删除
```
现在来看一个更为实际的例子。在这个例子中,我们用指针指向图中的节点。一个需要解决的问题是当从一个节点上移除一个指针时并不知道时候还有其它指针指向这个节点。如果节点能够拥有一些资源,从而需要析构器采取一些行动(一个典型的例子就是文件句柄。当节点被检测到时,文件句柄相应的文件就会被关闭)。这样以来,通过shared_ptr就可以解决这个问题。你可以认为使用shared_ptr的目的和你使用垃圾回收器的目的是一样的。只是出处于经济性的考虑,你没有足够的垃圾,或者执行环境不允许那么做,或者所管理的资源不仅仅是内存(如文件句柄)。例如:
```
struct Node { // 注意:其它的节点也可能指向该节点
shared_ptr left;
shared_ptr right;
File_handle f;
// …
};
```
这里Node的析构器(隐式的析构器即可)删除了它的子节点。也就是说Node的析构器调用了left和right的析构器。因为left是一个shared_ptr,所以当left是最后一个指向该Node的指针时,该节点将会被删除。处理right的方式和left的类似。f的析构器将按照f的要求执行。
需要注意的是,当仅需要将一个指针从一个拥有者传个另一个时,你不应使用shared_ptr。这是unique_ptr的用途。unique_ptr会以更为小的开销来更好的实现这个功能。如果你曾经使用计数指针作为工厂函数的返回值或者类似的情形,可以考虑升级使用unique_ptr而不是shared_ptr。
另外,不要不加思考地把指针替换为shared_ptr来防止内存泄露。shared_ptr并不是万能的,而且使用它们的话也是需要一定的开销的:
* 环状的链式结构shared_ptr将会导致内存泄露(你需要一些逻辑上的复杂化来打破这个环。比如使用weak_ptr)。
* 共享拥有权的对象一般比限定作用域的对象生存更久。从而将导致更高的平均资源使用时间。
* 在多线程环境中使用共享指针的代价非常大。这是因为你需要避免关于引用计数的数据竞争。
* 共享对象的析构器不会在预期的时间执行。
* 与非共享对象相比,在更新任何共享对象时,更容易犯算法或者逻辑上的错误。
shared_ptr用于表示共享拥有权。然而共享拥有权并不是我的初衷。在我看来,一个更好的办法是为对象指明拥有者并且为对象定义一个可以预测的生存范围。
同时可参考:
* the C++ draft: Shared_ptr (20.7.13.3)
(翻译:Yibo Zhu)
- C++11 FAQ中文版 - C++11 FAQ
- Stroustrup先生关于中文版的授权许可邮件
- Stroustrup先生关于C++11 FAQ的一些说明
- 关于C++11的一般性的问题
- 您是如何看待C++11的?
- 什么时候C++0x会成为一部正式的标准呢?
- 编译器何时将会实现C++11标准呢?
- 我们何时可以用到新的标准库文件?
- C++0x将提供何种新的语言特性呢?
- C++11会提供哪些新的标准库文件呢?
- C++0x努力要达到的目标有哪些?
- 指导标准委员会的具体设计目标是什么?
- 在哪里可以找到标准委员会的报告?
- 从哪里可以获得有关C++11的学术性和技术性的参考资料?
- 还有哪些地方我可以读到关于 C++0x的资料?
- 有关于C++11的视频吗?
- C++0x难学吗?
- 标准委员会是如何运行的?
- 谁在标准委员会里?
- 实现者应以什么顺序提供C++11特性?
- 将会是C++1x吗?
- 标准中的"concepts"怎么了?
- 有你不喜欢的C++特性吗?
- 关于独立的语言特性的问题
- __cplusplus宏
- alignment(对齐方式)
- 属性(Attributes)
- atomic_operations
- auto – 从初始化中推断数据类型
- C99功能特性
- 枚举类——具有类域和强类型的枚举
- carries_dependency
- 复制和重新抛出异常
- 常量表达式(constexpr)
- decltype – 推断表达式的数据类型
- 控制默认函数——默认或者禁用
- 控制默认函数——移动(move)或者复制(copy)
- 委托构造函数(Delegating constructors)
- 并发性动态初始化和析构
- noexcept – 阻止异常的传播与扩散
- 显式转换操作符
- 扩展整型
- 外部模板声明
- 序列for循环语句
- 返回值类型后置语法
- 类成员的内部初始化
- 继承的构造函数
- 初始化列表
- 内联命名空间
- Lambda表达式
- 用作模板参数的局部类型
- long long(长长整数类型)
- 内存模型
- 预防窄转换
- nullptr——空指针标识
- 对重载(override)的控制: override
- 对重载(override)的控制:final
- POD
- 原生字符串标识
- 右角括号
- 右值引用
- Simple SFINAE rule
- 静态(编译期)断言 — static_assert
- 模板别名(正式的名称为"template typedef")
- 线程本地化存储 (thread_local)
- unicode字符
- 统一初始化的语法和语义
- (广义的)联合体
- 用户定义数据标识(User-defined literals)
- 可变参数模板(Variadic Templates)
- 关于标准库的问题
- abandoning_a_process
- 算法方面的改进
- array
- async()
- atomic_operations
- 条件变量(Condition variables)
- 标准库中容器方面的改进
- std::function 和 std::bind
- std::forward_list
- std::future和std::promise
- 垃圾回收(应用程序二进制接口)
- 无序容器(unordered containers)
- 锁(locks)
- metaprogramming(元编程)and type traits
- 互斥
- 随机数的产生
- 正则表达式(regular expressions)
- 具有作用域的内存分配器
- 共享资源的智能指针——shared_ptr
- smart pointers
- 线程(thread)
- 时间工具程序
- 标准库中的元组(std::tuple)
- unique_ptr
- weak_ptr
- system error