c – 移动语义如何保留临时变量的数据？

我正在读这篇文章：What are move semantics?

请注意,移动构造函数的帖子中给出的示例是：

string(string&& that)  
{
    data = that.data;
    that.data = nullptr;
}

当我们使用字符串a(x y)来构造一个新字符串时,我发现它很混乱.由于x y的结果是一个临时变量,它很快就会被破坏.这意味着复制指针(data = that.data)确实会复制悬空指针,原始数据(应该存储在xy的堆栈帧中,在函数调用完成后被清理)被销毁.似乎将that.data设置为nullptr无济于事,因为堆栈框架无论如何都会被清理干净.

任何人都可以解释为什么这不是一个问题？ c如何实际处理这种情况？

解决方法:

当你这样做时：

string a(x + y);

它相当于：

string temp(x + y);
string a(move(temp));
//destroy temp

您引用的移动构造函数的相关代码采用as和this作为temp,因此可以将其内联为：

string temp(x + y);
string a(/*uninitialized*/);
a.data = temp.data;
temp.data = nullptr;
//destroy temp

正如您所看到的,temp.data是一个被取消的,因此temp的析构函数变为无操作,并且实际数据在a中存活,如预期的那样.

看起来你的困惑来自于数据的来源.在最简单的字符串实现中,string :: data始终是动态分配的内存块：

string(const char *str)
{
    size_t len = strlen(str);
    data = new char[len + 1];
    strcpy(data, len);
}   
~string()
{
    delete[] data;
}

即使字符串在堆栈上分配,例如temp和a,甚至x和y,它们的数据存储块也是动态的.

真实的,真实世界的字符串实现通常进行非动态短字符串优化.但是如果你这样做,那么移动构造函数(以及任何其他成员函数)将会更复杂一些.

标签：move-constructor,c,move-semantics
来源： https://codeday.me/bug/20190727/1556437.html