Question

如果我在当前范围内的堆栈对象上使用 std :: move ，则内容将移至目标，而源将保持空白。

#include <iostream>
#include <string>
#include <utility>
#include <vector>

int main()
{
    std::string str("stackoverflow");

    std::vector<std::string> vec;
    vec.emplace_back(std::move(str));
    std::cout << "vec[0]: " << vec[0] << std::endl;

    std::cout << "str: " << str << std::endl;
}

结果：

vec[0]: stackoverflow
str:

如果我将 std :: move 用于右值或const左值函数参数，则会复制内容。

#include <iostream>
#include <memory>
#include <vector>
#include <utility>

void process_copy(std::vector<int> const & vec_)
{
    std::vector<int> vec(vec_);
    vec.push_back(22);
    std::cout << "In process_copy (const &): " << std::endl;
    for(int & i : vec)
        std::cout << i << ' ';
    std::cout << std::endl;
}

void process_copy(std::vector<int> && vec_)
{
    std::vector<int> vec(vec_);
    vec.push_back(99);
    std::cout << "In process_copy (&&): " << std::endl;
    for(int & i : vec)
        std::cout << i << ' ';
    std::cout << std::endl;
}

int main()
{
    std::vector<int> v = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
    process_copy(std::move(v));

    std::cout << "In main: " << std::endl;
    for(int & i : v)
        std::cout << i << ' ';
    std::cout << std::endl;
    std::cout << "size: " << v.size() << std::endl;
}

结果：

In process_copy (&&): 
0 1 2 3 4 5 6 7 8 9 99 
In main: 
0 1 2 3 4 5 6 7 8 9 
size: 10

为什么std :: move的行为不同？

Answer 1

如果该值已绑定到变量，则即使您将其声明为右值引用（scss），也需要使用postcss。即应该是：

std::move

Answer 2

您的向量实际上是被复制的，而不是被移动的。这样做的原因是，尽管vec_被声明为右值引用，但它表示函数体内的左值表达式。因此，将调用std::vector的副本构造函数，而不是move构造函数。原因是vec_现在是一个命名值，并且rvalues不能具有名称，因此它会折叠为lvalue。由于以下原因，以下代码将无法编译：

void foo(int&& i)
{
    int&& x = i;
}

为了解决此问题，您必须通过致电vec_使std::move(vec_) 无名。

为什么std :: move复制右值或const左值函数参数的内容？

2 个答案: