[C++] 引用

引用的概念

引用不是新定义一个变量，而是给已存在变量取了一个别名，编译器不会为引用变量开辟内存空间，它和它引用的变量共用同一块内存空间。

类型& 引用变量名(对象名) = 引用实体

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

引用的特性

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

int main()
{
	int a = 10;
	//int& b; //错误
	//b = a;  //错误
	int& b = a; //正确 
	
	return 0;
}

2.一个变量可以有多个引用

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

	double d = 1.1; //定义冲突
	
	return 0;
}

可以看出他们的地址都是相同的：

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

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

	int c = 10;
	//这里是把c赋值给b，而不是让b变成c的别名
	b = c;
	
	retrun 0;
}
	

引用的应用

1.引用作参数

void Swap(int& r1, int& r2) //传引用
{
	int tmp = r1;
	r1 = r2;
	r2 = tmp;
}

int main()
{
	int x = 0,y = 1;
	Swap(x,y);
	return 0;
}

但是有一个问题，传引用的函数可以与传值的函数构成重载，但是调用的时候会造成歧义。

void Swap(int r1, int r2) //传值
{
	int tmp = r1;
	r1 = r2;
	r2 = tmp;
}

void Swap(int& r1, int& r2) //传引用
{
	int tmp = r1;
	r1 = r2;
	r2 = tmp;
}

int main()
{
	int x = 0,y = 1;
	Swap(x,y); //存在歧义，不知道调用哪个Swap
	return 0;
}

2.引用作返回值

下面看一个有点问题的代码：

//引用返回的意思就是，不会生成c的拷贝，直接返回c的引用
int& Add(int a, int b)
{
	int c = a + b;
	return c;
}

int main()
{
	int& ret = Add(1, 2); //ret是c的引用别名
	cout << ret << endl;

	Add(10, 20);
	cout << ret << endl; //输出30

	printf("111111111111\n");
	cout << ret << endl; //ret会变成随机值，原先栈帧位置里面的内容被改写了

	return 0;
}

当前代码的问题：

1. 存在非法访问，因为Add(1,2)的返回值是c的引用，所有Add栈帧销毁了以后，会去访问c位置空间。
2. 如果Add函数栈帧销毁，清理空间，那么取c值的时候取到的就是随机值，给ret就是随机值，当前这个取决于编译器的实现。

ps：vs下销毁栈帧，没有清理空间数据

总结：
引用作为返回值，必须遵守以下规则：

1. 不能返回局部变量的引用。主要原因是局部变量会在函数返回后被销毁，因此被返回的引用就成为了"无所指"的引用，程序会进入未知状态。

2. 不能返回函数内部new分配的内存的引用。虽然不存在局部变量的被动销毁问题，可对于这种情况（返回函数内部new分配内存的引用），又面临其它尴尬局面。例如，被函数返回的引用只是作为一个临时变量出现，而没有被赋予一个实际的变量，那么这个引用所指向的空间（由new分配）就无法释放，造成内存泄露。

3.常引用

const 类型标识符 &引用名 = 目标变量名；

用这种方式声明的引用，不能通过引用对目标变量的值进行修改,从而使引用的目标成为const，达到了引用的安全性。

void f(const int& x)
{
	cout << x << endl;
}

//常引用
int main()
{
	//权限放大了，不能使用，不能通过b来修改const的a
	//const int a = 10;
	//int& b = a;

	//权限不变
	const int a = 20;
	const int& b = a;

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

	f(a);
	f(10);
	f(c);

	return 0;
}