右值引用，移动语义，完美转发

1：右值引用

1.1：定义

讨论右值引用钱先给出左值和右值的定义：

An lvalue is an expression that refers to a memory location and allows us to take the address of that memory location via the & operator. 

An rvalue is an expression that is not an lvalue

如果X&是X的左值引用，那么X&&就是x的右值引用。右值引用的主要用途就是定义move构造来减少对象间拷贝的开销。其类型分两种：const右值引用和非const右值引用，非const右值引用只能绑定到非const右值上，比如

	string&& r1 = string("test");（1）
	int&& r2 = 1;（2）

第一行中，右值引用r1绑定到匿名变量，当表达式结束后匿名变量析构，r1是否还有效？对此C++标准有规定

12.2/5
The second context is when a reference is bound to a temporary.117 The temporary to which the reference is bound or the temporary that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference except:

意思是说如果引用（const左值引用，非const右值引用，const右值引用）绑定到临时对象，那么这个临时对象的生命周期会被延长到跟引用的生命周期一样长。

注意这里的1并不是常量，而是pure-rvalue，只有const修饰的才是常量。

1.2：universal references

T&&并不是一定表示右值引用，它的引用类型是未定的，即可能是左值有可能是右值。&&实际上是一个未定的引用类型。这个未定的引用类型被scott meyers称为universal references（可以认为它是种通用的引用类型），如果&&被一个左值初始化的话，它就是一个左值引用；如果它被一个右值初始化的话，它就是一个右值引用。

(1)
template<typename T>
void f(T&& param); //这里T的类型需要推导，所以&&是一个universal references

(2)
template<typename T>
class Test {
...
Test(Test&& rhs); // 已经定义了一个特定的类型， 没有类型推断
... // && 是一个右值引用
};

void f(Test&& param); // 已经定义了一个确定的类型， 没有类型推断,&& 是一个右值引用

(3)
template<typename T>
void f(std::vector<T>&& param); 
//这里既有推断类型T又有确定类型vector，那么这个param到底是什么类型呢？
它是右值引用类型，因为在调用这个函数之前，这个vector<T>中的推断类型已经确定了，所以到调用f时没有类型推断了。

(4)
template<typename T>
void f(const T&& param);//右值引用

universal references仅仅在T&&下发生，任何一点附加条件都会使之失效，而变成一个右值引用

1.3：reference collapsing rules:

• A& & becomes A&
• A& && becomes A&
• A&& & becomes A&
• A&& && becomes A&&

特别的，对于模板参数T&&（universal references），如下面代码：

template<typename T>
void foo(T&&);

1：如果实参是左值A，则T被推导为A&，函数形参为A& &&，根据引用折叠规则最终为A&，左值引用。

2：如果实参是右值A，则T被推导为A，函数形参为A&&，即右值引用