在右值引用上调用 std::move 会发生什么？

Question

考虑以下 c++ 程序：

string construct(string&& s) {
    // Passing a r-value reference as an argument to the assignment operator
    string constructed = s;
    return constructed;
}

int main() {
    string original = "Hello";
    string temp1 = construct(std::move(original));

    printf("%s\n", original.c_str()); // Prints "Hello", so original has not changed
    return 0;
}

现在我执行的一个小更改是在 r 值引用参数上调用 std::move：

string constructWithMove(string&& s) {
    // Passing a cast to an r-value reference using r-value reference as an argument.
    string constructed = std::move(s);
    return constructed;
}

int main() {
    string original = "Hello";
    string temp = constructWithMove(std::move(original));

    printf("%s\n", original.c_str()); // Prints "", original is set to the empty string, WHY???
    return 0;
} 

所以看起来将 r 值引用转换为 r 值引用会引发一些特殊情况。 为什么在第一种情况下原始字符串保留了它的值而在第二种情况下没有？

Answer 1

在右值引用上调用 std::move 会发生什么？

std::move 将参数转换为右值引用，然后返回。

std::move(r_value_reference_argument) 未定义

没有。

---

// Prints "", original is set to the empty string, WHY???

这里发生了什么？

因为std::move 的结果是一个 r 值（更具体的 x 值）。并被传递给std::string 的构造函数，它调用移动构造函数。您正在观察一个被移动的字符串。

请注意，这种移动会使原始字符串处于未指定状态。它不能保证是空的，甚至与它以前包含的内容也不相同。也不保证不为空。

---

好的，但是为什么在第一种情况下原始字符串不为空？

因为s 是一个左值¹，因此使用了复制构造函数。复制构造函数不修改原始字符串。

¹ 简单的经验法则：如果它是一个名称，那么它就是一个左值。

Answer 2

string constructed = s;

这不会导致移动，因为s 不是右值。它是一个右值引用，但不是一个右值。如果它有名称，则它不是右值。 Even if the variable's type is rvalue reference, the expression consisting of its name is an lvalue expression.

string constructed = std::move(s);

这会导致移动，因为std::move(s) 是一个右值：它是一个临时的并且它的类型不是左值引用。

程序中没有其他动作（std::move 不是动作，而是演员表）。

Answer 3

// Prints "", original is set to the empty string, WHY???

因为你移动了它。