RAII是否支持资源所有权转移？

RAII 是否支持资源所有权转移？

可以，是的。

但是，似乎资源所有权转移也会导致打破似乎定义 RAII 的那两个属性。

有点取决于人们如何定义 RAII 的细节。

解决方案是扩展问题中显示的 RAII 的定义，以允许表示空状态。如果存在空状态的表示，则可以通过将源 RAII 对象保留在这种空状态来移动资源的所有权。

构建和销毁问题中给出的定义对此进行调整是微不足道的：

1. 构造要么获取资源，要么初始化为空状态。从技术上讲，这不是必需的，但如果允许空状态，则允许默认构造很方便。


2. 析构函数释放资源当且仅当它拥有任何资源。


3. 如前一段所述的移动的附加定义。

标准库中的大多数 RAII 类都有空状态的表示，并且那些支持传输它们的资源。此类 RAII 类及其空状态的典型示例：

• 任何动态容器 - 不包含任何元素（并且有空容量）的容器


• 任何智能指针 - 空值


• std::fstream - 与文件无关的流


• std::thread - 与线程无关的包装器

标准库也有 RAII 类，它们没有空状态的表示，因此不能支持资源的传输。这种类的一个例子是std::lock_guard.

我希望有人也可以提供一个历史的观点

我所拥有的定义的最古老来源是 Stroustrup 的书“C++ 编程语言第 3 版”。根据维基百科的估计，RAII 是在 1984-89 年左右开发的，所以到这本书出版时，它已经是一个 8-13 岁的想法。以下是最相关的部分，希望不会太多侵犯版权：

14.4.1 使用构造函数和析构函数

使用本地对象管理资源的技术通常被称为“资源获取即初始化”。这是一种通用技术，它依赖于构造函数和析构函数的属性以及它们与异常处理的交互。

...

构造函数试图确保其对象被完整且正确地构造。当无法实现时，编写良好的构造函数会尽可能地将系统状态恢复到创建之前的状态。

14.4.2 Auto_ptr

... auto_ptr，支持“资源获取即初始化”技术。

鉴于它std::auto_ptr不一定拥有资源，因此它的析构函数在这种情况下不会释放资源，它可以将资源转移到另一个实例，而创造 RAII 的作者认为std::auto_ptr“支持 RAII”，我有信心说与问题中描述的属性相冲突并不取消 RAII 的资格。

_{请注意，std::auto_ptr 已被 C++11 中移动语义的引入所淘汰，此后已从语言中删除。}

E.3.5.3 延迟资源获取

...每当类的语义不要求延迟资源获取时，就应该在构造函数中获取资源。

我没有发现关于 RAII 如何与转移资源所有权的能力相关的明确描述。我怀疑在为具有移动语义的语言编写的后续版本中可能会更多地讨论它。