c++ - 应用 std::move 后对象实例会发生什么

Question

我试图了解 std::move 和右值在 C++ 11 中的工作方式。我一直在这样的教程中看到类似的示例:

假设我们有这个类:

class Class 
{
   public:
      Class(Class &&b)
      {
          a = b.a;
      }
      int *a;
}

int main()
{
    Class object1(5);
    Class object2(std::move(object1));
}

main 函数的第二行运行后，object1 发生了什么？如果 object1 的内存被“move ”到 object2，那么这个复制构造函数的意义何在？因为我们正在丢失 object1 的内存只是为了在内存中的不同位置获得完全相同的值？这有什么用例？

编辑:问题不是重复的。 duplicative 的候选范围更广，因为它甚至没有代码片段。

Edit2:我刚刚试过这段代码:

class trial
{
public:
    trial()
    {
        a = (int*)malloc(4);
    }

    trial(trial& rv)
    {
        this->a = rv.a;
        rv.a = NULL;
    }

    int *a;
};

int main() {
    cout << "Program Started" << endl;
    trial a1;
    trial a2(a1);


    return 0;
}

而且我检查了 a1 和 a2 的内部结构。它给出了与这段代码完全相同的结果:

class trial
{
public:
    trial()
    {
        a = (int*)malloc(4);
    }

    trial(trial&& rv)
    {
        this->a = rv.a;
        rv.a = NULL;
    }

    int *a;
};

int main() {
    cout << "Program Started" << endl;
    trial a1;
    trial a2(std::move(a1));


    return 0;
}

不同之处在于复制构造函数，其中一个不使用 move 语义。只是对象的简单引用。如果我们也通过引用传递，则不会发生复制，但我们将不得不通过执行 rv.a = NULL 来稍微丢失第一个对象，以避免为 a2 意外释放内存>，通过释放 a1。所以我设置了 rv.a = NULL。

当我使用类 trial 的右值复制构造函数，但不在右值构造函数中使用行 rv.a = NULL 时，整数指针 a 显示相同当我在 return 0 行放置一个断点时，在 a1 和 a2 中找到地址。那么这与仅通过引用传递有何不同？看起来我们可以通过引用传递来做完全相同的事情。

Answer 1

没有。

std::move 不 move 任何东西。它只是将对象强制转换(转换)为右值引用，这可以通过查看典型实现看出:

template <typename T>
typename remove_reference<T>::type&& move(T&& arg)
{
  return static_cast<typename remove_reference<T>::type&&>(arg);
}

请注意，T&& arg 是可推导上下文中的通用引用，而不是右值引用本身(如果您想知道“arg 不是右值吗？裁判已经？”)

使用右值引用的函数，如 move 构造函数和 move 赋值运算符或带有 && args 的常规函数​​，可以利用此值类别(称为 xvalue 即过期对象)并通过将数据移出对象来避免开销，使其处于有效但未指定的状态(例如可破坏)。

根据编辑 2

我想你回答了你自己的问题。 假设您在类中同时拥有 move 和复制构造函数； std::move 的作用是让您在调用时选择第一个

trial a2(std::move(a1));

因为两者的实现是相同的，所以它们将做同样的事情。典型的实现会避免在复制构造函数中使用别名:

trial(trial& rv)
{
    this->a = (int*)malloc(sizeof(int));
    this->a = rv.a;
}

这意味着需要执行额外的分配(你只想要一个拷贝，为什么要弄乱原来的？)。

另一方面，当调用 move 构造函数时，您基本上是在告诉编译器“嘿，我不再使用 a1，尽你最大的努力”，然后调用您的 move 构造函数，然后您“移植”a1 资源到a2。