unique_ptr 自定义存储类型示例？

Question

Howard Hinnant explained unique_ptr 也可以使用自定义存储类型。他以“共享内存”为例。

他只给出了粗略的想法（这对于快速介绍来说很好）。但是任何人都可以完成他的 “自定义存储类型” 示例（无论是否共享内存）？

为了支持将unique_ptr 放入共享内存，自定义删除器可以包含自定义指针类型（在共享内存应用程序中通常不是真正的指针）。只需放置一个名为 pointer 的 嵌套类型，它在您的删除器中模拟指针行为，可公开访问：

template <class T>
class MyDeleter
{
public:
    class pointer
    {
     public:
        friend bool operator==(pointer x, pointer y);
        friend bool operator!=(pointer x, pointer y);
        // ...
    };

    void operator()(pointer p);
};

void test()
{
    unique_ptr<int, MyDeleter<int> > p;
    MyDeleter<int>::pointer p2 = p.get();  // A custom pointer type used for storage
}

我怀疑// ... 必须扩展，test() 可能会在真正的“自定义存储类型”示例中做一些额外的事情。

谁能告诉我他/她在哪里

• 实际上已经使用过此自定义，
• 在那个上下文中，
• 哪个自定义代码，（可能在//...）
• 以及客户端代码如何使用它？ （test() 可能）

Answer 1

您可能对boost::offset_ptr 感兴趣，它是unique_ptr 中此自定义点的激励用例。 offset_ptr 是一种完全开发的指针类型，可以使用简单的 typedef 安装到自定义删除器中。它的用例是将unique_ptr 放入共享内存中。

Answer 2

20.7.1.2/3 告诉我们

unique_ptr::pointer 类型应满足 NullablePointer (17.6.3.3) 的要求。

根据 17.6.3.3，给定类型 P，这些要求是：

• P 是 EqualityComparable、DefaultConstructible、CopyConstructible、 CopyAssignable 和 Destructible
• P 的左值可交换
• 对P类型的对象进行值初始化会产生该类型的空值，空值应仅与自身等价
• P 类型的对象可以上下文转换为bool
• P 类型的对象可以用nullptr 进行初始化和分配，这会产生空值
• P 类型的对象与nullptr 比较可以相等，当且仅当对象具有空值时比较为真
• 所有必需的操作都不会抛出（但不需要显式的noexcept 或throw()）

请特别注意，operator* 和 operator-> 实际上并不是必需的。另请注意，内置数字类型满足除nullptr 初始化/赋值之外的所有要求。

例如，以下类型应满足所有要求：

class handle {
    int id;
  public:
    // default and nullptr constructors folded together
    handle(std::nullptr_t = nullptr) : id(0) { }

    explicit operator bool() { return l.id != 0; }

    friend bool operator ==(handle l, handle r) { return l.id == r.id; }
    friend bool operator !=(handle l, handle r) { return !(l == r); }

    // default copy ctor and operator= are fine

    // explicit nullptr assignment and comparison unneeded
    // because of implicit nullptr constructor

    // swappable requirement fulfilled by std::swap
}