C++ Primer——对象移动

1、标准库容器、string和shared_ptr类既支持移动也支持拷贝。IO类和unique_ptr类可以移动但不能拷贝。

2、变量是左值，因此我们不能将一个右值引用直接绑定到一个变量上，即使这个变量是右值引用类型也不行。

3、使用move的代码应该使用std::move而不是move。

4、不抛出异常的移动构造函数和移动赋值运算符必须标记为noexcept。

5、除了将移后源对象置为析构安全的状态之外，移动操作还必须保证对象仍然是有效的。一般来说，对象有效就是指可以安全地为其赋予新值或者可以安全地使用而不依赖其当前值。另一方面，移动操作对移后源对象中留下的值没有任何要求。因此，程序不应该依赖于移后源对象中的数据。

即，在移动操作之后，移后源对象必须保持有效的、可析构的状态，但是用户不能对其值进行任何假设。

6、与拷贝操作不同，编译器根本不会为某些类合成移动操作。特别是，如果一个类定义了自己的拷贝构造函数、拷贝赋值运算符或者析构函数，编译器就不会为它合成移动构造函数和移动赋值运算符了。因此，某些类就没有移动构造函数或移动赋值运算符。如果一个类没有移动操作，通过正常的函数匹配，类会使用对应的拷贝操作来代替移动操作。只有当一个类没有定义任何自己版本的拷贝控制成员，且类的每个非static数据成员都可以移动时，编译器才会为它合成移动构造函数或移动赋值运算符。

7、所有五个拷贝控制成员（拷贝构造函数、拷贝复制运算符、析构函数、移动构造函数、移动复制运算符）应该看作一个整体：一般来说，如果一个类定义了任何一个拷贝操作，它就应该定义所有五个操作。

8、定义const成员函数时，可以定义两个版本，唯一的差别是一个版本有const限定而另一个没有。引用限定的函数则不一样。如果定义两个或两个以上具有相同名字和相同参数列表的成员函数，就必须对所有函数都加上引用限定符，或者所有都不加：

    

class Foo
{
public:
    Foo sorted() &&;
    Foo sorted() const;        //错误：相同参数列表且上一个有限定符&，必须加上引用限定符
    using Comp = bool(const int&, const int&);
    Foo sorted(Comp*);        //正确：不同的参数列表
    Foo sorted(Comp*) const;    //正确：相同参数的两个版本都没有引用限定符
};