C++引用详解

---

一、引用的概念

引用是C++经常拿来与C语言的指针相比较的功能，引用不是新定义一个变量，而是给已经存在的变量取了一个别名 ，编译器不会为引用变量开辟内存空间，因为引用是变量的别名，所以它本身和引用的变量共用一款内存空间。

---

二、引用的使用

引用的使用非常简单：类型& 引用变量名=引用实体

int main()
{
	int a = 0;
	int& ra = a;
	return 0;
}

---

三、引用的注意事项

1. 引用在定义时必须要初始化
2. 引用类型必须和引用的实体是同种类型的
3. 一个变量可以有多个引用，但引用一旦引用了一个实体，再也不能引用其它的实体

第三句话需要我们着重理解一下，以下面代码示例：ra是变量a的引用，也就是变量a的别名，那么当我们执行 ra=b语句的时候，发现此时ra的值变成了1，这里需要和指针进行区分，指针变量是指向某个变量的空间，对指针变量的赋值改变的是指针的指向，而引用不同，代码中 ra=b 实质是ra是变量a的引用，此时是将变量b的值赋值给a，所以我们继续打印a的值会发现更改为1了。

int main()
{
	int a = 0;
	int b = 1;
	int& ra = a;
	cout << ra << endl;//0
	ra = b;
	cout << ra << endl;//1
	cout << a << endl;//1
	return 0;
}

---

四、常引用

常引用即用const修饰的引用，常引用不能对变量的值进行修改，可以起到保护变量的作用。常引用涉及到最多的是权限的放大与缩小问题

取别名的原则：对原引用变量，权限只能缩小或者不变，不能放大
const的权限是只能读不能写

int main()
{
	int a = 10;
	int& b = a;//权限不变

	const int x = 20;
	//int& y = x;  权限的放大
	const int& y = x;//权限不变

	int c = 0;
	const int& d = c;//权限的缩小

	return 0;
}

还有一种特殊的情况：

int main()
{
    //int& c = 20;  这种不可取
	const int& c = 20;

	double d = 1.0;
	//int& e = d;  类型不相同，会报错
	const int& e = d;//但是这种写法可行
	
	return 0;
}

上述用常引用e去引用double类型的变量d实质上是发生了隐式类型转换，d会转换成整型，编译器会自动生成一份临时变量，d将其整型传给这一份临时变量，由于临时变量具有常性，所以需要用常引用。这种用法虽然可行，但会发生精度的缺失。

---

五、引用的使用场景

1. 做函数的形参

void Swap(int& left, int& right)
{
    int temp = left;
    left = right;
    right = temp;
}

2. 做函数的返回值

引用返回需要与传值返回进行对比，以下面的代码为示例，如果我们使用的是传值返回，由于变量n是属于count函数作用域内的局部变量，出了函数作用域变量n就销毁了，因此编译器会生成一份临时变量，将n的值赋值给临时变量（该临时变量不存在栈上，不会出了函数作用域就销毁），再将临时变量的值赋值给main函数里的ret变量。

int count()
{
	int n = 0;
	n++;
	return n;
}

int main()
{
	int ret = count();
	cout << ret << endl;
	return 0;
}

为了减少临时变量的拷贝，提高效率，我们可以采用引用返回，以下面代码为示例：count采用引用返回，编译器会生成变量n的别名，再将别名返回回去，生成的别名不会额外开辟空间，不会发生拷贝，效率可以得到提高，但这样的代码其实是存在错误的，因为编译器取的是变量n的别名，而变量n在出了函数作用域以后就销毁了，那么取它的别名虽然不会报错（因为内存不是消失了，只是返还给了操作系统），但是访问到的值却是不确定的，有可能是随机值，这里其实是一个野指针的访问。

int& count()
{
	int n = 0;
	n++;
	return n;
}

int main()
{
	int ret = count();
	cout << ret << endl;
	return 0;
}

如果函数的返回对象出了作用域还没有还给操作系统，比如下面的代码示例，采用static的静态局部变量（提示一下：static修饰的变量只会初始化一次），出了函数作用域并没有还给操作系统，那么可以使用引用返回，从而减少拷贝。如果返回对象出了函数作用域返回给了操作系统，则必须使用传值返回，否则会出现野指针访问的问题。

int& count()
{
	static int n = 0;
	n++;
	return n;
}

int main()
{
	int ret = count();
	cout << ret << endl;

	return 0;
}

---

六、引用和指针的区别

1. 引用在定义的时候必须要初始化，而指针没有这个要求；
2. 引用在初始化时引用的一个实体以后，就不能再引用其他实体了，而指针可以随时更改指向任意同类型的实体；
3. 没有NULL引用，但有NULL指针；
4. 在sizeof中的含义不同：引用的结果为引用类型的大小，但指针始终是地址空间所占字节个数（32位平台下占4个字节）；
5. 引用自加是引用的实体增加1，而指针自加是指针向后偏移一个类型的大小；
6. 没有多级引用，但有多级指针；
7. 访问实体的方式不同：引用不需要解引用，指针需要解引用
8. 引用比指针使用起来相对安全，但也要格外注意。

---