1. 标准库智能指针类型 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页)之类的东西，这个调用甚至可能被编译为内联形式。