C++ 左值引用与右值引用

引用本质上是一个隐式指针，为对象的一个别名，通过操作符 & 来实现。C++11又提出了左值引用与右值引用的概念，一般如没有特殊说明，提到引用都是指传统的左值引用。这里顺便提一下变量的两个属性：左值和右值。左值是变量的地址，右值是变量存储的内容。变量本质即存储空间的名称，编译后变为对应地址。

左值引用

一个C++引用声明后必须被初始化，否则编译不过，初始化之后就相当与一个变量（地址为初始化时所引用变量的地址）。由于拥有共同的地址，而且也是同一个类型，所以对其操作就相当于对原对象的操作，用法和普通变量相同。与指针最大的区别：指针是一种数据类型，而引用不是。当其用作函数传参时，传递的就是变量的左值即地址。

例子：

#include<iostream>
using namespace std;
void change(int & a){
	a=12;
	cout<<"引用类型的形参a地址是： "<<&a<<endl;
}
int main() {
	int a = 3;
	int & ref_a = a;  	//引用类型的变量 定义的时候 必须初始化，否则编译不过；
	cout << "a     地址: " << &a << endl;
	cout << "ref_a 地址：" << &ref_a << endl;
	int * p_a = &a;
	ref_a = 5;
	cout << "a is: " << a << endl;
	*p_a = 8;
	cout << "赋值 *p_a为 8, then a is: " << a << endl;
	cout << "引用 ref_a is: " << ref_a << endl;
	int c = 33;
	ref_a = c; //引用类型初始化后，不能再引用别的对象，等价于其所引用的类型的变量；
	cout << "c     地址：" << &c << endl;
	cout << "ref_a 地址: " << &ref_a << endl;
	cout << "a is:" << a << endl;
	change(a);
	cout << "a is:" << a << endl;
}

输出为：

a     地址: 0x28fed4
ref_a 地址：0x28fed4
a is: 5
赋值 *p_a为 8, then a is: 8
引用 ref_a is: 8
c     地址：0x28fed0
ref_a 地址: 0x28fed4
a is:33
引用类型的形参a地址是： 0x28fed4
a is:12

函数返回值为引用类型，这个使用也比较常见，详见：C++函数值返回引用

例子：

#include<iostream>

/* 函数返回值时会产生一个临时变量作为函数返回值的副本，而返回引用时不会产生值的副本 */
int & fun() {
	int *p = new int(5);
	std::cout << "p's address is: " << p << std::endl;
	return *p;
}

int main() {
	int & a = fun(); //声明引用类型，接收返回的引用
	std::cout << "a is: " << a << std::endl;
	std::cout << "a's address is: " << &a << std::endl;
	delete &a;
	std::cout << "------------------------\n";
	int b = fun(); // 声明 int 类型，接受返回 int 类型的引用, 也可以编译通过
	std::cout << "b is: " << b << std::endl;
	std::cout << "b's address is: " << &b << std::endl;
	return 0;
}

输出：

p's address is: 0x651708
a is: 5
a's address is: 0x651708
------------------------
p's address is: 0x651708
b is: 5
b's address is: 0x28ff40

右值引用

右值引用 (Rvalue Referene) 是 C++ 新标准 (C++11, 11 代表 2011 年 ) 中引入的新特性 , 它实现了转移语义 (Move Sementics) 和精确传递 (Perfect Forwarding)。详细：C++11 标准新特性: 右值引用与转移语义，它的主要目的有两个方面：

• 消除两个对象交互时不必要的对象拷贝，节省运算存储资源，提高效率；
• 能够更简洁明确地定义泛型函数；

右值引用形式：类型 && a= 被引用的对象。与左值的区别在于：右值是临时变量，如函数返回值，且不变。右值引用可以理解为右值的引用，右值初始化后临时变量消失。

例子：

#include <iostream>
using namespace std;
int glo=10;
void process(int && a){
	glo+=a;

}

void process(int &a){
	glo-=a;
}

int get_return(){
	int b=3;
	return b;
}

int main() {
	int a = 10;
	process(8);
	cout<<glo<<endl;
	process(a);
	cout<<glo<<endl;
	int && k = 	get_return();
	cout<<k<<endl;
	return 0;
}

输出：

18
8
3