std::unique_ptr 模板有两个参数：指针类型和删除器类型。第二个参数有一个默认值，所以你通常只写std::unique_ptr<int>之类的东西。
std::shared_ptr 模板只有一个参数：指针的类型。但是您也可以使用自定义删除器，即使删除器类型不在类模板中。通常的实现使用类型擦除技术来做到这一点。
std::unique_ptr 没有使用相同的想法是否有原因？
【问题讨论】：
标签： c++ smart-pointers type-erasure
部分原因是shared_ptr 无论如何都需要一个显式控制块来控制引用计数，并且在顶部插入一个删除器并不是什么大问题。 unique_ptr 但是不需要任何额外的开销，添加它是不受欢迎的——它应该是一个零开销的类。 unique_ptr 应该是静态的。
如果您想要这种行为，您可以随时在顶部添加自己的类型擦除 - 例如，您可以使用 unique_ptr<T, std::function<void(T*)>>，这是我过去做过的事情。
【讨论】：
unique_ptr 是一个比shared_ptr 更简单、更轻量级的智能指针。
unique_ptr 应该是静态的”部分。这是什么意思——特别是“静态”的用法？
unique_ptr 将扩展为包含删除器的值。我想这可能很复杂，并且可能需要对类进行不同的设计。
除了 DeadMG 指出的原因之外，另一个原因是可以编写
std::unique_ptr<int[]> a(new int[100]);
和~unique_ptr 将调用delete 的正确 版本（通过default_delete<_Tp[]>），这要归功于T 和T[] 的专门化。
【讨论】：
T[]。
unique_ptr 中，而不是删除器。请注意，您可以插入foo_delete，它也可以做一些完全不同的事情。例如，拥有一个手动运行析构函数然后标记对象以供 GC 稍后回收的删除器将是一件有趣的事情。智能指针根本不需要知道。
T[] 时，您可以使用相同类型的擦除技巧，不是吗？
shared_ptr 的同一行代码编译失败，这表明shared_ptr 显然没有 专门化。假设标准库编写者不随机包含/排除很容易在你今天感觉如何的基础上合并的关键功能，似乎必须有一个相当大的、非- 某处明显的障碍。
T[] 专业化根本不是关键功能。我什至不知道为什么它在unique_ptr。为此，我们已经有std::vector<T>。
来自 C++ Primer（第 5 版），第 16.1.6 章 - 效率和灵活性
shared_ptr 和 unique_ptr 的明显区别在于它们的策略 用于管理他们持有的指针——一个类给我们共享所有权； 另一个拥有它持有的指针。这种差异对于 这些类的作用。
这些类在允许用户覆盖其默认值的方式上也有所不同 删除器。我们可以通过传递一个来轻松地覆盖 shared_ptr 的删除器 创建或重置指针时的可调用对象。相比之下，类型 删除器是 unique_ptr 对象类型的一部分。用户必须提供 当他们定义 unique_ptr 时，该类型作为显式模板参数。作为 因此，unique_ptr 的用户提供自己的 删除器。
通过在编译时绑定删除器，unique_ptr 避免了运行时开销 间接调用它的删除器。通过在运行时绑定删除器， shared_ptr 让用户更容易覆盖删除器。
【讨论】：