2. 引用 （C++)

2. 引用

2.1 引用的基本使用

作用：给变量起别名

语法：数据类型 &别名 = 原名

示例：

#include<iostream>
using namespace std;

int main()
{
	//引用基础语法
	//数据类型 &别名 = 原名
	int a = 10;
	//创建引用
	int &b = a;
	cout<<"a="<< a << endl;
	cout<<"b="<< b << endl;
	
	b=100;
	cout<<"a="<< a << endl;
	cout<<"b="<< b << endl;
	return 0; 
}

代码运行如下

2.2 引用注意事项

• 引用必须初始化
• 引用在输出化后，不可以发生改变

示例：

#include<iostream>
using namespace std;
int main()
{
	int a=10;
	//1.引用必须初始化
	//int &b;//错误代码，必须要初始化 
	//2.引用在初始化后，不可以改变
	int &b=a;
	int c=20;
	b=c;//赋值操作，而不是更改引用
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
	cout<<"c="<<c<<endl;
	return 0;
}

代码运行如下

2.3 引用做函数参数

作用：函数传参时，可以利用引用的技术让形参修饰实参

优点：可以简化指针修改实参   

举例：

#include<iostream>
using namespace std;
//交换函数

//1.值传递
void mySwap01(int a,int b)
{
	int temp=a;
	a=b;
	b=temp;
 } 
//2.地址传递
void mySwap02(int *a,int *b)
{
	int temp = *a;
	*a=*b;
	*b=temp;
 } 
//3.引用 
void mySwap03(int &a, int &b)
{
	int temp=a;
	a=b;
	b=temp;
}

int main() 
{
	int a = 10;
	int b = 20;
	mySwap01(a,b);    //值传递，形参不会修饰实参 
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
	mySwap02( &a, &b);//地址传递，形参会修饰实参 
	cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
	mySwap03(a,b);    //引用传递，形参会修饰实参的 
    cout<<"a="<<a<<endl;
	cout<<"b="<<b<<endl;
	return 0;
}

代码运行如下

总结：

通过引用参数产生的效果跟按地址传递是一样的 。引用的语法更清楚简单

2.4 引用做函数返回值

作用：引用是可以作为函数的返回值存在的

注意：不要返回局部变量的引用

用法：函数调用作为左值

举例1：不要返回局部变量的引用

#include<iostream>
using namespace std;
	//引用做函数的返回值
	//1.不要返回局部变量的引用
int& test01()
	{
		int a=10;//局部变量存放在四区中的 栈区 
		return a; 
	}
 int main()
 {
    int &ref=test01();
    cout<<"ref="<<ref<<endl;//第一次结果正确，是因为编译器做了保留 
    cout<<"ref="<<ref<<endl;//第二次结果错误，是因为a的内存已经释放 
	
	
 	return 0;
 }

代码运行如下

更版本编译器运行结果差异，请跳转  基于对象的程序设计 《内存分区模型》关于栈区的总结

举例2：引用作为函数返回值时，可以作为左值

#include<iostream>
using namespace std;
	
	//2.函数的调用可以作为左值 
int& test02()
	{
		static int a=10;//静态变量，存放在全局区，全局区上的数据在程序结束后系统释放 
		return a; 
	}
 int main()
 {

	int &ref2=test02();
	cout<<"ref2="<<ref2<<endl; 
	cout<<"ref2="<<ref2<<endl; 
	cout<<"ref2="<<ref2<<endl; 
	test02()=1000;            //如果函数的返回值是引用，这个函数调用可以作为左值 
	cout<<"ref2="<<ref2<<endl; 
	cout<<"ref2="<<ref2<<endl; 
 	return 0;
 }

代码运行如下：

2.5 引用的本质

本质：引用的本质在C++内部实现是一个指针常量

示例：

#include<iostream>
using namespace std;
//发现是引用 ，转换为 int* const ref = &a； 
void func(int& ref)
{
	ref=100;//ref是引用，转换为*ref = 100； 
 } 
 int main()
 {
 	int a = 10;
 	
 	//自动转换为 int* const ref = a；指针常量是指针指向不可改，也说明为什么引用不可改
 	int& ref = a;
 	ref = 20;//内部发现ref是引用，自动帮我们转换为：*ref = 20； 
 	
 	cout<<"a="<<a<<endl;
 	cout<<"ref="<<ref<<endl;
 	
 	func(a);
 	return 0;
 }

结论：

C++推荐用引用技术，因为语法方便，引用本质是指针常量，但是所有的指针操作编译器都帮我们做了 

2.6 常量引用

作用：常量引用主要用来修饰形参，防止误操作

在函数形参列表中，可以加const修饰形参，防止形参改变实参

示例1：（引用为命名的常量）

#include<iostream>
using namespace std;

int main()
{
	
	//加上const之后，编译器将代码修改 int temp = 10; int & ref = temp;
	const int& ref = 10; //引用必须引一块合法的内存空间 （int & ref = 10;不合法）
	return 0;
 } 

​​​​​​​示例2：  （const修饰形参防止误操作）

#include<iostream>
using namespace std;

//打印数据函数
void showValue(const int& val)//函数中利用常量引用防止误操作修改实参 
{
	val = 1000;//const 修饰无法再修改了 报错 
	cout<<"val="<<val<<endl;
 } 
int main()
{
	int a = 100;
	showValue(a);
	cout<<"a="<<a<<endl;
	return 0;
 }