c++入门之引用&

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

一、引用的概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。
举一个列子：
相当于孙悟空，又叫斗战胜佛，又叫齐天大圣，还叫花果山代王
代码如下

#include <iostream>
using namespace std;

int main()
{
	int a = 10;
	int& b = a;  //b是a的别名
	int& c = b;  //c是b的别名，也相当于a的别名

	printf("%p\n", &a);
	printf("%p\n", &b);
	printf("%p\n", &c);
}

二、引用特性（有以下三点特性）

1.1. 引用在定义时必须初始化

#include <iostream>
using namespace std;

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

2.一个变量可以有多个引用（代码和第一个举例相同）

3.引用一旦引用一个实体，再不能引用其他实体

#include <iostream>
using namespace std;

int main()
{
	int a = 10;
	int& b = a; 

	int x = 5;
	b = x;      //该语句相当于赋值
}

三、引用作参数

之前我们使用C语言进行交换时，往往都是使用指针进行交换
代码如下

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

int main()
{
	int a = 10;
	int b = 20;
	printf("a = %d,b = %d\n", a, b);
	Swap(&a,&b);
	printf("a = %d,b = %d\n", a, b);
	return 0;
}

、

有了引用&之后，代码变得简洁好用，如下

#include <iostream>
using namespace std;

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

int main()
{
	int a = 10;
	int b = 20;
	printf("a = %d,b = %d\n", a, b);
	Swap(a, b);
	printf("a = %d,b = %d\n", a, b);
	return 0;
}

假如实参传的是地址的话，也只需在*后加&，如下

void Swap(int*& a,int*& b);

引用做参数一般用于输出型参数，其优点是可以减少拷贝提高效率

四、引用作返回值

这里我们从两个列子如手看以下两个代码

#include <iostream>
using namespace std;

int& Count(int x)
{
	static int n = x;
	n++;
	// ...
	return n;
}

int main()
{
	int& ret = Count(10);
	cout << ret << endl;

	printf("再次打印\n");
	cout << ret << endl;

	return 0;
}

这个引用做返回值可以正常运行
再来看看下面这个代码

#include <iostream>
using namespace std;

int& Count(int x)
{
	int n = x;
	n++;
	// ...
	return n;
}

int main()
{
	int& ret = Count(10);
	cout << ret << endl;

	printf("再次打印\n");
	cout << ret << endl;

	return 0;
}

第一个是正确的引用，第二个是错误引用，两个代码只差了一个static，为什么第二种情况后面会出现随机值呢

首先这里要知道Count函数结束时栈帧要销毁
第一种情况如下图

Count销毁后n中的数据仍然储存在静态区中，不会随着栈帧的销毁而销毁
而第二种就不一样了，如下图

n为局部变量，所以会随着Count函数栈帧的销毁而销毁，故第二种情况下ret有以下两种情况

引用做返回值一般用于修改返回值或获取返回值，同样也可以减少拷贝提高效率

这里对引用做返回值做一个总结

五.常引用

#include <iostream>
using namespace std;

int main()
{
	const int a = 10;
	//int& ra = a;    //a本身不能修改，而这里的ra相当于可以修改,将a的权限放大，故发生错误
	const int& ra = a;//而这里可以，相对于权限平移

	// int& b = 10;   //由于常数具有常性，故此处权限放大
	const int& b = 10;

	double d = 12.34;
	//int& rd = d;   //这里发生了类型的隐式转换，且是通过临时变量进行，而临时变量具有常性，故此处权限放大
	const int& rd = d;
}

六.引用和指针的区别

在语法概念上引用就是一个别名，没有独立空间，和其引用实体共用同一块空间。
在底层实现上实际是有空间的，因为引用是按照指针方式来实现的。

这里简单总结如下