C++ move()：向量中还剩下什么？

Question

我有一段代码，在vector 中，元素是成对的int 和string。然后我想将所有元素从vector 移动到unordered_map<int, string>：

#include <algorithm>
#include <iostream>
#include <iterator>
#include <unordered_map>
#include <vector>
using namespace std;

template <typename C>
void print(const C& container) {
    for (const auto& ele : container) {
        cout << "(" << ele.first << ", " << ele.second << "), ";
    }
    cout << endl;
}

int main() {
    vector<pair<int, string>> v {
        {1, "one"},
        {2, "two"},
        {3, "three"},
        {4, "four"},
        {5, "five"}
    };
    unordered_map<int, string> uMap;

    move(begin(v), end(v), inserter(uMap, begin(uMap)));

    cout << "In unordered_map:" << endl;
    print(uMap);
    cout << endl << "In vector:" << endl;
    print(v);

    return 0;
}

我不明白的是结果：

In unordered_map:
(5, five), (4, four), (3, three), (2, two), (1, one), 
In vector:
(1, ), (2, ), (3, ), (4, ), (5, ),

为什么那些整数留在vector 中？我以为move() 函数会将所有元素从vector 移动到unordered_map，这样vector 中就不会留下任何东西？

Answer 1

来自cppreference：

将范围 [first, last) 中的元素移动到从 d_first 开始的另一个范围，从 first 开始一直到 last - 1。在此操作之后，移动范围中的元素仍将包含有效值适当的类型，但不一定与移动前的值相同。

因为算法在迭代器上工作，所以它实际上无法从向量中删除元素。它们仍然存在，并且可以具有与以前相同的值（但不一定）。

而且字符串仍然存在于向量中。从std::string 移动后，它处于有效但未指定的状态。在这种情况下，字符串为空。

Answer 2

这里的“移动”并不是真正的意思。

是的，这令人困惑。

地图中的新元素将由向量中的元素移动构造。这可能涉及从向量中的元素窃取资源（特别是，动态分配的字符串数据现在将属于新元素，并与旧元素分离）。

但这实际上并没有删除原始元素。他们还在那里，处于搬离状态。您需要自己 clear() 向量。

致quote Eljay：

std::move 在某些方面是一个不幸的术语。但它比std::suck_out_the_guts_and_transplant_them_into_another_object_maybe短得多。

Answer 3

通俗地说，对移出对象的唯一要求是它可以在以后安全地销毁。对于int，最好的办法就是什么都不做。移动不会破坏对象，也不会将其从容器中移除。对象仍在向量中，只是它们现在处于移动状态，对于int，恰好和以前一样。

Answer 4

std::move 实际上并没有移动任何东西。它只是对右值进行强制转换，并告诉编译器您不再关心该对象会发生什么。在 int 的情况下，编译器决定将其复制为最有效的方式。

您可以在此处阅读有关 c++ 移动语义的更多信息：C++ move semantics