《深入理解C++11》右值引用、移动语义与完美转发

【1】左值引用和右值引用的定义

左值是指表达式结束后依然存在的持久化对象; 右值是指表达式结束时就不再存在的临时对象。所有的具名变量或者对象都是左值，而右值不具名。很难得到左值和右值的真正定义，但是有一个可以区分左值和右值的便捷方法：看能不能对表达式取地址，如果能，则为左值，否则为右值。

书上将右值分为将亡值和纯右值.纯右值就是c++98标准中右值的概念，如非引用返回的函数返回的临时变量值；一些运算表达式，如1+2产生的临时变量；不跟对象关联的字面量值，如2，‘c’，true，“hello”；这些值都不能够被取地址。
而将亡值则是c++11新增的和右值引用相关的表达式，这样的表达式通常时将要移动的对象、T&&函数返回值、std::move()函数的返回值等，

左值引用

传统的C++引用（现在称为左值引用）使得标识符关联到左值，左值是表示一个数据的表达式（如变量名或者解除引用的地址),程序可以获得其地址。

    int a = 20;
	int &b = a;//b是a的别名， 修改b就是修改a, a是左值，左移是左值引用
	int &c = 1; //编译错误! 1是右值，不能够使用左值引用

右值引用

C++11新增了右值引用，使用&&表示，右值引用可以关联到右值，即可以出现在赋值表达式的右边，但是不能对其应用地址运算符的值。右值引用包括字面常量、诸如x+y等表达式一级返回值的函数（条件是该函数返回的不是引用）

int main()
{
   
	int x = 10;
	int y = 20;
	//int && c = x; 	//编译错误！不能将一个左值复制给一个右值引用
	int &&r1 = 13;		//实质上就是将不具名(匿名)变量取了个别名
	int &&r2 = x + y;	//实质上就是将x+y产生的临时变量取了个别名
	double &&r3 = sqrt(2.0);
	x = 5;
	y = 10;
	cout << "r1 = " << r1 << endl;
	cout << "r2 = " << r2 << endl;
	cout << "r3 = " << r3 << endl;
	return 0;
}

注意：由运行结果来看，r2关联的是当时x+y计算出来的结果，也就是说r2关联的是30，即便是后边修改了x和y的值，也不会影响到r2的变化。

有趣的是，将右值关联到右值引用导致该右值被存储在特定的位置，而且还可以获取该位置的地址。也就是说，虽然不能将运算符&用于13，但是可以将其用于r1。通过将数据与特定的地址关联，使得可以通过右值引用来访问该数据。

#include<iostream>
using namespace std;

class TEST
{
   
public:
	int a;
	TEST(int val = 10) :a(val) {
   }
};
TEST GetTest()
{
   
	return TEST();
}

int main()
{
   
	TEST &&test = GetTest();
	cout << test.a << endl;
	return 0;
}

在主函数中，GetTest()方法返回的是一个临时对象，他的生命本该在这条语句结束后就终结了（因为是临时变量），但是我们通过右值引用，使得它又活了下来，生命周期和test的生命周期一样，只要test还存在，这个临时变量就存在，实际上就是给这个临时变量取了一个名字。

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

常量左值引用

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

class TEST
{
   
public:
	int a;
	TEST(int val = 10) :a(val) {
   }
};
TEST GetTest()
{
   
	return TEST();
}

int main()
{
   
	const TEST &test = GetTest();
	//TEST &test = GetTest(); //会报错，因为左值引用不能引用右值。
	cout << test.a << endl;
	return 0;
}

也可以编译通过运行出来一样的结果

很多情况下我们都在使用常量左值引用的这个功能却没有意识到，如下面的例子：

class Copyable {
   
public:
	static size_t CCtor;//统计构造函数运行次数
	static size_t CCter;//统计拷贝构造函数运行次数
	Copyable() 
	{
   
		CCtor++;
	}
	Copyable(const Copyable &o) 
	{
   
		CCter++;
		cout << "Copied" << endl;
	}
};
size_t Copyable::CCtor = 0;
size_t Copyable::CCter = 0;

Copyable ReturnRvalue() 
{
   
	return Copyable(); //返回一个临时对象
}
void AcceptVal(Copyable a) {
   }
void AcceptRef(const Copyable& a) {
   }
int main() {
   
	cout << "pass by value: " << endl;
	AcceptVal(ReturnRvalue()); // 应该调用两次拷贝构造函数
	cout << "构造函数次数：" << Copyable::CCtor << endl;
	cout << "拷贝构造函数次数：" << Copyable::CCter << endl;
	cout << "pass by reference: " << endl;
	AcceptRef(ReturnRvalue()); //应该只调用一次拷贝构造函数
	cout << "构造函数次数：" << Copyable::CCtor << endl;
	cout << "拷贝构造函数次数：" << Copyable::CCter << endl;
	return 0;
}

当运行上边的例子发现和自己想象的结果不太一样，如下：
AcceptVal(ReturnRvalue())语句应该调用两次拷贝构造函数的 ReturnRvalue()构造产生一个对象，返回的时候拷贝构造生成一个临时对象；而Acc