1. 标准库智能指针类型 shared_ptr 和 unique_ptr
shared_ptr | unique_ptr | |
---|---|---|
管理所保存的指针的策略 | 共享指针所有权 | 独占指针 |
用户重载默认删除器的方式 | 在运行时绑定删除器,使用户重载删除器更为方便 | 编译时绑定删除器,避免了间接调用删除器的运行时开销 |
1.2 shared_ptr 重载删除器
- 在创建或 reset 指针时传递给它一个可调用对象。
- 在一个 shared_ptr 的生存期中, 我们可以随时改变其删除器的类型。
1.2.1 类成员的类型在运行时是不能改变的。因此,不能直接保存删除器。
假定 shared_ptr 将它管理的指针保存在一个成员 p 中, 且删除器是通过一个名为 del 的成员来访问的。 则 shared_ptr 的析构函数必须包含类似下面这样的语句:
// del 的值只有在运行时才知道; 通过一个指针来调用它
del ? del (p ) : delete p; // del (p> 需要运行时跳转到 del 的地址
由于删除器是间接保存的,调用 del § 需要一次运行时的跳转操作, 转到 del 中保存的地址来执行对应的代码。
1.3 unique_ ptr删除器
删除器的类型是一个unique_ ptr对象的类型的一部分。删除器成员的类型在编译时是知道的, 从而删除器可以直接保存在 unique_ptr 对象中
用户必须在定义unique_ ptr时以显式模板实参的形式提供删除器的类型,有两个模板参数:
- 管理的指针
- 删除器的类型
unique_ ptr的析构函数与shared_ ptr 的析构函数类似,也是对其保存的指针调用用户提供的删除器或执行delete:
//del在编译时绑定;直接调用实例化的删除器
del(p); //无运行时额外开销
del的类型或者是默认删除器类型,或者是用户提供的类型。到底是哪种情况没有关系,应该执行的代码在编译时肯定会知道。实际上,如果删除器是类似DebugDelete (参见16.1.4节,第595页)之类的东西,这个调用甚至可能被编译为内联形式。