c++ 左值、右值；左值引用、右值引用、对象移动

　　getTemp()返回的右值本来在表达式语句结束后，其生命也就该终结了（因为是临时变量），而通过右值引用，该右值又重获新生，其生命期将与右值引用类型变量a的生命期一样，只要a还活着，该右值临时变量将会一直存活下去。实际上就是给那个临时变量取了个名字。

　　注意：这里a的类型是右值引用类型(int &&)，但是如果从左值和右值的角度区分它，它实际上是个左值。因为可以对它取地址，而且它还有名字，是一个已经命名的右值。

　　所以，左值引用只能绑定左值，右值引用只能绑定右值，如果绑定的不对，编译就会失败。但是，常量左值引用却是个奇葩，它可以算是一个“万能”的引用类型，它可以绑定非常量左值、常量左值、右值，而且在绑定右值的时候，常量左值引用还可以像右值引用一样将右值的生命期延长，缺点是，只能读不能改。

3. 移动构造函数和移动赋值运算符

　　类似拷贝构造函数，移动构造函数的第一个参数是该类类型的一个引用。不同于拷贝构造函数的是，这个引用参数在移动构造函数中是一个右值引用。与拷贝构造函数一样，任何额外的参数必须有默认实参。

　　除了完成资源移动，移动构造函数还必须确保移后源对象处于这样一个状态——销毁它是无害的。特别是，一旦资源完成移动，源对象必须不再指向被移动的资源——这些资源的所有权已经归属新创建的对象。

　　需要注意的是，不抛出异常的移动构造函数和移动赋值运算符必须标记为noexcept.
移动赋值运算符　　

strVec &StrVec: :operator=(StrVec & &rhs) noexcept{
    //直接检测自赋值
    if (this != &rhs) {
        free ( ); //释放已有元素
        elements =rhs.elements; // 从rhs接管资源
        first_free = rhs.first_free;  
        cap = rhs.cap; 
        // 将rhs置于可析构的状态
        rhs.elements = rhs.first_free = rhs.cap = nullptr;
    }
     return *this;      
}

　　在此例中，我们直接检查this 指针与rhs的地址是否相同。如果相同，右侧和左侧运算对象指向相同的对象，我们不需要做任何事情。否则，我们释放左侧运算对象所使用的内存，并接管给定对象的内存。与移动构造函数一样，我们将rhs中的指针置为nullptr。这里将rhs的指针置为nullptr是为了让移后源处于可析构的状态。

合成的移动操作

　　与拷贝操作不同，编译器根本不会为某些类合成移动操作。特别是，如果一个类定义自己的拷贝构造函数、拷贝赋值运算符或者析构函数，编译器就不会为它合成移动构造数和移动赋值运算符了。因此，某些类就没有移动构造函数或移动赋值运算符。如果一个类没有移动操作，通过正常的函数匹配，类会使用对应的拷贝操作来代替移动操作（没有移动，则默认用拷贝替代）。

　　将合成的移动操作定义为删除函数遵循以下原则：

• 与拷贝构造函数不同，移动构造函数被定义为删除的函数的条件是:有类成员定义了自己的拷贝构造函数且未定义移动构造函数，或者是有类成员未定义自己的拷贝构造函数且编译器不能为其合成移动构造函数。移动赋值运算符的情况类似。
• 如果有类成员的移动构造函数或移动赋值运算符被定义为删除的或是不可访问的则类的移动构造函数或移动赋值运算符被定义为删除的。
• 类似拷贝构造函数，如果类的析构函数被定义为删除的或不可访问的，则类的移动构造函数被定义为删除的。
• 类似拷贝赋值运算符，如果有类成员是const的或是引用，则类的移动赋值运算符被定义为删除的。

移动右值，拷贝左值

　　如果一个类既有移动构造函数，也有拷贝构造函数，编译器使用普通的函数匹配规则来确定使用哪个构造函数。

StrVec v1, v2;
v1 = v2; // v2是左值;使用拷贝赋值
strVec getVec (istream &); // getvec返回一个右值
v2 = getVec (cin) ; //getVec (cin)是一个右值;使用移动赋值

　　在第一个赋值中，我们将v2传递给赋值运算符。v2的类型是strVec，表达式v2是个左值。因此移动版本的赋值运算符是不可行的，因为我们不能隐式地将一个右值引用绑定到一个左值。因此，这个赋值语句使用拷贝赋值运算符

　　在第二个赋值中，我们赋予v2的是getvec调用的结果。此表达式是一个右值。在此情况下，两个赋值运算符都是可行的——将getvec的结果绑定到两个运算符的参数都是允许的。调用拷贝赋值运算符需要进行一次到const的转换，而strvec&&则是精确匹配。因此，第二个赋值会使用移动赋值运算符。

移动迭代器

　　移动迭代器通过改变给定迭代器的解引用运算符的行为来适配此迭代器。一般来说，一个迭代器的解引用运算符返回一个指向元素的左值。与其他迭代器不同，移动迭代器的解引用返回的是右值。

void Strvec: :reallocate()
{
    //分配大小两倍于当前规模的内存空间
    auto newcapacity = size() ? 2 * size( ) : 1;
    auto first = alloc.allocate (newcapacity);//移动元素
    auto last = uninitialized_copy(make_move_iterator(begin()),
                         make_move_iterator(end()) ,first);
    free(); //释放旧空间
    elements = first; //更新指针
    first_free = last;
}            

　　值得注意的是，标准库不保证哪些算法适用移动迭代器，哪些不适用。由于移动一个对象可能销毁掉原对象，因此你只有在确信算法在为一个元素赋值或将其传递给一个用户定义的函数后不再访问它时，才能将移动迭代器传递给算法。

左、右值引用成员函数

　　通过在参数列表后放置引用限定符来限制赋值运算的对象为左值还是右值。

class Foo 
{
public:
    Foo &operator= (const Foo&) & //只能向可修改的左值赋值
    // Foo的其他参数
};
　　Foo &Foo: : operator= (const Foo &rhs)& //执行将rhs赋予本对象所需的工作
　　return *this;
}

　　引用限定符可以是&或&&，分别指出this可以指向一个左值或右值。类似const限定符，引用限定符只能用于（非static）成员函数，且必须同时出现在函数的声明和定义中。对于&限定的函数，我们只能将它用于左值:对于& &限定的函数，只能用于右值。