了解 std::array 的移动语义

Question

我正在尝试理解移动语义，所以我做了以下测试：

#include <iostream>
#include <array>

using namespace std;

void tryToMove(array<double,3> && v) {
    array<double,3> v_ = std::move(v);
    std::cout << v_[0] << "  " << v_[1] << "  " << v_[2] <<'\n';
}

int main () {
    array<double,3> v{1,2,3};

    tryToMove(std::move(v));
    std::cout << v[0] << "  " << v[1] << "  " << v[2] <<'\n';
}

我预计主的 std::cout 中会出现分段错误，因为 v_ 应该移动到 tryToMove 中。但是，输出是：

1 2 3
1 2 3

这里到底发生了什么？

谢谢！

Answer 1

我期待一个分割错误

首先，获得段错误的大多数方法都是由于未定义的行为，在这种情况下任何事情都可能发生，您可能不应该期待任何事情具体的。

因为v_应该被移动

std::array 包含直接嵌入其中的元素（不在堆上，由指针引用，就像 std::vector 一样），因此您不能将其内容移动到任何地方。他们将永远在里面。

所以你所做的只是从旧数组初始化一个新数组，你没有移动任何东西。新数组的元素将由右值双精度数初始化，但这也不会移动任何东西，因为您不能“移动”双精度数（它也没有外部分配的数据要传输）。所以它只是每个元素的副本。

Answer 2

问题在于，您预计会出现分段错误，只是因为您访问了不再属于您的内存。

未定义的行为意味着任何事情都可能发生。

在这种情况下，v 的状态是未指定的，因此您对它的三个元素的访问可能有效，也可能无效。当它们有效时（它们可能是因为在这种情况下可能会复制基础数据）你很好；当它们无效时，您不能简单地假设结果将是分段错误。操作系统要引发分段错误，必须具备一些条件：这不是检测错误的灵丹妙药。