这篇文章主要讲解了“C++怎么使移动源对象保持有效状态”，文中的讲解内容简单清晰，易于学习与理解，下面请大家跟着小编的思路慢慢深入，一起来研究和学习“C++怎么使移动源对象保持有效状态”吧！

目前创新互联已为成百上千家的企业提供了网站建设、域名、虚拟主机、网站运营、企业网站设计、大同网站维护等服务，公司将坚持客户导向、应用为本的策略，正道将秉承"和谐、参与、激情"的文化，与客户和合作伙伴齐心协力一起成长，共同发展。

C.64:移动操作在完成移动之后，移动源对象应该保持有效状态

Reason（原因）

这是普遍假定的语义。当y=std::move(x)被执行之后，y的值应该变为x，而x应该处于有效状态。

译者注

x的值被移除和状态无效不是一回事。

Example（示例）

template
class X {   // OK: value semantics
public:
   X();
   X(X&& a) noexcept;  // move X
   void modify();     // change the value of X
   // ...
   ~X() { delete[] p; }
private:
   T* p;
   int sz;
};


X::X(X&& a)
   :p{a.p}, sz{a.sz}  // steal representation
{
   a.p = nullptr;     // set to "empty"
   a.sz = 0;
}

void use()
{
   X x{};
   // ...
   X y = std::move(x);
   x = X{};   // OK
} // OK: x can be destroyed

Note（注意）

理想情况下，移动源对象应该变为默认值。除非有非常好的理由，否则一定要这么做。然而，并不是所有的类型都有默认值，有些类型构建有效状态的代码很高昂。标准的要求只是该对象可以被销毁。通常，我们可以以很小的代价很容易地做得更好：标准库的假设是可以为移动源对象赋值。保证移动后的移动源对象处于某种(不可避免地定义了的)有效状态。

Note（注意）

除非有特别强烈的理由不那么做，否则一定要保证在x=std::move(y)执行之后y=z可以按照通常的语义执行。

Enforcement（实施建议）

(不可执行)找到移动操作中的成员被赋值的情况。如果存在默认构造函数，比较移动操作中的赋值操作和默认构造函数中的赋值操作。

感谢各位的阅读，以上就是“C++怎么使移动源对象保持有效状态”的内容了，经过本文的学习后，相信大家对C++怎么使移动源对象保持有效状态这一问题有了更深刻的体会，具体使用情况还需要大家实践验证。这里是创新互联，小编将为大家推送更多相关知识点的文章，欢迎关注！

本文标题：C++怎么使移动源对象保持有效状态
本文地址：http://scyanting.com/article/gsgdii.html