为什么 std::move( arg ) 改变 arg 参数？

Question

有代码

string one = "one";
string two{ one };
string three{ move(one)};
cout << one  << endl;

这会打印“”。这是因为调用了字符串 3 的移动构造函数并窃取了它的参数值。但是，变量一是怎么修改的呢？

当我们通过move(one) 时返回右值。并且移动构造函数从那个右值窃取资源，变量一没有作为引用或指针传递在那里。那么这种行为是怎么发生的呢？

感谢回答

Answer 1

std::move() 实际上并没有改变它的论点

...但它确实让代码采用它的输出“蚕食”了参数。因此，您的three 字符串会占用one 的缓冲区，使其为空。

您也可以在网站上阅读this detailed explanation 关于std::move()（回答问题"what is std::move() and when should it be used"）。

Answer 2

在标题中，你问：

为什么std::move( arg ) 改变arg 参数？

std::move(arg) 不会改变arg 的内容。它只是将arg 转换为右值引用。

用

调用std::string的构造函数

string three{ move(one)};

更改one 的内容，因为它调用了“move”构造函数。

这是期望的行为。您要求编译器将数据从one“移动”到three。目的是蚕食one 的内容并使其处于empty 状态。当然，empty 的概念是特定于编译器的。

您可以在http://www.stroustrup.com/C++11FAQ.html#rval 阅读有关右值引用、移动构造函数和移动赋值运算符的更多信息。

回复：

当我们通过 move(one) 时，返回右值。

这是不正确的。 move(one) 返回一个右值引用。

Answer 3

当我们通过move(one) 时返回右值。并且 move 构造函数从 THAT rvalue 窃取资源，变量 one 没有作为引用或指针传递。

“THAT rvalue”是one 对象。所以three 窃取了one 的数据。

在这一行：

string three{move(one)};

three 接收到one 的右值引用，因此当它从该右值引用中窃取数据时，它会从one 中窃取数据，因为右值引用是@987654329 @对象。

由于one 有一个名字并且你可以获取它的地址，它不是一个右值引用。使用std::move() 你cast 到一个右值引用，这样你就可以从它移动。在您离开它之后，它的状态是未指定。对于std::string，这意味着您从它移开后无法知道它包含什么。它可以包含任何东西。移动后它仍然是有效的std::string，但其内容未知。在您的特定编译器/库中，新状态恰好是一个空字符串。