std::move 的类型是什么？

Question

此代码按预期工作（在线此处）。 最后，v 为空，w 也不为空，因为它窃取了 v 的内容。

    vector<int> v;
    v.push_back(1);
    cout << "v.size(): " << v.size() << endl;
    auto vp = move(v);
    vector<int> w(vp);
    cout << "w.size(): " << w.size() << endl;
    cout << "v.size(): " << v.size() << endl;

但是，如果我将 auto vp=move(v) 替换为

    vector<int> && vp = move (v);

那么它就不会移动。相反，它会复制并且两个向量最后都非空。如此处所示。

澄清：更具体地说，vp 的自动派生类型是什么？如果它不是vector； &&，那还能是什么呢？尽管这两个示例如此相似，但为什么会给出不同的结果？

额外：我也尝试过，它仍然是复制而不是移动

    std :: remove_reference< vector<int> > :: type && vp = move(v);

Answer 1

编辑OP的澄清：move(v)的auto派生类型是vector。请参阅 C++11“自动”语义。

第一个示例执行此操作：

move 'v' into 'vp'
copy 'vp' into 'w'

第二个示例执行此操作：

set 'vp' as rvalue-reference of 'v'
copy 'vp' (which is 'v') into 'w'

---

std:move 所做的只是将类型转换为右值（请参阅 什么是 std::move()，何时应该使用它？）。因此，

vector<int>&& vp = move(v);

它只是将右值引用 vp 设置为 v 而没有执行任何其他操作。此外，右值引用是左值（它有一个名称），因此

vector<int> w(vp);

将调用复制构造函数将 vp （即 v）复制到 w< /代码>。

您将 vp 设置为右值，它将调用移动构造函数（示例）：

vector<int> w(move(vp))

如果 可能想读一下：C++ Rvalue References解释了。

Answer 2

在第一种情况下：

auto vp = move(v);

相当于：

vector<int> vp = move(v);

这会调用移动构造函数，因为 move(v) 的类型为 vector&&，因此 vp 最终窃取了 v 的内容。

在第二种情况下：

vector<int>&& vp = move(v);

仅使 vp 成为对 v 的右值引用。这不会导致移动构造函数或复制构造函数被调用，并且不会窃取任何内容。

Answer 3

auto vp = move(v);

正在创建一个新的 vector 并调用它的移动构造函数：

vector(const vector<T>&& other);

这将窃取 v 的内容。

因此，“vp”的类型只是 vector .. 不涉及任何引用：

vector<int> vp;

它是“移动”内部结构 .. 而不是实际的向量本身。

因此 &vp 将与 &v 不同。但内容会移动。