阅读量:1
目录
概念：
左值：顾名思义，可以在等号左边出现的被叫做左值，左值可以取地址。
右值：只能在等号右边出现的值为右值，且右值不能取地址。
例如
//左值 int a = 2; string s="hello"; const int b=3; int* pa=&a; //右值 3;//字面常量 a + 2;//表达式 add(2, 3);//函数返回值
左值引用和右值引用
概念：
左值引用是用来引用左值的，给左值起别名：
int a = 2;//左值 int& ra = a;//左值引用右值引用是用来引用右值的，给右值起别名：
int&& rc = 5;//右值引用
注意：
左值引用只能引用左值，因为如果引用右值会导致权限的放大：
int& ra = 2;//权限放大，编译错误但是左值引用加上const就可以引用右值：
const int& ra = 2;右值引用只能引用右值，但是可以引用move后的左值
int a = 2;//左值 int&& ra = move(a);
左值引用的意义
作函数参数
C++引用底层是C语言的指针，所以在作为函数参数时可以减少拷贝或者作为输出型参数使用。
void func(const string& s)//输入型参数，const&既可以减少拷贝又可以防止改变引用的实体 { cout << s << endl; } void add(int& a)//作为输出型参数 { a=2; }
函数引用返回
出了函数栈帧，返回变量不会销毁的就可以用引用返回，减少拷贝。否则会导致内存越界。
string ss="hello"; const string& func() { return ss;//ss是全局变量，出函数栈帧不会销毁，用引用返回就不会生成临时变量 }
右值引用的意义
诞生背景
普通函数传值返回时，由于函数栈帧出作用域会销毁，其内定义的变量会被释放，所以会返回一个临时对象，这个临时对象是要返回对象的拷贝。
此时，我们会想：既然局部变量s马上就要销毁了，那么我们是否可以将它的资源交换给临时变量呢，这样临时变量的创建就不需要耗费拷贝的代价了。
C++把这种即将要销毁的自定义对象称为将亡值，在拷贝将亡值的时，可以利用右值引用在拷贝构造和赋值运算符重载函数中接收将亡值，并实现资源的置换，进而减少无意义的拷贝。
移动构造
在拷贝构造的实现中，实现一份形参使用右值引用接收的拷贝构造（即移动构造），当使用将亡值拷贝构造时，编译器会自动匹配移动构造，在移动构造内实现资源的互换。
移动赋值
在赋值运算符重载的实现中，实现一份形参使用右值引用接收的赋值运算符重载（即移动赋值），当使用将亡值赋值时，编译器会自动匹配移动赋值，在移动赋值内实现资源的互换。
C++11后，基本所有的STL容器都新增了移动构造和移动赋值，以此来提高需要深拷贝的容器是将亡值时的拷贝效率。
其他应用
除此之外，右值引用在其他接口中也大放异彩：
STL容器插入数据的接口：当插入需要深拷贝对象的右值时，减少拷贝
std::swap交换函数：
万能引用和完美转发
当函数模板和右值引用组合：万能引用既可以引用左值，又可以引用右值
万能引用又叫做引用折叠，即传入右值时&&，传入左值时折叠&。
右值引用的作用就是限制了接收变量只能是右值，但是右值引用本身会退化为左值：
template<class T> void func(T&& val)//万能引用 { cout << val << endl;//就算原本接收的是右值，右值引用val退化为左值 } int main() { func(10); return 0; }完美转发：保留对象原生类型属性，即保持它的左值或者右值的属性
template<class T> void func(T&& val)//万能引用 { cout << std::forward<T>(val) << endl;//这里使用完美转发保留传入之前的属性 } int main() { func(10); return 0; }默认的移动构造和移动赋值
默认移动构造：
如果你没有自己实现移动构造函数，且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任
意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数，对于内置类
型成员会执行逐成员按字节拷贝，自定义类型成员，则需要看这个成员是否实现移动构造，
如果实现了就调用移动构造，没有实现就调用拷贝构造。
解释：
分析上述定义，默认移动构造就是在析构函数 、拷贝构造、赋值重载都没有写，且移动构造也没有显式实现的情况下，编译器会默认生成。
当析构函数，拷贝构造、赋值重载都没有写的时候，且默认C++程序员没有犯错，那么这个类本身一定只含有内置类型成员或"自控"的自定义类型成员，没有需要手动释放的资源。
此时编译器就要做事了，默认生成一份移动构造，当别人调用默认移动构造，来将自定义类型中可以移动构造的对象自动调用移动构造，增加效率，非常合理。
反着思考：如果一个类内有资源需要手动释放，那么析构函数 、拷贝构造、赋值重载一定都要手动写，此时就算我们不手动写移动构造，编译器也不会默认生成，因为编译器不会知道哪些资源需要转移。
默认移动赋值完全类似。
