移动构造函数如何在 C++ 中工作？

Question

我已经阅读了很多关于移动构造函数的文章（甚至在堆栈上），但我没有找到任何关于它如何工作的确切解释（如何将指针传输到临时对象并保存如果这个临时变量及其地址将是遇到时销毁")")。

这是一个简单的例子

#include <iostream>
#include <vector>
using namespace std;
class boVector {
private:
    int size;
public:
    boVector() {};
    boVector(const boVector& rhs) { cout << "copy Ctor." << endl; }
    boVector(boVector&& rhs) { cout << "move Ctor." << endl; }
};

void foo(boVector v) {}
boVector createBoVector() { return boVector(); }

int main()
{
    //copy
    boVector reausable = createBoVector();
    foo(reausable);
    //move
    foo(std::move(createBoVector()));
    return 0;
}

都说移动Ctor是一个浅拷贝拷贝或者只是一个指针赋值。但是我怎样才能用一个指向临时对象的指针来启动我的对象（当这个对象将被销毁时，我的对象将指向一个未知的地址，从我的角度来看这是无效的）。

用他遇到“)”后将不再存在的指针地址来初始化一个变量是不对的。

如果有人可以解释一下这个临时变量在内存中的外观，以及如何将临时对象的地址分配给我当前的地址，并且这个操作是有效的。

Answer 1

“移动构造函数”没有什么神奇之处——它是一个接受右值引用的构造函数。

右值引用绑定到临时对象，并具有即将过期且不会在程序中稍后访问的东西的“含义”：这使开发人员能够实现资源移动- 在指针交换或类似的快速操作方面持有类。

您的boVector 类不能真正利用移动语义，因为它只存储int 并且不保存任何资源。移动int 与复制一个一样快。

---

在

foo(std::move(createBoVector()));

表达式，std::move 是多余的，因为createBoVector() 已经是一个右值。

---

考虑：

foo(createBoVector());

这将调用boVector(boVector&&)，因为它比boVector(const boVector&) 更匹配。

createBoVector() 创建的实例将在表达式的整个持续时间内存在 - 这意味着 右值引用 将在boVector(boVector&&) 的持续时间内指向一个有效对象。

Answer 2

都说移动Ctor是浅拷贝或者只是指针赋值。

并非所有人都这么说，因为这不是真的。移动构造函数是您定义的。在您的示例中，您的移动 ctor 完全执行其他操作。与复制 ctor 相比，移动 ctor 的意义在于您知道另一个对象即将被销毁，因此您可以蚕食或移动其资源。

移动构造函数可能制作一个“浅拷贝”，尽管该术语是口语化的，而不是在 C++ 中明确定义的。 “只是一个指针赋值”——也许，可能，有时。

但是我怎样才能用一个指向临时对象的指针来启动我的对象（当这个对象将被销毁时，我的对象将指向一个未知的地址，从我的角度来看这是无效的）。

您（通常）不会使用 T* 类型的指针本身来初始化 T 类型的对象。你可以分配my_t = *my_t_ptr，或者如果你知道你可以“蚕食”my_t_ptr指向的T，因为它很快就会被删除，那么你可以分配my_t = std::move(*my_t_ptr)。

你能给我一个更相关的例子[移动构造函数和复制构造函数之间有意义的区别]...？

“经典”示例是通过在堆上分配一些空间来构造 T。当您从另一个T 复制构造一个T 时，您别无选择，只能分配第二段内存；当您移动构建T 时，您可以：1。将指针从现有的T 复制到正在构建的T。 2.将现有T的成员指针设置为nullptr。在这种情况下，您只需要使用一个 T 的堆栈空间。