如何将 std::vector 用于带句柄的类

Question

我已经定义了以下类，女巫创建并释放一个不透明的对象（例如操作系统句柄）

class A
{
public:

    A(...)
    {
        allocateHandle(&h);
    }

    ~A()
    {
        freeHandle(h);
    }

    SomeHandle h;
}

在创建和调整 A 的 std::vector 大小时，程序崩溃。

std::vector<A> vec;
vec.reserve(2);

vec.emplace_back(...);
vec.emplace_back(...);
vec.emplace_back(...); //crash

当 std::vector 重新分配内存时，它会调用所有对象的移动构造函数，从而也移动 A 中的句柄（基本上是一个整数）。

但是，它也调用了旧对象的析构函数，调用freeHandle()，因此它释放了句柄后面的内存，新对象仍然拥有，这变得无效并导致崩溃。

我应该如何实现move-constructor，这样新创建的对象在删除旧对象时不会变得无效？

Answer 1

您需要为您的对象添加一些“没有有效的句柄持有”状态。如果您的 SomeHandle 已经有一个“无效句柄”值（通常使用 0），您可以使用它：

class A
{
public:

    A(...)
    {
        allocateHandle(&h);
    }

    A(A &&src) : h(src.h)
    {
        src.h = INVALID;
    }

    A& operator= (A &&rhs)
    {
      if (this == &rhs) return *this;
      if (h != INVALID) freeHandle(h);
      h = rhs.h;
      rhs.h = INVALID;
      return *this;
    }

    ~A()
    {
        if (h != INVALID)
          freeHandle(h);
    }

    SomeHandle h;
}

如果没有“无效句柄”值，可以将h的类型改为std::optional<SomeHandle>，并使用std::nullopt作为无效值。