移动构造函数和 'std::array'

Move constructors and `std::array`

本文关键字：array 构造函数 std 移动      更新时间：2023-10-16

根据 N3485 §23.3.2.2：

(...( 数组的隐式移动构造函数和移动赋值运算符分别要求 T 为 MoveConstructible 或 MoveAssignable。

因此，如果元素的类型支持移动语义，std::array支持移动语义。伟大！

然而，这到底意味着什么？我倾向于将这种类型描述为提供符合 STL 的接口的数组的更安全版本，但如果这是真的，那么std::array如何移动构造其元素？我可以对普通数组执行相同的操作吗？

然而，这到底意味着什么？

这意味着，如果元素类型是可移动的

，那么数组类型也是可移动的。

std::array<movable, 42> move_from = {...};
std::array<movable, 42> move_to = std::move(move_from); // moves all the elements

我倾向于将这种类型想象为提供符合 STL 的接口的更安全的阵列版本

没有。它是数组的包装器，赋予它与聚合类相同的语义 - 包括复制和移动它的能力。

一个std::array如何移动构建它的元素？

与任何其他聚合完全相同。它的隐式移动构造函数将移动构造其所有成员，包括任何成员数组的元素。

我可以对普通数组执行相同的操作吗？

仅当您像std::array那样将其包装在类类型中时。

移动std::array不同于移动std::vector。当将一个std::vector移动到另一个时，(有时*(可以简单地重新定位内部指针并完全避免操作元素。

使用 std::array ，这当然是不可能的 - 它的元素具有自动存储持续时间，它们实际上包含在对象中。但是，它们中的每一个仍然可以移动，这就是std::array上的移动操作的作用**。

* 假设分配器兼容并且不禁止此操作

** 当缓冲区不能仅由目标向量重新拥有时，这也是您在std::vector得到的。

(非联合(类的默认移动构造函数执行成员级移动。移动原始数组数据成员意味着移动数组的每个元素，请参阅 [class.copy]/15。

因此，您可以通过将原始数组放入类中来移动它：

struct wrap
{
    std::string arr[25];
};
auto w = wrap();
auto m = std::move(w); // moves the 25 `std::string`s

您还可以手动调用元素的移动构造函数，例如：

std::string a[3] = { /*...*/ };
std::string b[3] = {std::move(a[0]), std::move(a[1]), std::move(a[2])};

如果std::array包含原始数组，则未指定。但是，它确实包含value_type的数据成员，因为它保证是一个聚合。调用 move 构造函数时，将如上所述移动这些数据成员。

如果std::array的数据成员不是 MoveConstructible，则实例化其移动构造函数将失败。

您可以使用

"放置new"来做到这一点。 您会发现很多关于安置的问题 新 已经回答了许多更多详细信息。

这个看起来有一个完整的示例：

  • 为什么这段代码试图调用复制构造函数？
相关文章：