c++ - 了解 C++ 标准的移动语义

Question

我正在努力解决移动语义。我变得很困惑，因为我不知道我们为什么需要它以及我们应该如何理想地使用它。

例如，当我们用 std::move 移动一个对象时，它使对象为 nullptr。为什么会这样？另外，为什么 std::move 将对象转为右值？这是怎么发生的？为什么在将 std::move 与变量一起使用后，它不会用 null 填充它，但是当我将它与向量之类的对象一起使用时，在移动它之后，它会用 nullptr 填充它。

我希望有人逐步解释 CPP 的移动语义和其他语义。我读得越多，我就越困惑。它是 CPP 编程中最复杂的主题之一。

标签： c++visual-c++move-semantics

Answer 1

当我们使用 std::move 移动对象时

不std::move，不移动东西。它为我们提供了一个引用某个对象的右值表达式。右值表达式导致重载决议选择接受右值引用的函数，这很方便，因为现在我们将选择那些而不是接受值的函数或左值引用，传统上做类似复制的事情。这样的函数往往是构造函数（所谓的“移动构造函数”）或赋值运算符（所谓的“移动赋值运算符”），因为在构造和赋值期间移动是有用的。

它使对象为 nullptr

这完全取决于所述功能的作用。通常，值得移动的对象具有间接状态，例如指向某个动态分配资源的指针。如果所述对象是可移动的，那么它的移动构造函数最好对这些指针进行交换。如果它没有留下源对象的指针，nullptr那么您有两个对象拥有该资源。那不是一个动作。这是一个[浅]副本。

对方法和原因的全面讨论超出了问答的范围，但任何一本好书都应该有一个。

另外，如果这一切听起来像一个黑客，那是因为它是一个。C++ 是一个基于 hack 的大杂烩，随着时间的推移提供额外的功能。在这种情况下，我们需要（阅读：想要）一种创建不同类型的构造函数（和赋值运算符）的方法，一种可以接受非const引用并可以修改源对象（以“窃取”其资源）的方法，为了实现这一点，我们必须引入一种只绑定到右值的新引用（因为我们已经将其他所有东西都用于副本），然后我们必须引入一个实用函数，它将对象的名称转换为右值……因此，std::move诞生了一个不移动任何东西的效用函数。