我试图了解 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
中找到地址。那么这与仅通过引用传递有何不同?看起来我们可以通过引用传递来做完全相同的事情。
最佳答案
没有。
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
。
关于c++ - 应用 std::move 后对象实例会发生什么,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30963562/