目录
- 1.左值and右值
- 2.引用
- 3.左值引用的用途
- 4.std::move和std::swap
C和C++中定义了引用类型(reference type)，存在左值引用(lvalue reference)。而在C++11中，新增了右值引用(rvalue reference)这一概念， 虽然个人感觉右值引用用处不大，但在此一并讨论。
1.左值and右值
首先，我们讨论左值和右值两个概念。
左值(lvalue)：一个标识非临时性对象的表达式。通常来说，可以将程序中所有带名字的变量看做左值。
右值(rvalue)：相对的，右值标识是临时性对象的表达式，这类对象没有指定的变量名，都是临时计算生成的。
考虑以下代码：
vector arr(3);
const int x = 2;
int y;
int z = x + y;
string str = "foo";
vector *ptr = &arr; 在上述代码中，arr, str, y, z等都是左值，x也是一个左值，且他不是一个可修改的左值；而类似于2, x+y这类临时(没有专属变量名)的值则是右值。
2.引用
我们可以这样理解引用：一个引用是它所引用对象的同义词，是其另一个变量名。
看这样一段代码：
#inclulde
int main()
{
int x = 5;
int & y = x;
printf("引用y = %d\n", y);
return 0;
} 运行结果如下：
(1)左值引用
左值引用的声明是通过在某个类型后放置一个符号&来进行的。前文代码中的int & y = x;便是一个左值引用。
需要注意的是，在定义左值引用时，=右边的要求是一个可修改的左值。因此下面几种左值引用都是错误的：
#include
int main()
{
const int x = 5;
int y = 1;
int z = 1;
int & tmp1 = x; // ERROR:x不是一个可修改的左值
int & tmp2 = 5; // ERROR:5是一个右值
int & tmp3 = y + z; // ERROR:y+z是一个右值
return 0;
} 编译运行，报错如下：
(2)右值引用
类似于左值引用，右值引用便是对右值的引用，它是通过两个&&来声明的。
#include
int main()
{
int && x = 5;
printf("x = %d\n", x);
return 0;
}
运行结果如下：
引用和指针的区别
我们知道，指针是在内存中存放地址的一种变量，cpu能够直接通过而变量名访问唯一对应的内存单元，且每个内存单元的地址都是唯一的。
而变量名和引用，都可以看做内存的一个标签或是标识符，计算机通过是否符合标识符判断是否为目标内存，而一个内存可以有多个标识符
3.左值引用的用途
因为目前右值引用用途不大，故此处仅列举较为常见的左值引用用途
(1)作为复杂名称变量的别名
我们可以写出类似如下的语句：
auto & whichList = theList[myHash(x, theList.size())];可以看到，我们用简短的whichList代替了其原本复杂的名称，这能够简化我们的代码书写。
(2)用于rangeFor循环
设想我们希望通过rangeFor循环使一个vector对象所有值都增加1，下面的rangeFor循环是做不到的、
for (auto x : arr) // x仅相当于每个元素的拷贝
++x;但我们可以通过使用引用达到这一目的
for (auto & x : arr)
++x;(3)避免复制大的对象
假定有一个findMax函数，它返回一个vector中最大的元素。若给定vector存储的是某些大的对象时，下述代码中的x拷贝返回的最大值到x的内存中：
auto x = finaMax(vector);在大型的项目中这显然会增大程序的开销，这时我们可以通过引用来减小这类开销
auto & x = findMax(vector);类似的，我们在处理函数返回值的时候也可以使用传引用返回。但是要注意，当返回的是类中私有属性时，传回的引用会导致外界能够对其修改。
(4)参与函数中的参数传递
在C和C++的函数中，addSelf(int x)这类函数对直接传入的参数进行修改并不会改变原有参数的值。而有时我们希望能够实现类似swap(int a, int b)这类能够修改原参数的函数时，我们可以通过1.传入指针和2.传入引用实现。
swap函数的实现是一个很好的例子
#include
void swap_non(int, int); // 直接传入参数
void swap_p(int *, int *); // 传入指针
void swap_r(int &, int &); // 传入引用
int main()
{
int a = 1;
int b = 2;
printf("直接传入参数时:\n");
swap_non(a, b);
printf("a = %d, b = %d\n", a, b);
printf("传入指针时:\n");
swap_p(&a, &b);
printf("a = %d, b = %d\n", a, b);
printf("传入引用时:\n");
swap_r(a, b);
printf("a = %d, b = %d\n", a, b);
return 0;
}
void swap_non(int a, int b)
{
int temp = a;
a = b;
b = temp;
}
void swap_p(int * a, int * b)
{
int temp = *a;
*a = *b;
*b = temp;
}
void swap_r(int & a, int & b)
{
int temp = a;
a = b;
b = temp;
} 运行结果如下：
可以看到，只有在传入指针和传入引用时变量才真正交换。
对直接传入参数和传入指针仍不理解的可以看这篇博客，在此不再描述。
4.std::move和std::swap
前面我们讨论3.(3)时，谈到可以使用引用来减少复制产生的内存开销。
考虑这样一种情况，在进行元素交换时，我们通常使用一个缓存变量temp来临时保存数据；而对temp直接进行=的赋值操作时，实际上temp复制了一次原有对象的内存，但我们需要只是对象之间的移动而不是复制，而C++STL中的std::move函数便可以达成这一操作。
这可能有些抽象，让我们通过例子来看看：
void swap(vector & x, vector & y)
{
vector temp = std::move(x);
x = std::move(y);
y = std::move(temo);
} 上述例子是C++STL中std::swap的源码之一，相信它很好的示范了std::move是如何使用的，而在源码中使用，也足以说明它的高效。