在 RAII 中，持有资源是类不变量意味着什么？

Question

在 RAII 中，持有资源是类不变量是什么意思？

在RAII's Wikipedia page 上确实声明：

在 RAII 中，持有资源是类不变量，并且与对象生命周期相关联：资源分配（获取）在对象创建（特别是初始化）期间由构造函数完成，而资源释放（释放）在对象期间完成由析构函数销毁（特别是最终化）。

以D language 为例，我们可以很容易地理解Class Invariant 的含义：

class Date {
  int day;
  int hour;

  invariant() {
    assert(1 <= day && day <= 31);
    assert(0 <= hour && hour < 24);
  }
}

它是一个约束，指的是类字段可以保持什么才能被视为有效状态。然而，持有资源意味着什么？是不是意味着资源是我的，从constructor的constructor一直到destructor的销毁都是我的？

Answer 1

这是否意味着资源是我的，并且从构造函数的构造到被解构函数销毁为止都是我的

在正确设计的程序中就是这种情况，但所有权的概念在 C++ 中并未强制执行。

很容易“射中自己的脚”并将资源提供给其他对象。例如，当资源是指针时，您可能会不小心在对象之间共享它，如下所示：

struct A
{
    int some_variable;
};

struct A_holder
{
    A* ptr;
    A_holder()
    {
        ptr = new A();
    }
    ~A_holder()
    {
        delete ptr;
    }
};

int main()
{

    {
        A_holder a_holder;
        auto another_A_holder = a_holder;
    }
   //error because delete is called twice:
   //first on A_holder's pointer and a second time on another_A_holder's pointer
    return 0;
}

零规则见https://rmf.io/cxx11/rule-of-zero